Recommendations
Cites work
- scientific article; zbMATH DE number 3976993 (Why is no real title available?)
- scientific article; zbMATH DE number 2070197 (Why is no real title available?)
- scientific article; zbMATH DE number 1557989 (Why is no real title available?)
- scientific article; zbMATH DE number 5241983 (Why is no real title available?)
- scientific article; zbMATH DE number 2208113 (Why is no real title available?)
- Algebraizable logics
- An algebraic approach to intuitionistic connectives
- Compatible operations on commutative residuated lattices
- Implicit connectives of algebraizable logics
- On frontal Heyting algebras
- On some new intuitionistic propositional connectives. I
- On the variety of Heyting algebras with successor generated by all finite chains
- THE STRUCTURE OF RESIDUATED LATTICES
- The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
- Untersuchungen über das logische Schliessen. I
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
- scientific article; zbMATH DE number 4101278 (Why is no real title available?)
- 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)
