On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices

DOI10.1007/s11225-022-10026-1OpenAlexW4309961432MaRDI QIDQ6161949

Jun Tao Wang, Yan-Hong She, Nana Ma, Peng Fei He

Publication date: 28 June 2023

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

Full work available at URL: https://doi.org/10.1007/s11225-022-10026-1

zbMATH Keywords

categorical equivalenceresiduated latticeKalman functor(weak) monadic algebra

Mathematics Subject Classification ID

Structure theory of lattices (06B05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit
• Compatible operations on residuated lattices
• Representations of monadic MV-algebras
• Monadic GMV-algebras
• On some categories of involutive centered residuated lattices
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Varieties of monadic Heyting algebras. II: Duality theory
• Metamathematics of fuzzy logic
• Varieties of monadic Heyting algebras. I
• Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
• Generalized MV-algebras
• Adding involution to residuated structures
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Monadic bounded hoops
• On monadic MV-algebras
• Monadic bounded residuated lattices
• The finite model property for the implicational fragment of IPC without exchange and contraction
• Varieties of monadic Heyting algebras. III
• Monadic pseudo BCI-algebras and corresponding logics
• On a definition of a variety of monadic \(\ell\)-groups.
• The existence of states based on Glivenko semihoops
• Minimal varieties of involutive residuated lattices
• Cancellative residuated lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• N-lattices and constructive logic with strong negation
• A non-commutative generalization of MV-algebras
• QUANTIFIERS ON LATTICES WITH AN ANTITONE INVOLUTION
• Caracterisation des algèbres de Nelson par des egalités, I
• Non-Commutative Residuated Lattices
• Monadic NM-algebras
• Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic