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):

Displaying 3 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)
• Modal reduction principles: a parametric shift to graphs (Q6497081) (← links)