A proof-theoretic approach to negative translations in intuitionistic tense logics
From MaRDI portal
Publication:2082257
DOI10.1007/s11225-022-10003-8OpenAlexW4281490290WikidataQ113900493 ScholiaQ113900493MaRDI QIDQ2082257
Publication date: 4 October 2022
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-022-10003-8
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An algebraic axiomatization of the Ewald's intuitionistic tense logic
- Glivenko theorems revisited
- Models for normal intuitionistic modal logics
- On modal logic with an intuitionistic base
- On some intuitionistic modal logics
- On an intuitionistic modal logic
- Maehara-style modal nested calculi
- Display logic
- Multimodal linguistic inference
- Interpolation and FEP for logics of residuated algebras
- Intuitionistic propositional logic with Galois connections
- Glivenko theorems for substructural logics over FL
- Intuitionistic tense and modal logic
- Tree-sequent calculi and decision procedures for intuitionistic modal logics
- Terminating sequent calculi for two intuitionistic modal logics
- Characterizing intermediate tense logics in terms of Galois connections
- Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
- Gentzen sequent calculi for some intuitionistic modal logics
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
- MIPC as the formalisation of an intuitionist concept of modality
- Glivenko type theorems for intuitionistic modal logics
This page was built for publication: A proof-theoretic approach to negative translations in intuitionistic tense logics