Characterizing intermediate tense logics in terms of Galois connections

DOI10.1093/JIGPAL/JZU024zbMATH Open1405.03069arXiv1401.7646OpenAlexW3104543938MaRDI QIDQ4644502FDOQ4644502

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)

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.

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

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

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)

Cited In (11)

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

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)