Pages that link to "Item:Q494628"
From MaRDI portal
The following pages link to TiRS graphs and TiRS frames: a new setting for duals of canonical extensions (Q494628):
Displaying 7 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)
- Modelling socio-political competition (Q2035344) (← links)
- Canonical extensions of lattices are more than perfect (Q2120439) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Duality for normal lattice expansions and sorted residuated frames with relations (Q2682629) (← links)
- Dual digraphs of finite semidistributive lattices (Q5059017) (← links)
