- Paradoxes, Intuitionism, and Proof-Theoretic Semantics.Reinhard Kahle & Paulo Guilherme Santos - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 363-374.details
|
|
Completeness and Herbrand Theorems for Nominal Logic.James Cheney - 2006 - Journal of Symbolic Logic 71 (1):299 - 320.details
|
|
Artificial Intelligence as a Possible Tool for Discovering Laws of Logic.David Isles - 1978 - Cognitive Science 2 (4):329-360.details
|
|
Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.details
|
|
A labelled natural deduction system for linear temporal logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.details
|
|
Full intuitionistic linear logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.details
|
|
Idempotent Variations on the Theme of Exclusive Disjunction.L. Humberstone - 2021 - Studia Logica 110 (1):121-163.details
|
|
Intuitionistic Logic and Elementary Rules.Lloyd Humberstone & David Makinson - 2011 - Mind 120 (480):1035-1051.details
|
|
A reduction rule for Peirce formula.Sachio Hirokawa, Yuichi Komori & Izumi Takeuti - 1996 - Studia Logica 56 (3):419 - 426.details
|
|
On the form of witness terms.Stefan Hetzl - 2010 - Archive for Mathematical Logic 49 (5):529-554.details
|
|
Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.details
|
|
On the Structure of Proofs.Lars Hallnäs - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 375-389.details
|
|
Postponement of Reduction ad Absurdum and Glivenko’s Theorem, Revisited.Giulio Guerrieri & Alberto Naibo - 2019 - Studia Logica 107 (1):109-144.details
|
|
Natural deduction calculi for classical and intuitionistic S5.S. Guerrini, A. Masini & M. Zorzi - 2023 - Journal of Applied Non-Classical Logics 33 (2):165-205.details
|
|
Making Logical Form type-logical: Glue semantics for Minimalist syntax.Matthew Gotham - 2018 - Linguistics and Philosophy 41 (5):511-556.details
|
|
Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.details
|
|
Proof Compression and NP Versus PSPACE.L. Gordeev & E. H. Haeusler - 2019 - Studia Logica 107 (1):53-83.details
|
|
Axiomatic and dual systems for constructive necessity, a formally verified equivalence.Lourdes del Carmen González-Huesca, Favio E. Miranda-Perea & P. Selene Linares-Arévalo - 2019 - Journal of Applied Non-Classical Logics 29 (3):255-287.details
|
|
A refutation of global scepticism.Ken Gemes - 2009 - Analysis 69 (2):218-219.details
|
|
The Calculus of Natural Calculation.René Gazzari - 2021 - Studia Logica 109 (6):1375-1411.details
|
|
Label-free natural deduction systems for intuitionistic and classical modal logics.Didier Galmiche & Yakoub Salhi - 2010 - Journal of Applied Non-Classical Logics 20 (4):373-421.details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
A dialogical route to logical pluralism.Rohan French - 2019 - Synthese 198 (Suppl 20):4969-4989.details
|
|
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.details
|
|
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.details
|
|
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (2-3):239-259.details
|
|
A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
Natural deduction and arbitrary objects.Kit Fine - 1985 - Journal of Philosophical Logic 14 (1):57 - 107.details
|
|
On the Notion of Object. A Logical Genealogy.Fernando Ferreira - 2012 - Disputatio 4 (34):609-624.details
|
|
Comments on Predicative Logic.Fernando Ferreira - 2006 - Journal of Philosophical Logic 35 (1):1-8.details
|
|
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism.José Espírito Santo & Gilda Ferreira - 2020 - Studia Logica 108 (3):477-507.details
|
|
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.details
|
|
Propositions in Prepositional Logic Provable Only by Indirect Proofs.Jan Ekman - 1998 - Mathematical Logic Quarterly 44 (1):69-91.details
|
|
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.details
|
|
Feasibility In Logic.Jacques Dubucs - 2002 - Synthese 132 (3):213-237.details
|
|
Fibred semantics for feature-based grammar logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.details
|
|
Models of Deduction.Kosta Dosen - 2006 - Synthese 148 (3):639-657.details
|
|
A note on the existence property for intuitionistic logic with function symbols.L. M. Doorman - 1990 - Mathematical Logic Quarterly 36 (1):17-21.details
|
|
A note on the existence property for intuitionistic logic with function symbols.L. M. Doorman - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):17-21.details
|
|
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.details
|
|
Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.details
|
|
The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
Hopeful Monsters: A Note on Multiple Conclusions.Bogdan Dicher - 2020 - Erkenntnis 85 (1):77-98.details
|
|
Correction to: Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):687-687.details
|
|
.Luca Incurvati & Julian J. Schlöder - 2023 - New York: Oxford University Press USA.details
|
|
A Concrete Categorical Model for the Lambek Syntactic Calculus.Marcelo Da Silva Corrêa & Edward Hermann Haeusler - 1997 - Mathematical Logic Quarterly 43 (1):49-59.details
|
|
The proof-theoretic square.Antonio Piccolomini D’Aragona - 2023 - Synthese 201 (6):1-34.details
|
|
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics.Antonio Piccolomini D’Aragona - 2021 - Journal of Philosophical Logic 51 (2):249-281.details
|
|
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.details
|
|