- The enduring scandal of deduction: is propositional logic really uninformative?Marcello D'Agostino & Luciano Floridi - 2009 - Synthese 167 (2):271-315.details
|
|
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.details
|
|
Analytic inference and the informational meaning of the logical operators.Marcello D'Agostino - forthcoming - Logique Et Analyse.details
|
|
Gentzen's proof of normalization for natural deduction.Jan von Plato - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.details
|
|
Classical logic without bivalence.Tor Sandqvist - 2009 - Analysis 69 (2):211-218.details
|
|
(1 other version)The complexity of propositional proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.details
|
|
(1 other version)The Complexity of Propositional Proofs.Nathan Segerlind - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.details
|
|
(2 other versions)Mathematical Logic.Mariko Yasugi - 1967 - Journal of Symbolic Logic 35 (3):438-440.details
|
|
Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.details
|
|
Note by the guest editors.Wilfried Sieg & Frank Pfenning - 1998 - Studia Logica 60 (1):1-1.details
|
|
Yes and no.I. Rumfitt - 2000 - Mind 109 (436):781-823.details
|
|
Classical logic, argument and dialectic.M. D'Agostino & S. Modgil - 2018 - Artificial Intelligence 262 (C):15-51.details
|
|
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.details
|
|
Bilateralism does not provide a proof theoretic treatment of classical logic.Michael Gabbay - 2017 - Journal of Applied Logic 25:S108-S122.details
|
|
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.details
|
|
On an inferential semantics for classical logic.David C. Makinson - 2014 - Logic Journal of the IGPL 22 (1):147-154.details
|
|
The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.details
|
|
(2 other versions)The complexity of propositional proofs.Alasdair Urquhart - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.details
|
|
Natural deduction and sequent calculus for intuitionistic relevant logic.Neil Tennant - 1987 - Journal of Symbolic Logic 52 (3):665-680.details
|
|
Perfect validity, entailment and paraconsistency.Neil Tennant - 1984 - Studia Logica 43 (1-2):181 - 200.details
|
|
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.details
|
|
Entailment.Jonathan Bennett - 1969 - Philosophical Review 78 (2):197-236.details
|
|
The Roots of Reference. [REVIEW]Gilbert Harman - 1975 - Journal of Philosophy 72 (13):388-396.details
|
|
(2 other versions)Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.details
|
|
(2 other versions)First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.details
|
|
Logic, language-games and information, kantian themes in the philosophy of logic.Jaakko Hintikka - 1973 - Revue Philosophique de la France Et de l'Etranger 163:477-478.details
|
|
Symbolic logic.Frederic Brenton Fitch - 1952 - New York,: Ronald Press Co..details
|
|
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.details
|
|
Analytic natural deduction.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (2):123-139.details
|
|
On the evaluation of argumentation formalisms.Martin Caminada & Leila Amgoud - 2007 - Artificial Intelligence 171 (5-6):286-310.details
|
|
(1 other version)The roots of reference.W. V. Quine - 1973 - LaSalle, Ill.,: Open Court.details
|
|
On Argumentation Logic and Propositional Logic.Antonis C. Kakas, Paolo Mancarella & Francesca Toni - 2018 - Studia Logica 106 (2):237-279.details
|
|
Normal derivability in classical natural deduction.Jan Von Plato & Annika Siders - 2012 - Review of Symbolic Logic 5 (2):205-211.details
|
|
The Roots of Reference.W. V. Quine - 1974 - British Journal for the Philosophy of Science 27 (1):93-96.details
|
|
Natural Logic.H. A. Lewis - 1981 - Philosophical Quarterly 31 (125):376.details
|
|
Efficient Inverse Tableaux.Marco Mondadori - 1995 - Logic Journal of the IGPL 3 (6):939-953.details
|
|
Are Tableaux an Improvement of Truth-Tables? Cut-Free Proofs and Bivalence.M. D. Agostino - 1992 - Journal of Logic, Language, and Information 1 (3):127-139.details
|
|
Gentzen's Hauptsatz for the systems NI and NK.Andrés Raggio - 1965 - Logique Et Analyse 8:91-100.details
|
|
Gentzen's proof of normalization for natural deduction.Jan Platvono - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.details
|
|
Symbolic Logic, An Introduction.R. M. Martin - 1953 - Philosophy and Phenomenological Research 14 (2):260-261.details
|
|
Jan von Plato and Sara Negri, Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.details
|
|
A general account of argumentation with preferences.Sanjay Modgil & Henry Prakken - 2013 - Artificial Intelligence 195 (C):361-397.details
|
|
Natural deduction, separation, and the meaning of logical operators.Kent Bendall - 1978 - Journal of Philosophical Logic 7 (1):245 - 276.details
|
|
Normalization theorems for full first order classical natural deduction.Gunnar Stålmarck - 1991 - Journal of Symbolic Logic 56 (1):129-149.details
|
|
Mathematical Logic.D. G. Londey - 1968 - Philosophical Quarterly 18 (72):273-275.details
|
|