Compatible operations on commutative weak residuated lattices

DOI10.1007/s00012-015-0317-4zbMath1376.06010MaRDI QIDQ2343034

Hernán Javier San Martín

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

zbMATH Keywords

commutative residuated lattices; order-extension principle; residuation property

Mathematics Subject Classification ID

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