A categorical equivalence motivated by Kalman's construction

DOI10.1007/S11225-015-9632-1zbMath1392.06010OpenAlexW2178173144MaRDI QIDQ284216

Marta S. Sagastume, Hernán J. San Martín

Publication date: 17 May 2016

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

Full work available at URL: http://sedici.unlp.edu.ar/handle/10915/107887

zbMATH Keywords

MV-algebrasidealscategorical equivalenceadjunction

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites Work

• Nelson algebras through Heyting ones. I
• On some categories of involutive centered residuated lattices
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Algebraic foundations of many-valued reasoning
• On the representation of \(\mathbf{N4}\)-lattices
• On a definition of a variety of monadic \(\ell\)-groups.
• The logic Ł^•
• Dualities for modal N4-lattices
• Lattices With Involution

This page was built for publication: A categorical equivalence motivated by Kalman's construction