Nested sequents for intermediate logics: the case of Gödel-Dummett logics
From MaRDI portal
Publication:6172067
DOI10.1080/11663081.2023.2233346arXiv2306.07550MaRDI QIDQ6172067
Publication date: 16 August 2023
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2306.07550
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal interpolation via nested sequents
- Proof analysis in intermediate logics
- Quantification in nonclassical logic. Volume I.
- Deep sequent systems for modal logic
- Gentzen calculi for modal propositional logic
- Metamathematics of fuzzy logic
- Cut-free sequent calculi for some tense logics
- Subintuitionistic logics
- Hypersequents, logical consequence and intermediate logics for concurrency
- Nested sequents for intuitionistic modal logics via structural refinement
- First-order Gödel logics
- Nested sequents for intuitionistic logics
- Tableau methods of proof for modal logics
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
- The Method of Tree-Hypersequents for Modal Propositional Logic
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
- On the correspondence between nested calculi and semantic systems for intuitionistic logics
- Strongly equivalent logic programs
- A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY
This page was built for publication: Nested sequents for intermediate logics: the case of Gödel-Dummett logics
