- Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.details
|
|
Socratic proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.details
|
|
Reasoning processes in propositional logic.Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling - 2010 - Journal of Logic, Language and Information 19 (3):283-314.details
|
|
Reasoning About Truth in First-Order Logic.Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani & Lance Rips - 2013 - Journal of Logic, Language and Information 22 (1):115-137.details
|
|
Contraction and revision.Shawn Standefer - 2016 - Australasian Journal of Logic 13 (3):58-77.details
|
|
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.details
|
|
Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus. [REVIEW]Peter Schroeder-Heister - 2011 - Journal of Philosophical Logic 40 (1):95 - 101.details
|
|
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.details
|
|
Varieties of linear calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.details
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.details
|
|
Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.details
|
|
Paradox and Logical Revision. A Short Introduction.Julien Murzi & Massimiliano Carrara - 2015 - Topoi 34 (1):7-14.details
|
|
On Heck's New Liar.Julien Murzi - 2012 - Thought: A Journal of Philosophy 1 (2):258-269.details
|
|
Argumentation mining.Raquel Mochales & Marie-Francine Moens - 2011 - Artificial Intelligence and Law 19 (1):1-22.details
|
|
The Church–Fitch knowability paradox in the light of structural proof theory.Paolo Maffezioli, Alberto Naibo & Sara Negri - 2012 - Synthese 190 (14):2677-2716.details
|
|
Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.details
|
|
A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S5.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151-177.details
|
|
A loop-free decision procedure for modal propositional logics k4, s4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.details
|
|
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.details
|
|
Dual Erotetic Calculi and the Minimal LFI.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.details
|
|
${LE}^{t}{{\rightarrow}}$ , ${LR}^{\circ}{\hat{\sim}}$, {LK} and Cutfree Proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.details
|
|
Free of Detachment: Logic, Rationality, and Gluts.Jc Beall - 2013 - Noûs 49 (2):410-423.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
A proof-search procedure for intuitionistic propositional logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.details
|
|