Pages that link to "Item:Q5718685"

The following pages link to Canonical extensions and relational completeness of some substructural logics (Q5718685):

Displaying 50 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)
• Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
• \(\Delta_1\)-completions of a poset. (Q1943702) (← links)
• Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
• Definable operators on stable set lattices (Q2027212) (← links)
• A categorical duality for algebras of partial functions (Q2031546) (← links)
• A topological duality for monotone expansions of semilattices (Q2105676) (← links)
• Canonical extensions of lattices are more than perfect (Q2120439) (← links)
• Difference-restriction algebras of partial functions with operators: discrete duality and completion (Q2136931) (← links)
• Difference-restriction algebras of partial functions: axiomatisations and representations (Q2153921) (← links)
• Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
• Monotonic distributive semilattices (Q2279678) (← links)
• Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
• Canonical extensions of locally compact frames (Q2310786) (← links)
• A completion for distributive nearlattices (Q2334607) (← links)
• Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
• Coalgebraic completeness-via-canonicity for distributive substructural logics (Q2409626) (← links)
• Disentangling structural connectives or life without display property (Q2421521) (← links)
• Quantum B-algebras (Q2440506) (← links)
• Topological duality and lattice expansions. II: Lattice expansions with quasioperators. (Q2450842) (← links)
• Duality for double quasioperator algebras via their canonical extensions (Q2454636) (← links)
• Canonical extensions and profinite completions of semilattices and lattices (Q2510378) (← links)
• A topological duality for posets (Q2520766) (← links)
• Complete congruences on topologies and down-set lattices (Q2642570) (← links)
• Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
• B-frame duality (Q2689804) (← links)
• Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
• Computing distributed knowledge as the greatest lower bound of knowledge (Q2695370) (← links)
• Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
• Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings (Q2915144) (← links)
• Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
• CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
• POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
• Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
• Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
• Distributive and completely distributive lattice extensions of ordered sets (Q4576001) (← links)