- The Church–Fitch knowability paradox in the light of structural proof theory.Paolo Maffezioli, Alberto Naibo & Sara Negri - 2012 - Synthese 190 (14):2677-2716.details
|
|
Socratic Trees.Dorota Leszczyńska-Jasion, Mariusz Urbański & Andrzej Wiśniewski - 2013 - Studia Logica 101 (5):959-986.details
|
|
A loop-free decision procedure for modal propositional logics k4, s4 and S.Dorota Leszczyńska-Jasion - 2009 - Journal of Philosophical Logic 38 (2):151 - 177.details
|
|
Normalisation and subformula property for a system of classical logic with Tarski’s rule.Nils Kürbis - 2021 - Archive for Mathematical Logic 61 (1):105-129.details
|
|
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.details
|
|
General-Elimination Stability.Bruno Jacinto & Stephen Read - 2017 - Studia Logica 105 (2):361-405.details
|
|
The Logicality of Equality.Andrzej Indrzejczak - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 211-238.details
|
|
Free Logics are Cut-Free.Andrzej Indrzejczak - 2021 - Studia Logica 109 (4):859-886.details
|
|
A novel approach to equality.Andrzej Indrzejczak - 2021 - Synthese 199 (1-2):4749-4774.details
|
|
Theories of truth and the maxim of minimal mutilation.Ole Thomassen Hjortland - 2017 - Synthese 199 (Suppl 3):787-818.details
|
|
Disagreement about logic.Ole Thomassen Hjortland - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):660-682.details
|
|
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - 2020 - Studia Logica 109 (1):95-124.details
|
|
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.details
|
|
Is, Ought, and Cut.Norbert Gratzl & Edi Pavlović - 2023 - Journal of Philosophical Logic 52 (4):1149-1169.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
|
|
Tableaux and Dual Tableaux: Transformation of Proofs.Joanna Golińska-Pilarek & Ewa Orłowska - 2007 - Studia Logica 85 (3):283-302.details
|
|
A Simple Sequent Calculus for Angell’s Logic of Analytic Containment.Rohan French - 2017 - Studia Logica 105 (5):971-994.details
|
|
Logical Nihilism and the Logic of ‘prem’.Andreas Fjellstad - forthcoming - Logic and Logical Philosophy:1.details
|
|
Structural proof theory for first-order weak Kleene logics.Andreas Fjellstad - 2020 - Journal of Applied Non-Classical Logics 30 (3):272-289.details
|
|
Expressing logical disagreement from within.Andreas Fjellstad - 2022 - Synthese 200 (2):1-33.details
|
|
Nonclassical Truth with Classical Strength. A Proof-Theoretic Analysis of Compositional Truth Over Hype.Martin Fischer, Carlo Nicolai & Pablo Dopico - 2023 - Review of Symbolic Logic 16 (2):425-448.details
|
|
Proof-theoretic pluralism.Filippo Ferrari & Eugenio Orlandelli - 2019 - Synthese 198 (Suppl 20):4879-4903.details
|
|
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.details
|
|
Disentangling Structural Connectives or Life Without Display Property.Sergey Drobyshevich - 2019 - Journal of Philosophical Logic 48 (2):279-303.details
|
|
Una teoría no transitiva de la verdad sobre PA.Jonathan Dittrich - 2021 - Análisis Filosófico 41 (2):273-283.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
|
|
Correction to: Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):687-687.details
|
|
Reaching Transparent Truth.Pablo Cobreros, Paul Égré, David Ripley & Robert van Rooij - 2013 - Mind 122 (488):841-866.details
|
|
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2021 - Journal of Philosophical Logic 51 (6):1417-1452.details
|
|
Dual Erotetic Calculi and the Minimal LFI.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2015 - Studia Logica 103 (6):1245-1278.details
|
|
Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research (2):251-282.details
|
|
LEt ® , LR °[^( ~ )], LK and cutfree proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.details
|
|
Free of Detachment: Logic, Rationality, and Gluts.Jc Beall - 2013 - Noûs 49 (2):410-423.details
|
|
Capturing naive validity in the Cut-free approach.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2016 - Synthese 199 (Suppl 3):707-723.details
|
|
What is the Meaning of Proofs?: A Fregean Distinction in Proof-Theoretic Semantics.Sara Ayhan - 2020 - Journal of Philosophical Logic 50 (3):571-591.details
|
|
Eight Rules for Implication Elimination.Michael Arndt - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 239-273.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
Book Reviews. [REVIEW]Roger Antonsen & Andreas Nakkerud - 2018 - Studia Logica 106 (1):215-218.details
|
|
A proof-search procedure for intuitionistic propositional logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.details
|
|
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.Juan C. Agudelo-Agudelo - 2024 - Journal of Applied Non-Classical Logics 34 (1):31-54.details
|
|
A multi-succedent sequent calculus for logical expressivists.Daniel Kaplan - 2018 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. College Publications. pp. 139-153.details
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Moral Principles: Hedged, Contributory, Mixed.Aleks Knoks - 2021 - In Deontic Logic and Normative Systems 2020/21.details
|
|
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory.Ivo Pezlar - 2019 - In Rainer Osswald, Christian Retoré & Peter Sutton (eds.), Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures. Association for Computational Linguistics. pp. 10-18.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|