Subdirectly irreducible IKt-algebras

DOI10.1007/s11225-017-9707-2zbMath1417.06010OpenAlexW2583355254MaRDI QIDQ1680513

Gustavo Pelaitay, Aldo V. Figallo, Inés Pascual

Publication date: 16 November 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-017-9707-2

zbMATH Keywords

Heyting algebrastense operatorsIKt-algebras

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Unnamed Item, On Heyting algebras with negative tense operators, 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

• On tense MV-algebras
• Tense operators on basic algebras
• Modes of adjointness
• Algebraic axiomatization of tense intuitionistic logic
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• Dynamic order algebras as an axiomatization of modal and tense logics
• Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras
• Operators on MV-algebras and their representations.
• Dynamic effect algebras and their representations
• Discrete Duality for Tense Łukasiewicz–Moisil Algebras
• Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras
• Dynamic effect algebras
• A representation theorem for tense $n\times m$-valued Łukasiewicz-Moisil algebras
• Tense SHn--algebras
• DISCRETE DUALITY FOR TSH-ALGEBRAS
• Intuitionistic tense and modal logic
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Characterizing intermediate tense logics in terms of Galois connections
• Tense operators on De Morgan algebras
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item