- Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
A Note on Synonymy in Proof-Theoretic Semantics.Heinrich Wansing - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 339-362.details
|
|
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations.Sara Ayhan - forthcoming - Journal of Logic and Computation.details
|
|
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method.Carlo Cellucci - 2013 - Dordrecht, Netherland: Springer.details
|
|
Base-extension semantics for modal logic.Timo Eckhardt & David J. Pym - forthcoming - Logic Journal of the IGPL.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
The adequacy problem for inferential logic.J. I. Zucker & R. S. Tragesser - 1978 - Journal of Philosophical Logic 7 (1):501 - 516.details
|
|
The correspondence between cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1-112.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
|
|
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
|
|
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.Bartosz Więckowski - 2012 - Studia Logica 100 (4):815-853.details
|
|
Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.details
|
|
Rereading Gentzen.Jan Von Plato - 2003 - Synthese 137 (1-2):195 - 209.details
|
|
Natural deduction with general elimination rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.details
|
|
Natural deduction for intuitionistic linear logic.A. S. Troelstra - 1995 - Annals of Pure and Applied Logic 73 (1):79-108.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 bi-intuitionistic logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.details
|
|
A simple proof of second-order strong normalization with permutative conversions.Makoto Tatsuta & Grigori Mints - 2005 - Annals of Pure and Applied Logic 136 (1-2):134-155.details
|
|
Geometry and generality in Frege's philosophy of arithmetic.Jamie Tappenden - 1995 - Synthese 102 (3):319 - 361.details
|
|
Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2021 - Review of Symbolic Logic:1-28.details
|
|
Proof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization.Ryo Takemura - 2013 - Studia Logica 101 (1):157-191.details
|
|
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.Ryo Takemura - 2021 - Archive for Mathematical Logic 60 (7):783-813.details
|
|
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms.Yuta Takahashi & Ryo Takemura - 2019 - Journal of Philosophical Logic 48 (3):553-570.details
|
|
Proofs as Acts and Proofs as Objects: Some questions for Dag Prawitz.Goran Sundholm - 1998 - Theoria 64 (2-3):187-216.details
|
|
“Inference versus consequence” revisited: inference, consequence, conditional, implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.details
|
|
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.details
|
|
Bounds for proof-search and speed-up in the predicate calculus.Richard Statman - 1978 - Annals of Mathematical Logic 15 (3):225.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
|
|
Minimal from classical proofs.Helmut Schwichtenberg & Christoph Senjak - 2013 - Annals of Pure and Applied Logic 164 (6):740-748.details
|
|
Ekman’s Paradox.Peter Schroeder-Heister & Luca Tranchini - 2017 - Notre Dame Journal of Formal Logic 58 (4):567-581.details
|
|
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.details
|
|
Classical logic without bivalence.Tor Sandqvist - 2009 - Analysis 69 (2):211-218.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
|
|
Logical Consequence for Nominalists.Marcus Rossberg & Daniel Cohnitz - 2009 - Theoria 24 (2):147-168.details
|
|
Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.details
|
|
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.details
|
|
The Fundamental Problem of General Proof Theory.Dag Prawitz - 2019 - Studia Logica 107 (1):11-29.details
|
|
Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.details
|
|
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.details
|
|
Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.details
|
|