Outstanding Contributions to Logic

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

Feferman on Foundations

Logic, Mathematics, Philosophy

Graham Priest on Dialetheism and Paraconsistency

Graham Priest on Dialetheism and Paraconsistency

Hajnal Andréka and István Németi on Unity of Science

From Computing to Relativity Theory Through Algebraic Logic

Hajnal Andréka and István Németi on Unity of Science

From Computing to Relativity Theory Through Algebraic Logic

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics

Kit Fine on Truthmakers, Relevance, and Non-classical Logic

Kit Fine on Truthmakers, Relevance, and Non-classical Logic

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

Dick de Jongh on Intuitionistic and Provability Logics

Dick de Jongh on Intuitionistic and Provability Logics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Saul Kripke on Modal Logic

Philosophy of Penelope Maddy

Philosophy of Penelope Maddy

Walter Carnielli on Reasoning, Paraconsistency, and Probability

Nuel Belnap on Indeterminism and Free Action