A proof-theoretic approach to negative translations in intuitionistic tense logics

DOI10.1007/s11225-022-10003-8OpenAlexW4281490290WikidataQ113900493 ScholiaQ113900493MaRDI QIDQ2082257

Minghui Ma, Zhe Lin

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

zbMATH Keywords

negative translationsintuitionistic tense logicclassical tense logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Natural deduction calculi for classical and intuitionistic S5

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