Relational semantics for a fragment of linear logic

MaRDI QIDQ2874885zbMATHFDO

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

(4)

• Modelling coeffects in the relational semantics of linear logic
• Relational semantics for full linear logic
• Relational semantics for Kleene logic and action logic
• Relational model of second order linear 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)