The logic Ł•

DOI10.1002/MALQ.201200105MaRDI QIDQ2933737zbMATHOpenAlexFDO

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

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

categorical equivalenceresiduated latticesMV-algebrascU-operatorsU-operatorsŁukasiewicz logic

Mathematics Subject Classification ID

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

Recommendations

• Remarks on special lattices and related constructive logics with strong negation
• Compatibly involutive residuated lattices and the Nelson identity
• Constructive logic with strong negation is a substructural logic. I
• scientific article; zbMATH DE number 1303459
• Two axiomatizations of Nelson algebras.
• Quasi-Nelson; or, non-involutive Nelson algebras
• Quasi-Nelson algebras
• Constructive logic with strong negation as a substructural logic
• Characterisations of Nelson algebras
• Constructive logic with strong negation is a substructural logic. II

Cites work

• scientific article; zbMATH DE number 2148622 (Why is no real title available?)
• Adding involution to residuated structures
• Caracterisation des algèbres de Nelson par des egalités, I
• Constructive logic with strong negation as a substructural logic
• Implicit connectives of algebraizable logics
• Minimal varieties of involutive residuated lattices
• N-lattices and constructive logic with strong negation
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On a definition of a variety of monadic \(\ell\)-groups.
• On monadic MV-algebras
• On some categories of involutive centered residuated lattices
• Polyadic MV-Algebras
• Quantifiers on distributive lattices
• The Gentzenization and decidability of RW
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Theorie der polyadischenMV-Algebren endlicher Ordnung

Cited in

(4)

• A categorical equivalence motivated by Kalman's construction
• Constructive logic with strong negation is a substructural logic. I
• On the expressive power of Łukasiewicz square operator
• Constructive logic with strong negation is a substructural logic. II

This page was built for publication: The logic Ł^•

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2933737)