Algebraic axiomatization of tense intuitionistic logic
From MaRDI portal
Publication:657427
DOI10.2478/s11533-011-0063-6zbMath1260.03113OpenAlexW2051677278MaRDI QIDQ657427
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
complete latticealgebraic semanticsHeyting algebraBrouwerian latticetense operatorrelative pseudocomplementationtense intuitionistic logic
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
This page was built for publication: Algebraic axiomatization of tense intuitionistic logic
