Algebraic axiomatization of tense intuitionistic logic

DOI10.2478/s11533-011-0063-6zbMath1260.03113OpenAlexW2051677278MaRDI QIDQ657427

Ivan Chajda

Publication date: 16 January 2012

Published in: Central European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/s11533-011-0063-6

zbMATH Keywords

complete latticealgebraic semanticsHeyting algebraBrouwerian latticetense operatorrelative pseudocomplementationtense intuitionistic logic

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Pseudocomplemented lattices (06D15) Temporal logic (03B44)

Related Items (20)

On tense MV-algebras ⋮ On the finite model property of weak intuitionistic tense logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Tense operators in fuzzy logic ⋮ Galois connections and tense operators on q-effect algebras ⋮ Subdirectly irreducible IKt-algebras ⋮ Tense Operators on BL-algebras and Their Applications ⋮ Unnamed Item ⋮ On Heyting algebras with negative tense operators ⋮ An algebraic axiomatization of the Ewald's intuitionistic tense logic ⋮ Partial tense MV-algebras and related functions ⋮ Dynamic order algebras as an axiomatization of modal and tense logics ⋮ A Topological Approach to Tense LMn×m-Algebras ⋮ Tense operators on spaces of numerical events ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Principal and Boolean congruences on \(IKt\)-algebras ⋮ A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras ⋮ A categorical equivalence for tense Nelson algebras

Cites Work

• Tense operators on basic algebras
• Constructive modal logics. I
• Intuitionism. An introduction
• Mathematics behind fuzzy logic
• Dynamic effect algebras
• Intuitionistic tense and modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic axiomatization of tense intuitionistic logic