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 (2)
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
This page was built for publication: Principal and Boolean congruences on \(IKt\)-algebras
