Pages that link to "Item:Q5379322"
From MaRDI portal
The following pages link to Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322):
Displaying 4 items.
- Duality results for (co)residuated lattices (Q2418015) (← links)
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
