Relational semantics for a fragment of linear logic

zbMATH Open1314.03026MaRDI QIDQ2874885FDOQ2874885

Authors: Dion Coumans 

Publication date: 12 August 2014

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

Mathematics Subject Classification ID

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

Cited In (3)

• Relational semantics for full linear logic
• Relational model of second order 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)