Compatible operations on commutative weak residuated lattices
From MaRDI portal
Publication:2343034
DOI10.1007/s00012-015-0317-4zbMath1376.06010MaRDI QIDQ2343034
Publication date: 4 May 2015
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-015-0317-4
06D20: Heyting algebras (lattice-theoretic aspects)
06D05: Structure and representation theory of distributive lattices
03G25: Other algebras related to logic
06B20: Varieties of lattices
Related Items
On self‐distributive weak Heyting algebras, \(l\)-hemi-implicative semilattices, On principal congruences in distributive lattices with a commutative monoidal operation and an implication, Principal congruences in weak Heyting algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Frontal operators in weak Heyting algebras
- Compatible operations on residuated lattices
- On some compatible operations on Heyting algebras
- On some new intuitionistic propositional connectives. I
- Implicit connectives of algebraizable logics
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- Compatible operations on commutative residuated lattices
- Logics Which Are Characterized by Subresiduated Lattices
- An algebraic approach to intuitionistic connectives
- Bounded distributive lattices with strict implication
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic