The logic Ł•
From MaRDI portal
Publication:2933737
DOI10.1002/MALQ.201200105zbMATH Open1401.03049OpenAlexW2153342220MaRDI QIDQ2933737FDOQ2933737
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
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
- On some categories of involutive centered residuated lattices
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Adding involution to residuated structures
- On a definition of a variety of monadic \(\ell\)-groups.
- Constructive logic with strong negation as a substructural logic
- Quantifiers on distributive lattices
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On monadic MV-algebras
- Title not available (Why is that?)
- N-lattices and constructive logic with strong negation
- The Gentzenization and decidability of RW
- Minimal varieties of involutive residuated lattices
- Caracterisation des algèbres de Nelson par des egalités, I
- Implicit connectives of algebraizable logics
- Polyadic MV-Algebras
- Theorie der polyadischenMV-Algebren endlicher Ordnung
Cited In (3)
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)