- 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
|
|
Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.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
|
|
On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.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
|
|
Semantic theory and necessary truth.Ian Rumfitt - 2001 - Synthese 126 (1-2):283 - 324.details
|
|
Constantes lógicas y la armonía de las reglas de inferencia.Mariela Rubin - 2017 - Revista de Humanidades de Valparaíso 9:103-119.details
|
|
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic.Marcus Rossberg - 2015 - Journal of Philosophical Logic 44 (3):341-350.details
|
|
Paradoxicality in Kripke’s theory of truth.Lucas Rosenblatt & Camila Gallovich - 2022 - Synthese 200 (2):1-23.details
|
|
Natural deduction and Curry's paradox.Susan Rogerson - 2007 - Journal of Philosophical Logic 36 (2):155 - 179.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
|
|
The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames.P. H. Rodenburg - 1991 - Mathematical Logic Quarterly 37 (23‐24):357-362.details
|
|
Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.details
|
|
Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals’.Greg Restall, Rohan French & Shawn Standefer - 2020 - Australasian Philosophical Review 4 (2):162-177.details
|
|
Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.details
|
|
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.details
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.details
|
|
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization. [REVIEW]Lennart Åqvist - 1996 - Journal of Philosophical Logic 25 (1):45 - 100.details
|
|