- The correspondence between cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1-112.details
|
|
Naive truth and naive logical properties.Elia Zardini - 2014 - Review of Symbolic Logic 7 (2):351-384.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
|
|
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
|
|
Rules for subatomic derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.details
|
|
Categorical harmony and path induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.details
|
|
Normal derivability in classical natural deduction.Jan Von Plato & Annika Siders - 2012 - Review of Symbolic Logic 5 (2):205-211.details
|
|
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.details
|
|
A sequent calculus isomorphic to gentzen’s natural deduction.Jan von Plato - 2011 - Review of Symbolic Logic 4 (1):43-53.details
|
|
Proofs, Snakes and Ladders.Alasdair Urquhart - 1974 - Dialogue 13 (4):723-731.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
|
|
Harmonising harmony.Luca Tranchini - 2015 - Review of Symbolic Logic 8 (3):411-423.details
|
|
The relevance of premises to conclusions of core proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.details
|
|
Natural deduction and sequent calculus for intuitionistic relevant logic.Neil Tennant - 1987 - Journal of Symbolic Logic 52 (3):665-680.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
|
|
Existence and Identity in Free Logic: A Problem for Inferentialism?Neil Tennant - 2007 - Mind 116 (464):1055-1078.details
|
|
Cut for classical core logic.Neil Tennant - 2015 - Review of Symbolic Logic 8 (2):236-256.details
|
|
Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.details
|
|
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.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
|
|
A completeness proof for an infinitary tense-logic.B. G. Sundholm - 1977 - Theoria 43 (1):47-51.details
|
|
Characterizing generics are material inference tickets: a proof-theoretic analysis.Preston Stovall - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy (5):668-704.details
|
|
Normalization theorems for full first order classical natural deduction.Gunnar Stålmarck - 1991 - Journal of Symbolic Logic 56 (1):129-149.details
|
|
Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.details
|
|
Completeness, invariance and λ-definability.R. Statman - 1982 - Journal of Symbolic Logic 47 (1):17-26.details
|
|
Annual meeting of the association for symbolic logic, Los Angeles, 1989.Richard A. Shore - 1990 - Journal of Symbolic Logic 55 (1):372-386.details
|
|
On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.details
|
|
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.details
|
|
On the role of implication in formal logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.details
|
|
Normalization and excluded middle. I.Jonathan P. Seldin - 1989 - Studia Logica 48 (2):193 - 217.details
|
|
A sequent calculus for type assignment.Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):11-28.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
|
|
On the syntax of logic and set theory.Lucius T. Schoenbaum - 2010 - Review of Symbolic Logic 3 (4):568-599.details
|
|
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.details
|
|
The Subformula Property In Classical Natural Deduction Established Constructively.Tor Sandqvist - 2012 - Review of Symbolic Logic 5 (4):710-719.details
|
|
Preservation of structural properties in intuitionistic extensions of an inference relation.Tor Sandqvist - 2018 - Bulletin of Symbolic Logic 24 (3):291-305.details
|
|
Classical logic without bivalence.Tor Sandqvist - 2009 - Analysis 69 (2):211-218.details
|
|
Base-extension semantics for intuitionistic sentential logic.Tor Sandqvist - 2015 - Logic Journal of the IGPL 23 (5):719-731.details
|
|
Bolzano’s concept of grounding against the background of normal proofs.Antje Rumberg - 2013 - Review of Symbolic Logic 6 (3):424-459.details
|
|
Normalized Natural Deduction Systems for Some Relevant Logics I: The Logic DW.Ross T. Brady - 2006 - Journal of Symbolic Logic 71 (1):35 - 66.details
|
|
Logical Consequence for Nominalists.Marcus Rossberg & Daniel Cohnitz - 2009 - Theoria 24 (2):147-168.details
|
|
The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.P. H. Rodenburg - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (23-24):357-362.details
|
|
Semantic pollution and syntactic purity.Stephen Read - 2015 - Review of Symbolic Logic 8 (4):649-661.details
|
|
Harmonic inferentialism and the logic of identity.Stephen Read - 2016 - Review of Symbolic Logic 9 (2):408-420.details
|
|
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
A note on existential instantiation.Dag Prawitz - 1967 - Journal of Symbolic Logic 32 (1):81-82.details
|
|
Compositionality and the Prospect of a Pluralistic Semantic Theory.Adam C. Podlaskowski - 2019 - Australasian Journal of Philosophy 97 (2):325-339.details
|
|