Pages that link to "Item:Q494628"

The following pages link to TiRS graphs and TiRS frames: a new setting for duals of canonical extensions (Q494628):

Displayed 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)
• 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)
• (Q6099196) ‎ (← links)