- Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.details
|
|
What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory.Sara Ayhan - 2023 - Australasian Journal of Logic 20 (3):412-428.details
|
|
Is, Ought, and Cut.Norbert Gratzl & Edi Pavlović - 2023 - Journal of Philosophical Logic 52 (4):1149-1169.details
|
|
(1 other version)Sequent Calculi for the Propositional Logic of HYPE.Martin Fischer - 2021 - Studia Logica 110 (3):643-677.details
|
|
Forms and Norms of Indecision in Argumentation Theory.Daniela Schuster - 2021 - Deontic Logic and Normative Systems, 15th International Conference, DEON 2020/2021.details
|
|
Subatomic Negation.Bartosz Więckowski - 2021 - Journal of Logic, Language and Information 30 (1):207-262.details
|
|
The placeholder view of assumptions and the Curry–Howard correspondence.Ivo Pezlar - 2020 - Synthese (11):1-17.details
|
|
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.details
|
|
On Dummett’s Pragmatist Justification Procedure.Hermógenes Oliveira - 2019 - Erkenntnis 86 (2):429-455.details
|
|
A Sequent Calculus for a Negative Free Logic.Norbert Gratzl - 2010 - Studia Logica 96 (3):331-348.details
|
|
Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknowndetails
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
Natural deduction for non-classical logics.David Basin, Seán Matthews & Luca Viganò - 1998 - Studia Logica 60 (1):119-160.details
|
|
Is the HYPE about strength warranted?Martin Fischer - 2022 - Synthese 200 (3):1-25.details
|
|
Formal explanations as logical derivations.Francesco A. Genco - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):279-342.details
|
|
On the Costs of Classical Logic.Luca Castaldo - 2021 - Erkenntnis 88 (3):1157-1188.details
|
|
Conceptual (and Hence Mathematical) Explanation, Conceptual Grounding and Proof.Francesca Poggiolesi & Francesco Genco - 2021 - Erkenntnis:1-27.details
|
|
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation.Norihiro Kamide - 2021 - Journal of Logic, Language and Information 30 (3):491-531.details
|
|
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach.Björn Lellmann, Francesca Gulisano & Agata Ciabattoni - 2020 - Artificial Intelligence and Law 29 (3):351-394.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
|
|
Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics.Matteo Tesi - 2020 - Studia Logica 109 (4):725-757.details
|
|
Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction.Minghui Ma & Ahti-Veikko Pietarinen - 2018 - Journal of Philosophical Logic 47 (6):913-945.details
|
|
On defining the notion of complete and immediate formal grounding.Francesca Poggiolesi - 2016 - Synthese 193 (10).details
|
|
Consequence Relations and Admissible Rules.Rosalie Iemhoff - 2016 - Journal of Philosophical Logic 45 (3):327-348.details
|
|
On Rules.Rosalie Iemhoff - 2015 - Journal of Philosophical Logic 44 (6):697-711.details
|
|
Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.details
|
|
Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.details
|
|
Provably recursive functions of constructive and relatively constructive theories.Morteza Moniri - 2010 - Archive for Mathematical Logic 49 (3):291-300.details
|
|
(2 other versions)Deep sequent systems for modal logic.Kai Brünnler - 2009 - Archive for Mathematical Logic 48 (6):551-577.details
|
|
Marginalia on sequent calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.details
|
|
A novel approach to equality.Andrzej Indrzejczak - 2021 - Synthese 199 (1-2):4749-4774.details
|
|
On Formally Measuring and Eliminating Extraneous Notions in Proofs.Andrew Arana - 2009 - Philosophia Mathematica 17 (2):189-207.details
|
|
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.Francesca Poggiolesi - 2016 - Studia Logica 104 (5):1003-1036.details
|
|
Hybrid logic with the difference modality for generalisations of graphs.Robert S. R. Myers & Dirk Pattinson - 2010 - Journal of Applied Logic 8 (4):441-458.details
|
|
Constructibility of the Universal Wave Function.Arkady Bolotin - 2016 - Foundations of Physics 46 (10):1253-1268.details
|
|
Constructive belief reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.details
|
|
Cut elimination for a calculus with context-dependent rules.Birgit Elbl - 2001 - Archive for Mathematical Logic 40 (3):167-188.details
|
|
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
|
|
A formal system for euclid’s elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.details
|
|
Logical pluralism and semantic information.Patrick Allo - 2007 - Journal of Philosophical Logic 36 (6):659 - 694.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.Christian Fermüller, Timo Lang & Alexandra Pavlova - 2022 - Logica Universalis 16 (1):221-235.details
|
|
Comments on Why We Need a Question Semanitcs by Ivano Ciardelli.Dorota Leszczyńska-Jasion - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 48–54.details
|
|
Intuitionistic Non-normal Modal Logics: A General Framework.Tiziano Dalmonte, Charles Grellois & Nicola Olivetti - 2020 - Journal of Philosophical Logic 49 (5):833-882.details
|
|
Theories of truth and the maxim of minimal mutilation.Ole Thomassen Hjortland - 2017 - Synthese 199 (Suppl 3):787-818.details
|
|
Subformula and separation properties in natural deduction via small Kripke models: Subformula and separation properties.Peter Milne - 2010 - Review of Symbolic Logic 3 (2):175-227.details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
A short proof of Glivenko theorems for intermediate predicate logics.Christian Espíndola - 2013 - Archive for Mathematical Logic 52 (7-8):823-826.details
|
|