The logic Ł•
From MaRDI portal
Publication:2933737
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)
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)