- Kant and the Science of Logic. A Historical and Philosophical Reconstruction
- Sextus Empiricus’ Fourth Conditional and Containment Logic
- A Nelsonian Response to ‘the Most Embarrassing of All Twelfth-century Arguments’
- Between Square and Hexagon in Oresme’s Livre du Ciel et du Monde
- A Critical Examination of the Historical Origins of Connexive Logic
- Aristotle in Prussian Gymnasiums: Why the Texts of the Ancient Philosopher Became Popular for Teaching Logic
- The Role of Structural Reasoning in the Genesis of Graph Theory
- Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions
- Frege und die kontinentalen Ursprünge der analytischen Philosophie
- Dialectic, the Dictum de Omni and Ecthesis
- Jesuit Probabilistic Logic between Scholastic and Academic Philosophy
- A.N. Prior and ‘The Nature of Logic’
- Alfred Tarski and the “Concept of Truth in Formalized Languages”. A Running Commentary with Consideration of the Polish Original and the German Translation
- New Light on George Boole
- Thinking about Contradictions: The Imaginary Logic of Nikolai Aleksandrovich Vasil’ev
- Stoic Sequent Logic and Proof Theory
- Avicenna on the Law of Non-contradiction
- Topos Theory in Montréal in the 1970s: My Personal Involvement
- Logic: A Very Short Introduction
- Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem
- Boolean considerations on John Buridan’s octagons of opposition
- Varieties of Demonstration in Alfarabi
- Frege’s Unification
- The Great Formal Machinery Works. Theories of Deduction and Computation at the Origins of the Digital Age
- The History of Philosophical and Formal Logic from Aristotle to Tarski