- Quantified Modal Logics: One Approach to Rule (Almost) them All!Eugenio Orlandelli - forthcoming - Journal of Philosophical Logic:1-38.details
|
|
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.details
|
|
A paraconsistent route to semantic closure.Eduardo Alejandro Barrio, Federico Matias Pailos & Damian Enrique Szmuc - 2017 - Logic Journal of the IGPL 25 (4):387-407.details
|
|
A formal system for euclid’s elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.details
|
|
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.details
|
|
Cut elimination for coherent theories in negation normal form.Paolo Maffezioli - 2024 - Archive for Mathematical Logic 63 (3):427-445.details
|
|
In the shadows of the löwenheim-Skolem theorem: Early combinatorial analyses of mathematical proofs.Jan von Plato - 2007 - Bulletin of Symbolic Logic 13 (2):189-225.details
|
|
Combinatorial analysis of proofs in projective and affine geometry.Jan von Plato - 2010 - Annals of Pure and Applied Logic 162 (2):144-161.details
|
|
On the Proof Theory of Infinitary Modal Logic.Matteo Tesi - 2022 - Studia Logica 110 (6):1349-1380.details
|
|
Constructive theories through a modal lens.Matteo Tesi - forthcoming - Logic Journal of the IGPL.details
|
|
Minimal from classical proofs.Helmut Schwichtenberg & Christoph Senjak - 2013 - Annals of Pure and Applied Logic 164 (6):740-748.details
|
|
Negation-Free and Contradiction-Free Proof of the Steiner–Lehmus Theorem.Victor Pambuccian - 2018 - Notre Dame Journal of Formal Logic 59 (1):75-90.details
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Proof analysis for Lewis counterfactuals.Sara Negri & Giorgio Sbardolini - 2016 - Review of Symbolic Logic 9 (1):44-75.details
|
|
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.details
|
|
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.details
|
|
Glivenko sequent classes in the light of structural proof theory.Sara Negri - 2016 - Archive for Mathematical Logic 55 (3-4):461-473.details
|
|
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.details
|
|
From axioms to synthetic inference rules via focusing.Sonia Marin, Dale Miller, Elaine Pimentel & Marco Volpe - 2022 - Annals of Pure and Applied Logic 173 (5):103091.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
|
|
Proof theory of epistemic logic of programs.Paolo Maffezioli & Alberto Naibo - 2014 - Logic and Logical Philosophy 23 (3):301--328.details
|
|
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate.Paolo Maffezioli & Eugenio Orlandelli - 2019 - Bulletin of the Section of Logic 48 (2):137-158.details
|
|
Analytic Rules for Mereology.Paolo Maffezioli - 2016 - Studia Logica 104 (1):79-114.details
|
|
Intermediate Logics Admitting a Structural Hypersequent Calculus.Frederik M. Lauridsen - 2019 - Studia Logica 107 (2):247-282.details
|
|
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.details
|
|
Interpolation in Extensions of First-Order Logic.Guido Gherardi, Paolo Maffezioli & Eugenio Orlandelli - 2020 - Studia Logica 108 (3):619-648.details
|
|
Labeled sequent calculus for justification logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.details
|
|
Omega-inconsistency without cuts and nonstandard models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).details
|
|
Glivenko sequent classes and constructive cut elimination in geometric logics.Giulio Fellin, Sara Negri & Eugenio Orlandelli - 2023 - Archive for Mathematical Logic 62 (5):657-688.details
|
|
Formalizing Kant’s Rules.Richard Evans, Andrew Stephenson & Marek Sergot - 2019 - Journal of Philosophical Logic 48:1-68.details
|
|
Geometrisation of first-order logic.Roy Dyckhoff & Sara Negri - 2015 - Bulletin of Symbolic Logic 21 (2):123-163.details
|
|
Kripke completeness revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.details
|
|