Pages that link to "Item:Q1702978"
From MaRDI portal
The following pages link to Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978):
Displayed 8 items.
- Logic prizes \textit{et cætera} (Q1632046) (← links)
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- B-frame duality (Q2689804) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)