Characterizing intermediate tense logics in terms of Galois connections

DOI10.1093/jigpal/jzu024zbMath1405.03069arXiv1401.7646OpenAlexW3104543938MaRDI QIDQ4644502

Wojciech Dzik, Jouni Järvinen, Michiro Kondo

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.7646

zbMATH Keywords

representation theoremGalois connectionintuitionistic modal logicintermediate tense logics

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Temporal logic (03B44) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Intermediate logics (03B55)

Related Items (8)

Subdirectly irreducible IKt-algebras ⋮ On Heyting algebras with negative tense operators ⋮ Intuitionistic propositional logic with Galois negations ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Principal and Boolean congruences on \(IKt\)-algebras ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ A categorical equivalence for tense Nelson algebras

This page was built for publication: Characterizing intermediate tense logics in terms of Galois connections