Relational semantics for full linear logic

DOI10.1016/J.JAL.2013.07.005zbMath1335.03063OpenAlexW2047220130MaRDI QIDQ280840

Dion Coumans, Lorijn van Rooijen, Mai Gehrke

Publication date: 10 May 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2013.07.005

zbMATH Keywords

relational semanticslinear logicphase semanticscanonical extensions

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (11)

Linear Logic Properly Displayed ⋮ Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory ⋮ Duality results for (co)residuated lattices ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ Cover systems for the modalities of linear logic ⋮ Canonical extensions of posets. ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Definable operators on stable set lattices ⋮ Canonical extensions and ultraproducts of polarities ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Generalized Kripke frames
• Canonical extensions and relational representations of lattices with negation
• Kripke models for linear logic
• Canonical extensions and relational completeness of some substructural logics
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Bounded lattice expansions

This page was built for publication: Relational semantics for full linear logic