Relational semantics for full linear logic

DOI10.1016/J.JAL.2013.07.005MaRDI QIDQ280840zbMATHOpenAlexFDO

Authors Dion Coumans, Mai Gehrke, Lorijn Van Rooijen

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

linear logicrelational semanticscanonical extensionsphase semantics

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)

Recommendations

• Relational semantics for a fragment of linear logic
• Relational proof system for linear and other substructural logics
• scientific article; zbMATH DE number 1086632
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• scientific article; zbMATH DE number 7644094

Cites work

• scientific article; zbMATH DE number 697070 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions
• Canonical extensions and relational completeness of some substructural logics
• Canonical extensions and relational representations of lattices with negation
• Generalized Kripke frames
• Kripke models for linear logic
• Linear logic
• Modal logic

Cited in

(16)

• Canonical extensions and ultraproducts of polarities
• Canonical extensions of posets.
• Choice-free topological duality for implicative lattices and Heyting algebras
• Definable operators on stable set lattices
• Cover systems for the modalities of linear logic
• Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
• Relational semantics for Kleene logic and action logic
• Relational Models for the Lambek Calculus with Intersection and Constants
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Duality results for (co)residuated lattices
• Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
• Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
• Kripke models for linear logic
• Linear Logic Properly Displayed
• Relational semantics for a fragment of linear logic
• Algorithmic correspondence and canonicity for non-distributive logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q280840)