| On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs |
4 |
| Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic |
3 |
| Jesuit Probabilistic Logic between Scholastic and Academic Philosophy |
3 |
| Stoic Sequent Logic and Proof Theory |
3 |
| Duty and Sacrifice: A Logical Analysis of the Mima?sa Theory of Vedic Injunctions |
2 |
| Avicenna on the Primary Propositions |
2 |
| Logic Diagrams in the Weigel and Weise Circles |
2 |
| Boolean considerations on John Buridan's octagons of opposition |
1 |
| Avicenna on the Law of Non-contradiction |
1 |
| Quine's Substitutional Definition of Logical Truth and the Philosophical Significance of the Lowenheim-Hilbert-Bernays Theorem |
1 |
| The Sufi Path of Dialetheism: Gluon Theory and Wahdat al-Wujud |
1 |
| Aristotle, Logic, and QUARC |
1 |
| Hegel and the Consequentia Mirabilis |
1 |
| Dialectic, the Dictum de Omni and Ecthesis |
0 |
| Topos Theory in Montreal in the 1970s: My Personal Involvement |
0 |
| Aristotle in Prussian Gymnasiums: Why the Texts of the Ancient Philosopher Became Popular for Teaching Logic |
0 |
| The Context of Inference |
0 |
| 'My Future Son is Possibly Alive'. Existential Presupposition and Empty Terms in Abelard's Modal Logic |
0 |
| Prior's Grappling with Peirce's Existential Graphs |
0 |
| Kalmar's Argument Against the Plausibility of Church's Thesis |
0 |
| A Note on Saying Nothing and Saying More in the Tractatus |
0 |
| Existential Import and an Unnecessary Restriction on Predicate Logics |
0 |
| Horrent with Mysterious Spiculae'. AugustusDeMorgan's Logic Notation of 1850 as a Calculus of Opposite Relations' |
0 |
| Sextus Empiricus' Fourth Conditional and Containment Logic |
0 |
| Shaping the Enemy: Foundational Labelling by LEJ Brouwer and A. Heyting |
0 |
| Frege's Unification |
0 |
| Decoding Gentzen's Notation |
0 |
| Husserl's Logical Grammar |
0 |
| Aristotelian Logic Axioms in Propositional Logic: The Pouch Method |
0 |
| From Wittgenstein's N-operator to a New Notation for Some Decidable Modal Logics |
0 |
| Farabi and Avicenna on Contraposition |
0 |
| Sellars, Second-order Quantification, and Ontological Commitment |
0 |
| Varieties of Demonstration in Alfarabi |
0 |
| Mereology in Aristotle's Assertoric Syllogistic |
0 |
| The Role of Structural Reasoning in the Genesis of Graph Theory |
0 |
| The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church |
0 |
