Relational semantics for full linear logic

DOI10.1016/J.JAL.2013.07.005zbMATH Open1335.03063OpenAlexW2047220130MaRDI QIDQ280840FDOQ280840

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

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

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)

Cites Work

• Modal logic
• Kripke models for linear logic
• Title not available (Why is that?)
• Linear logic
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• Canonical extensions and relational representations of lattices with negation
• Title not available (Why is that?)
• Canonical extensions and relational completeness of some substructural logics
• Bounded lattice expansions
• Generalized Kripke frames

Cited In (15)

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

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)