Compatible operations on residuated lattices

DOI10.1007/S11225-011-9333-3zbMATH Open1239.03043OpenAlexW2029884971MaRDI QIDQ763311FDOQ763311

Authors: J. L. Castiglioni, Hernán J. San Martín 

Publication date: 9 March 2012

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

Full work available at URL: https://doi.org/10.1007/s11225-011-9333-3

Recommendations

• Compatible operations on commutative residuated lattices
• Compatible operations on commutative weak residuated lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• scientific article; zbMATH DE number 4101278
• Compatible function extension property

zbMATH Keywords

residuated latticecompatible operationfrontal operator

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• THE STRUCTURE OF RESIDUATED LATTICES
• Algebraizable logics
• Title not available (Why is that?)
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
• An algebraic approach to intuitionistic connectives
• On frontal Heyting algebras
• On the variety of Heyting algebras with successor generated by all finite chains
• Title not available (Why is that?)
• Title not available (Why is that?)
• Implicit connectives of algebraizable logics
• On some new intuitionistic propositional connectives. I
• Compatible operations on commutative residuated lattices

Cited In (11)

• Residuation in modular lattices and posets
• Simplification of TL-congruence relations in residuated lattices
• Principal congruences in weak Heyting algebras
• Compatible operations on commutative residuated lattices
• Additivity of the commutator and residuation
• On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices
• Title not available (Why is that?)
• Compatible operations on commutative weak residuated lattices
• Polynomial space hardness without disjunction property
• On principal congruences in distributive lattices with a commutative monoidal operation and an implication
• A Generalization of Maksimova’s Criterion for the Disjunction Property

This page was built for publication: Compatible operations on residuated lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q763311)