A duality for two-sorted lattices
From MaRDI portal
Publication:2156992
DOI10.1007/s00500-020-05482-7zbMath1491.06035OpenAlexW3120557254MaRDI QIDQ2156992
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
Lattices and duality (06D50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Distributive envelopes and topological duality for lattices via canonical extensions.
- Varieties of interlaced bilattices
- Priestley duality for paraconsistent Nelson's logic
- Priestley style duality for distributive meet-semilattices
- Residuated lattices. An algebraic glimpse at substructural logics
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Remarks on Priestley duality for distributive lattices
- An algebraic approach to non-classical logics
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Lattice logic properly displayed
- Multi-type display calculus for semi De Morgan logic
- Bitopology and four-valued logic
- On the representation of \(\mathbf{N4}\)-lattices
- Semi-De Morgan algebras
- Reasoning with logical bilattices
- Esakia style duality for implicative semilattices
- Representation of De Morgan and (semi-)Kleene lattices
- Compatibly involutive residuated lattices and the Nelson identity
- Bilattice logic properly displayed
- Quasi-Nelson algebras
- The product representation theorem for interlaced pre-bilattices: some historical remarks.
- Implicative twist-structures
- Multi-type display calculus for dynamic epistemic logic
- Multi-type display calculus for propositional dynamic logic
- Four-valued modal logic: Kripke semantics and duality
- Non-involutive twist-structures
- Semi-de Morgan algebras
- Coproducts of De Morgan algebras
- Distributive Lattices with a Negation Operator
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Dualities for modal N4-lattices
- Kripke Semantics for Modal Bilattice Logic
- Heterogeneous algebras
- Constructible falsity
