On some categories of involutive centered residuated lattices

DOI10.1007/s11225-008-9145-2zbMath1165.06002WikidataQ112120954 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

involution; residuated lattice; Kleene algebra; Nelson algebra; Kalman functor

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

06D05: Structure and representation theory of distributive lattices

06F05: Ordered semigroups and monoids

Related Items

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

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