Pages that link to "Item:Q5379876"
From MaRDI portal
The following pages link to Representation of Lattices with Modal Operators in Two-Sorted Frames (Q5379876):
Displaying 6 items.
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Quantum monadic algebras (Q5876988) (← links)
- Positive modal logic beyond distributivity (Q6179826) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
