- $lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.details
|
|
The correspondence between cut-elimination and normalization II.J. Zucker - 1974 - Annals of Mathematical Logic 7 (2):113.details
|
|
Cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1.details
|
|
Natural Deduction Bottom Up.Ernst Zimmermann - 2021 - Journal of Logic, Language and Information 30 (3):601-631.details
|
|
Truth, Demonstration and Knowledge.Elia Zardini - 2015 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 30 (3):365-392.details
|
|
Substructural approaches to paradox: an introduction to the special issue.Elia Zardini - 2021 - Synthese 199 (3):493-525.details
|
|
Aristotle's Proofs Through the Impossible in Prior Analytics 1.15.Riccardo Zanichelli - 2023 - History and Philosophy of Logic 44 (4):395-421.details
|
|
Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Rules for subatomic derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.details
|
|
Subatomic Negation.Bartosz Więckowski - 2021 - Journal of Logic, Language and Information 30 (1):207-262.details
|
|
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.details
|
|
Counterfactual Assumptions and Counterfactual Implications.Bartosz Więckowski - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 399-423.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
|
|
Molecularity in the Theory of Meaning and the Topic Neutrality of Logic.Bernhard Weiss & Nils Kürbis - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 187-209.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-theoretic harmony: towards an intensional account.Luca Tranchini - 2016 - Synthese 198 (Suppl 5):1145-1176.details
|
|
Proof, Meaning and Paradox: Some Remarks.Luca Tranchini - 2019 - Topoi 38 (3):591-603.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
|
|
Frege’s Class Theory and the Logic of Sets.Neil Tennant - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 85-134.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
|
|
A New Unified Account of Truth and Paradox.N. Tennant - 2015 - Mind 124 (494):571-605.details
|
|
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.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
|
|
Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.details
|
|
Routes to relevance: Philosophies of relevant logics.Shawn Standefer - 2024 - Philosophy Compass 19 (2):e12965.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
|
|