Pages that link to "Item:Q3120204"
From MaRDI portal
The following pages link to Discrete duality for lattices with modal operators (Q3120204):
Displaying 12 items.
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- Discrete duality for tense Łukasiewicz-Moisil algebras (Q2805408) (← links)
- (Q2998396) (← links)
- Quasi-modal operators on distributive nearlattices (Q4997890) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics (Q5027243) (← links)
- Stone duality for lattice expansions (Q5095649) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Positive modal logic beyond distributivity (Q6179826) (← links)