Representation of De Morgan and (semi-)Kleene lattices
From MaRDI portal
Publication:2153649
DOI10.1007/S00500-020-04885-WzbMATH Open1490.06007OpenAlexW3014113905MaRDI QIDQ2153649FDOQ2153649
Authors: Umberto Rivieccio 
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Constructible falsity
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- On the representation of \(\mathbf{N4}\)-lattices
- Dualities for modal N4-lattices
- Lattices With Involution
- Bounded lattice expansions
- Nelson algebras through Heyting ones. I
- Implicational classes of De Morgan lattices
- Nothing but the truth
- Coproducts of De Morgan algebras
- Belnap's Four-Valued Logic and De Morgan Lattices
- Idempotent residuated structures: Some category equivalences and their applications
- Semi-de Morgan algebras
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Implicative twist-structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Priestley duality for paraconsistent Nelson's logic
- Caracterisation des algèbres de Nelson par des egalités, I
- Product representation for default bilattices: an application of natural duality theory.
- An infinity of super-Belnap logics
- On Priest's logic of paradox
- FREGEAN VARIETIES
- Title not available (Why is that?)
- Characterizing Belnap's Logic via De Morgan's Laws
- Semi-De Morgan algebras
- An algebraic view of super-Belnap logics
- Distributive Lattices with a Negation Operator
- Title not available (Why is that?)
- On a subvariety of semi-De Morgan algebras
- Multi-type display calculus for semi De Morgan logic
- Algebraic semantics for Nelson's logic \(\mathcal{S}\)
- Priestley duality for some algebras with a negation operator
- Compatibly involutive residuated lattices and the Nelson identity
- Quasi-Nelson algebras
Cited In (11)
- Title not available (Why is that?)
- Intuitionistic modal algebras
- Title not available (Why is that?)
- Quasi-Nelson algebras and fragments
- Fragments of quasi-Nelson: residuation
- Negation and Implication in Quasi-Nelson Logic
- Prelinearity in (quasi-)Nelson logic
- A duality for two-sorted lattices
- Nelson conuclei and nuclei: the twist construction beyond involutivity
- Nelson algebras, residuated lattices and rough sets: A survey
- Title not available (Why is that?)
This page was built for publication: Representation of De Morgan and (semi-)Kleene lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2153649)
