- Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Cut and gamma I: Propositional and constant domain R.Yale Weiss - 2020 - Review of Symbolic Logic 13 (4):887-909.details
|
|
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions.Matteo Tesi & Sara Negri - 2023 - Annals of Pure and Applied Logic 174 (8):103285.details
|
|
Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics.Matteo Tesi - 2020 - Studia Logica 109 (4):725-757.details
|
|
Constructive theories through a modal lens.Matteo Tesi - forthcoming - Logic Journal of the IGPL.details
|
|
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.details
|
|
Monoidal logics: completeness and classical systems.Clayton Peterson - 2019 - Journal of Applied Non-Classical Logics 29 (2):121-151.details
|
|
A comparison between monoidal and substructural logics.Clayton Peterson - 2016 - Journal of Applied Non-Classical Logics 26 (2):126-159.details
|
|
The intensional side of algebraic-topological representation theorems.Sara Negri - 2017 - Synthese 198 (Suppl 5):1121-1143.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
|
|
Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.details
|
|
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.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
|
|
Nested sequents for intermediate logics: the case of Gödel-Dummett logics.Tim S. Lyon - 2023 - Journal of Applied Non-Classical Logics 33 (2):121-164.details
|
|
Intermediate Logics Admitting a Structural Hypersequent Calculus.Frederik M. Lauridsen - 2019 - Studia Logica 107 (2):247-282.details
|
|
Conditional beliefs: From neighbourhood semantics to sequent calculus.Marianna Girlando, Sara Negri, Nicola Olivetti & Vincent Risch - 2018 - Review of Symbolic Logic 11 (4):736-779.details
|
|
Labeled sequent calculus for justification logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.details
|
|
Geometrisation of first-order logic.Roy Dyckhoff & Sara Negri - 2015 - Bulletin of Symbolic Logic 21 (2):123-163.details
|
|
Disentangling Structural Connectives or Life Without Display Property.Sergey Drobyshevich - 2019 - Journal of Philosophical Logic 48 (2):279-303.details
|
|
Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.details
|
|
From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.details
|
|
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2020 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 177-194.details
|
|
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.details
|
|
Recent Advances in Proof Systems for Modal Logic.Sara Negri - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 421-422.details
|
|