The logic Ł•

DOI10.1002/malq.201200105zbMath1401.03049OpenAlexW2153342220MaRDI QIDQ2933737

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

Publication date: 5 December 2014

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201200105

zbMATH Keywords

MV-algebrascategorical equivalenceŁukasiewicz logicresiduated latticescU-operatorsU-operators

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50) Varieties of lattices (06B20)

Related Items

A categorical equivalence motivated by Kalman's construction

Cites Work

• Unnamed Item
• The Gentzenization and decidability of RW
• On some categories of involutive centered residuated lattices
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Quantifiers on distributive lattices
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Implicit connectives of algebraizable logics
• Adding involution to residuated structures
• On monadic MV-algebras
• On a definition of a variety of monadic \(\ell\)-groups.
• Minimal varieties of involutive residuated lattices
• N-lattices and constructive logic with strong negation
• Constructive Logic with Strong Negation as a Substructural Logic
• Polyadic MV-Algebras
• Theorie der polyadischenMV-Algebren endlicher Ordnung
• Caracterisation des algèbres de Nelson par des egalités, I