scientific article; zbMATH DE number 908162
From MaRDI portal
Publication:4886948
Cited in
(13)- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Canonical extensions of lattices are more than perfect
- Algorithmic correspondence and canonicity for non-distributive logics
- Duality for normal lattice expansions and sorted residuated frames with relations
- A fresh perspective on canonical extensions for bounded lattices.
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions
- Modal Logics of Some Hereditarily Irresolvable Spaces
- Dual digraphs of finite semidistributive lattices
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- Representations and dualities for bounded lattices
- Modal reduction principles: a parametric shift to graphs
- Dual digraphs of finite meet-distributive and modular lattices
- Choice-free dualities for lattice expansions: application to logics with a negation operator
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4886948)