A proof-theoretic approach to negative translations in intuitionistic tense logics
type: Item
instance of: scholarly article
title: A proof-theoretic approach to negative translations in intuitionistic tense logics
author: Zhe Lin
author: Minghui Ma
published in: Studia Logica
publication date: 2022-10-04T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7595959
zbMATH Keywords: classical tense logic
zbMATH Keywords: intuitionistic tense logic
zbMATH Keywords: negative translations
MaRDI profile type: Publication
full work available at URL: s11225-022-10003-8
OpenAlex ID: W4281490290
Wikidata QID: Q113900493
cites work: Q4083730
cites work: Display logic
cites work: Glivenko type theorems for intuitionistic modal logics
cites work: On an intuitionistic modal logic
cites work: Modal logic
cites work: Models for normal intuitionistic modal logics
cites work: MIPC as the formalisation of an intuitionist concept of modality
cites work: Q4342094
cites work: Interpolation and FEP for logics of residuated algebras
cites work: Intuitionistic propositional logic with Galois connections
cites work: Characterizing intermediate tense logics in terms of Galois connections
cites work: Intuitionistic tense and modal logic
cites work: Q4981448
cites work: An algebraic axiomatization of the Ewald's intuitionistic tense logic
cites work: On modal logic with an intuitionistic base
cites work: Q3720564
cites work: Glivenko theorems for substructural logics over FL
cites work: Tree-sequent calculi and decision procedures for intuitionistic modal logics
cites work: Cut-elimination and proof search for bi-intuitionistic tense logic
cites work: Terminating sequent calculi for two intuitionistic modal logics
cites work: KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
cites work: Maehara-style modal nested calculi
cites work: Gentzen sequent calculi for some intuitionistic modal logics
cites work: Q5111325
cites work: Multimodal linguistic inference
cites work: On some intuitionistic modal logics
cites work: Glivenko theorems revisited
cites work: Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
cites work: Q4942002
DOI: 10.1007/S11225-022-10003-8
description: scientific article; zbMATH DE number 7595959