His most well-known book, The Concept of Logical Consequence (1990, 1999), criticizes Alfred Tarski's widely accepted analysis of logical consequence.
His most prominent contribution, The Concept of Logical Consequence (1990, 1999), disputes Alfred Tarski's prevailing analysis of logical consequence.