Relational semantics for a fragment of linear logic

MaRDI QIDQ2874885zbMATH OpenFDO

Authors Dion Coumans

Publication date 12 August 2014

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Relational semantics for full linear logic
• scientific article; zbMATH DE number 7297101
• scientific article; zbMATH DE number 1361538
• scientific article; zbMATH DE number 1086632
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• scientific article; zbMATH DE number 786485
• The finite model property for various fragments of linear logic
• Applications of Linear Logic to Computation: An Overview
• Publication:4490754
• scientific article; zbMATH DE number 1678379

Cited in

(7)

• Relational model of second order linear logic
• Relational semantics for full linear logic
• The linear logic of multisets
• Relational proof system for linear and other substructural logics
• scientific article; zbMATH DE number 1086632 (Why is no real title available?)
• Modelling coeffects in the relational semantics of linear logic
• Relational semantics for Kleene logic and action logic

This page was built for publication: Relational semantics for a fragment of linear logic

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