Duality for normal lattice expansions and sorted residuated frames with relations
From MaRDI portal
Publication:2682629
DOI10.1007/s00012-023-00802-yOpenAlexW3211118088MaRDI QIDQ2682629
Publication date: 1 February 2023
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-023-00802-y
Stone dualitynon-distributive logicslattices with quasioperatorsnormal lattice expansionspolarities with relations
Complete lattices, completions (06B23) Representation theory of lattices (06B15) Lattices and duality (06D50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A fresh perspective on canonical extensions for bounded lattices.
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
- Generalized Kripke frames
- A topological representation of lattices
- A topological representation theory for lattices
- Stone duality for lattices
- Relation algebras as residuated Boolean algebras
- Duality for lattice-ordered algebras and for normal algebraizable logics
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
- Topological duality and lattice expansions. I: A topological construction of canonical extensions.
- Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
- Canonical extensions and profinite completions of semilattices and lattices
- Discrete duality for lattices with modal operators
- MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS
- Stone duality for lattice expansions
- Modal translation of substructural logics
- Reconciliation of approaches to the construction of canonical extensions of bounded lattices
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- Representation of Lattices with Modal Operators in Two-Sorted Frames
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Topological representations of distributive lattices and Brouwerian logics
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Bounded lattice expansions
