Pages that link to "Item:Q4914003"
From MaRDI portal
The following pages link to Generalized Kripke semantics for the Lambek-Grishin calculus (Q4914003):
Displaying 8 items.
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Definable operators on stable set lattices (Q2027212) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- B-frame duality (Q2689804) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
