scientific article; zbMATH DE number 1086632

zbMATH Open0883.03005MaRDI QIDQ4362881FDOQ4362881

Authors: Jules Desharnais, Bernard Hodgson, John Mullins 

Publication date: 23 March 1998

Title of this publication is not available (Why is that?)

Recommendations

• Relations and non-commutative linear logic
• Relational semantics for a fragment of linear logic
• The semantics and proof theory of linear logic
• Models of linear logic

zbMATH Keywords

linear logicsequent calculusalgebraic modelsrelation algebrasrelational modelrelational operatorscyclic noncommutative propositional linear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Cylindric and polyadic algebras; relation algebras (03G15)

Cited In (16)

• Modeling linear logic with implicit functions
• The Scott model of linear logic is the extensional collapse of its relational model
• Relational semantics for full linear logic
• Linear logic as a logic of computations
• The semantics and proof theory of linear logic
• Models of linear logic
• Linear Logic and Exceptions
• Relational model of second order linear logic
• Relational semantics for a fragment of linear logic
• Exploring the gap between linear and classical logic
• The relational model is injective for multiplicative exponential linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards the knowledge in coalgebraic model of IDS
• Parametric linear dynamic logic

This page was built for publication:

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