Characterizing intermediate tense logics in terms of Galois connections

DOI10.1093/JIGPAL/JZU024MaRDI QIDQ4644502zbMATH OpenOpenAlexFDO

Authors Wojciech Dzik, Jouni Järvinen, Michiro Kondo

Publication date 8 January 2019

Published in Logic Journal of the 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

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

Abstract: We propose a uniform way of defining for every logic $sfL$ intermediate between intuitionistic and classical logics, the corresponding intermediate minimal tense logic $sfL{K}_t$. This is done by building the fusion of two copies of intermediate logic with a Galois connection $sfLGC$, and then interlinking their operators by two Fischer Servi axioms. The resulting system is called here $sfL2GC+FS$. In the cases of intuitionistic logic $sfInt$ and classical logic $sfCl$, it is noted that $sfInt2GC+FS$ is syntactically equivalent to intuitionistic minimal tense logic $sfI{K}_t$ by W. B. Ewald and $sfCl2GC+FS$ equals classical minimal tense logic $sf{K}_t$. This justifies to consider $sfL2GC+FS$ as minimal $sfL$-tense logic $sfL{K}_t$ for any intermediate logic $sfL$. We define H2GC+FS-algebras as expansions of HK1-algebras, introduced by E. Orlowska and I. Rewitzky. For each intermediate logic $sfL$, we show algebraic completeness of $sfL2GC+FS$ and its conservativeness over $sfL$. We prove relational completeness of $sfInt2GC+FS$ with respect to the models defined on $sfIK$-frames introduced by G. Fischer Servi. We also prove a representation theorem stating that every H2GC+FS-algebra can be embedded into the complex algebra of its canonical $sfIK$-frame.

Recommendations

• Intuitionistic propositional logic with Galois connections
• Logics from Galois connections
• scientific article; zbMATH DE number 3837996
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• Algebraic axiomatization of tense intuitionistic logic

Cited in

(11)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644502)