- Rules for subatomic derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.details
|
|
A consistent theory of attributes in a logic without contraction.Richard B. White - 1993 - Studia Logica 52 (1):113 - 142.details
|
|
Typability and type checking in System F are equivalent and undecidable.J. B. Wells - 1999 - Annals of Pure and Applied Logic 98 (1-3):111-156.details
|
|
Revisiting Quine on Truth by Convention.Jared Warren - 2017 - Journal of Philosophical Logic 46 (2):119-139.details
|
|
Rereading Gentzen.Jan Von Plato - 2003 - Synthese 137 (1-2):195 - 209.details
|
|
Normal derivability in classical natural deduction.Jan Von Plato & Annika Siders - 2012 - Review of Symbolic Logic 5 (2):205-211.details
|
|
A sequent calculus isomorphic to gentzen’s natural deduction.Jan von Plato - 2011 - Review of Symbolic Logic 4 (1):43-53.details
|
|
On the semantics of the universal quantifier.Djordje Čubrić - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.details
|
|
Marginalia on sequent calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.details
|
|
The Naturality of Natural Deduction.Luca Tranchini, Paolo Pistone & Mattia Petrolo - 2019 - Studia Logica 107 (1):195-231.details
|
|
Stabilizing Quantum Disjunction.Luca Tranchini - 2018 - Journal of Philosophical Logic 47 (6):1029-1047.details
|
|
Proof, Meaning and Paradox: Some Remarks.Luca Tranchini - 2019 - Topoi 38 (3):591-603.details
|
|
Proof-theoretic harmony: towards an intensional account.Luca Tranchini - 2016 - Synthese 198 (Suppl 5):1145-1176.details
|
|
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.details
|
|
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.Paolo Torrini, John G. Stell & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):495-525.details
|
|
In defence of deductive inference.Paul Thagard - 1979 - Australasian Journal of Philosophy 57 (3):274 – 279.details
|
|
Normalizability, cut eliminability and paradox.Neil Tennant - 2016 - Synthese 199 (Suppl 3):597-616.details
|
|
Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism.Neil Tennant - 2014 - Philosophia Mathematica 22 (3):321-344.details
|
|
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.details
|
|
Existence and Identity in Free Logic: A Problem for Inferentialism?Neil Tennant - 2007 - Mind 116 (464):1055-1078.details
|
|
Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.details
|
|
A proof-theoretic approach to entailment.N. Tennant - 1980 - Journal of Philosophical Logic 9 (2):185 - 209.details
|
|
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.details
|
|
A New Unified Account of Truth and Paradox.N. Tennant - 2015 - Mind 124 (494):571-605.details
|
|
Globalization of intui tionistic set theory.Gaisi Takeuti & Satoko Titani - 1987 - Annals of Pure and Applied Logic 33 (C):195-211.details
|
|
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics.Nobu-Yuki Suzuki - 2017 - Bulletin of the Section of Logic 46 (1/2).details
|
|
Semantic Values for Natural Deduction Derivations.Göran Sundholm - 2006 - Synthese 148 (3):623-638.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
A completeness proof for an infinitary tense-logic.B. G. Sundholm - 1977 - Theoria 43 (1):47-51.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
|
|
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.details
|
|
Harmonising natural deduction.Barry Hartley Slater - 2008 - Synthese 163 (2):187-198.details
|
|
A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.details
|
|
Normalization proof for Peano Arithmetic.Annika Siders - 2015 - Archive for Mathematical Logic 54 (7-8):921-940.details
|
|
Truth-values as labels: a general recipe for labelled deduction.Cristina Sernadas, Luca Viganò, João Rasga & Amílcar Sernadas - 2003 - Journal of Applied Non-Classical Logics 13 (3):277-315.details
|
|
ML systems: A proof theory for contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.details
|
|
Normalization and excluded middle. I.Jonathan P. Seldin - 1989 - Studia Logica 48 (2):193 - 217.details
|
|
Arbitrary truth-value functions and natural deduction.Krister Segerberg - 1983 - Mathematical Logic Quarterly 29 (11):557-564.details
|
|
Hyperdoctrines, Natural Deduction and the Beck Condition.Robert A. G. Seely - 1983 - Mathematical Logic Quarterly 29 (10):505-542.details
|
|
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.details
|
|
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle.Peter Schroeder-Heister - 1983 - Journal of Philosophical Logic 12 (3):359 - 377.details
|
|
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics.Peter Schroeder-Heister - 2012 - Synthese 187 (3):925-942.details
|
|
Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning.Peter Schroeder-Heister - 2012 - Topoi 31 (1):77-85.details
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.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
|
|
How to Ekman a Crabbé-Tennant.Peter Schroeder-Heister & Luca Tranchini - 2018 - Synthese 199 (Suppl 3):617-639.details
|
|
Inversion by definitional reflection and the admissibility of logical rules.Wagner Campos Sanz & Thomas Piecha - 2009 - Review of Symbolic Logic 2 (3):550-569.details
|
|
Inversion by definitional reflection and the admissibility of logical rules: Inversion by definitional reflection.Wagner De Campos Sanz - 2009 - Review of Symbolic Logic 2 (3):550-569.details
|
|
Classical logic without bivalence.Tor Sandqvist - 2009 - Analysis 69 (2):211-218.details
|
|