On some categories of involutive centered residuated lattices

DOI10.1007/s11225-008-9145-2zbMath1165.06002OpenAlexW1965049709WikidataQ112120954 ScholiaQ112120954MaRDI QIDQ1005951

Matias Menni, Marta S. Sagastume, José Luis Castiglioni

Publication date: 17 March 2009

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

Full work available at URL: https://doi.org/10.1007/s11225-008-9145-2

zbMATH Keywords

involutionresiduated latticeKleene algebraNelson algebraKalman functor

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Structure and representation theory of distributive lattices (06D05) Ordered semigroups and monoids (06F05)

Related Items (7)

Kleene algebras with implication ⋮ A categorical equivalence motivated by Kalman's construction ⋮ The logic Ł^• ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ On a definition of a variety of monadic \(\ell\)-groups.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Adding involution to residuated structures
• Minimal varieties of involutive residuated lattices
• Constructive Logic with Strong Negation as a Substructural Logic
• Caracterisation des algèbres de Nelson par des egalités, I
• Lattices With Involution

This page was built for publication: On some categories of involutive centered residuated lattices