Principal and Boolean congruences on \(IKt\)-algebras
From MaRDI portal
Publication:1790608
DOI10.1007/s11225-017-9770-8zbMath1437.06011OpenAlexW2786337778MaRDI QIDQ1790608
Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay
Publication date: 2 October 2018
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-017-9770-8
Heyting algebras (lattice-theoretic aspects) (06D20) Lattice ideals, congruence relations (06B10) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
An algebraic study of tense operators on Nelson algebras, A categorical equivalence for tense Nelson algebras
Cites Work
- 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
- Unnamed Item
- 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
- Subdirectly irreducible IKt-algebras
- 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
