Representation of De Morgan and (semi-)Kleene lattices
From MaRDI portal
Publication:2153649
DOI10.1007/s00500-020-04885-wzbMath1490.06007OpenAlexW3014113905MaRDI QIDQ2153649
Publication date: 12 July 2022
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-020-04885-w
Related Items (5)
Negation and Implication in Quasi-Nelson Logic ⋮ A duality for two-sorted lattices ⋮ Prelinearity in (quasi-)Nelson logic ⋮ Fragments of quasi-Nelson: residuation ⋮ Quasi-Nelson algebras and fragments
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Priestley duality for paraconsistent Nelson's logic
- Nelson algebras through Heyting ones. I
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Implicational classes of De Morgan lattices
- On a subvariety of semi-De Morgan algebras
- An algebraic view of super-Belnap logics
- Multi-type display calculus for semi De Morgan logic
- Algebraic semantics for Nelson's logic \(\mathcal{S}\)
- On the representation of \(\mathbf{N4}\)-lattices
- Semi-De Morgan algebras
- Nothing but the truth
- Product representation for default bilattices: an application of natural duality theory.
- Compatibly involutive residuated lattices and the Nelson identity
- Quasi-Nelson algebras
- Implicative twist-structures
- FREGEAN VARIETIES
- Semi-de Morgan algebras
- Coproducts of De Morgan algebras
- Distributive Lattices with a Negation Operator
- Belnap's Four-Valued Logic and De Morgan Lattices
- An infinity of super-Belnap logics
- Characterizing Belnap's Logic via De Morgan's Laws
- On Priest's logic of paradox
- Dualities for modal N4-lattices
- Idempotent residuated structures: Some category equivalences and their applications
- Caracterisation des algèbres de Nelson par des egalités, I
- Lattices With Involution
- Constructible falsity
- Bounded lattice expansions
This page was built for publication: Representation of De Morgan and (semi-)Kleene lattices
