Pages that link to "Item:Q5718685"
From MaRDI portal
The following pages link to Canonical extensions and relational completeness of some substructural logics (Q5718685):
Displaying 16 items.
- Relational semantics for full linear logic (Q280840) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Distributive envelopes and topological duality for lattices via canonical extensions. (Q466890) (← links)
- Canonical extensions of posets. (Q466925) (← links)
- TiRS graphs and TiRS frames: a new setting for duals of canonical extensions (Q494628) (← links)
- Canonical extensions and canonicity via dcpo presentations (Q541219) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- A spectral-style duality for distributive posets (Q722594) (← links)
- Generalized Kripke frames (Q863180) (← links)
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations (Q863916) (← links)
- Canonicity in subvarieties of BL-algebras (Q993324) (← links)
- Canonical extensions and relational representations of lattices with negation (Q1015482) (← links)
- Embeddability into relational lattices is undecidable (Q1647970) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
