- Kurt Gödel’s Anticipation of the Turing Machine: A Vitalistic Approach
- Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis
- Lorenzen’s Proof of Consistency for Elementary Number Theory
- Horst Wessel: Contributions to the Theory of Logical Consequence, Non-Traditional Theory of Predication and Logical Theory of Terms
- Leibnizian Identity and Paraconsistent Logic
- Proof by Assumption of the Possible in Prior Analytics, 1.15; How Not to Blend Modal Frameworks
- The Venn-MacColl Dispute in Nature
- Robert Kilwardby’s Science of Logic: A Thirteenth-Century Intensional Logic
- Hobson’s Conception of Definable Numbers
- Bocheński’s Formalization of Summa Theologiae (Ia,75,6) Reconsidered
- Frege: A Philosophical Biography
- On Jan Łukasiewicz’s ‘The Principle of Contradiction and Symbolic Logic’
- The Principle of Contradiction and Symbolic Logic
- On Jan Łukasiewicz’s ‘The Principle of Contradiction and Symbolic Logic’
- Proof vs Provability: On Brouwer’s Time Problem
- Logical Foundations and Kant’s Principles of Formal Logic
- Internal Negation and the Principles of Non-Contradiction and of Excluded Middle in Aristotle
- Necessity Lost. Modality and Logic in Early Analytic Philosophy
- Neo-Logicism and Its Logic
- Indicating a Translation for ‘Bedeutung’
- 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
- 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