A duality for two-sorted lattices
From MaRDI portal
Publication:2156992
DOI10.1007/S00500-020-05482-7zbMATH Open1491.06035OpenAlexW3120557254MaRDI QIDQ2156992FDOQ2156992
Publication date: 21 July 2022
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://research.birmingham.ac.uk/portal/en/publications/a-duality-for-twosorted-lattices(1d8da17a-ebbb-469e-924e-2f7de1e8a54d).html
De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Lattices and duality (06D50)
Cites Work
- Modal logic
- Constructible falsity
- Title not available (Why is that?)
- Residuated lattices. An algebraic glimpse at substructural logics
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- An algebraic approach to non-classical logics
- On the representation of \(\mathbf{N4}\)-lattices
- Title not available (Why is that?)
- Dualities for modal N4-lattices
- Heterogeneous algebras
- Title not available (Why is that?)
- Reasoning with logical bilattices
- The product representation theorem for interlaced pre-bilattices: some historical remarks.
- Coproducts of De Morgan algebras
- Varieties of interlaced bilattices
- Semi-de Morgan algebras
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Implicative twist-structures
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Title not available (Why is that?)
- Remarks on Priestley duality for distributive lattices
- Priestley duality for paraconsistent Nelson's logic
- Distributive envelopes and topological duality for lattices via canonical extensions.
- Esakia style duality for implicative semilattices
- Priestley style duality for distributive meet-semilattices
- Kripke Semantics for Modal Bilattice Logic
- Semi-De Morgan algebras
- Distributive Lattices with a Negation Operator
- Four-valued modal logic: Kripke semantics and duality
- Title not available (Why is that?)
- Non-involutive twist-structures
- Lattice logic properly displayed
- Multi-type display calculus for semi De Morgan logic
- Bitopology and four-valued logic
- Multi-type display calculus for dynamic epistemic logic
- Bilattice logic properly displayed
- Multi-type display calculus for propositional dynamic logic
- Representation of De Morgan and (semi-)Kleene lattices
- Compatibly involutive residuated lattices and the Nelson identity
- Quasi-Nelson algebras
Cited In (2)
This page was built for publication: A duality for two-sorted lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2156992)
