- Expanding the universe of universal logic.James Trafford - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325-343.details
|
|
Aristotle on Circular Proof.Marko Malink - 2013 - Phronesis 58 (3):215-248.details
|
|
Some remarks on axiomatizing logical consequence operations.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (1):103-117.details
|
|
Framework for formal ontology.Barry Smith & Kevin Mulligan - 1983 - Topoi 2 (1):73-85.details
|
|
Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.details
|
|
Semantics without Toil? Brady and Rush Meet Halldén.Lloyd Humberstone - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):340–404.details
|
|
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.details
|
|
Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2):431-466.details
|
|
Expressive Power and Incompleteness of Propositional Logics.James W. Garson - 2010 - Journal of Philosophical Logic 39 (2):159-171.details
|
|
The categoricity problem and truth-value gaps.Ian Rumfitt - 1997 - Analysis 57 (4):223-235.details
|
|
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.details
|
|
Theory and Reality : Metaphysics as Second Science.Staffan Angere - unknowndetails
|
|
Remarks on the Scott–Lindenbaum Theorem.Gillman Payette & Peter K. Schotch - 2014 - Studia Logica 102 (5):1003-1020.details
|
|
False though partly true – an experiment in logic.Lloyd Humberstone - 2003 - Journal of Philosophical Logic 32 (6):613-665.details
|
|
Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.details
|
|
Erotetic implications.Andrzej Wiśniewski - 1994 - Journal of Philosophical Logic 23 (2):173 - 195.details
|
|
Investigations into a left-structural right-substructural sequent calculus.Lloyd Humberstone - 2007 - Journal of Logic, Language and Information 16 (2):141-171.details
|
|
An Inferentialist Approach to Paraconsistency.James Trafford - 2014 - Abstracta 8 (1):55-73.details
|
|
Invitation to Autoepistemology.Lloyd Humberstone - 2002 - Theoria 68 (1):13-51.details
|
|
A meta-logic of inference rules: Syntax.Alex Citkin - 2015 - Logic and Logical Philosophy 24 (3).details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
Cut elimination for entailment relations.Davide Rinaldi & Daniel Wessel - 2019 - Archive for Mathematical Logic 58 (5):605-625.details
|
|
Reasoned use of expertise in argumentation.Douglas N. Walton - 1989 - Argumentation 3 (1):59-73.details
|
|
On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.details
|
|
Arbitrary truth-value functions and natural deduction.Krister Segerberg - 1983 - Mathematical Logic Quarterly 29 (11):557-564.details
|
|
(1 other version)Premiss tree proofs and logic of contradiction.Zvonimir Šikić - 1990 - Mathematical Logic Quarterly 36 (3):273-280.details
|
|