A simplified semantics for a fragment of intuitionistic linear logic

MaRDI QIDQ3433179zbMATH OpenFDO

Authors Norihiro Kamide

Publication date 27 April 2007

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 218517
• scientific article; zbMATH DE number 786485
• Kripke models for linear logic
• scientific article; zbMATH DE number 1361538
• Some Properties of Linear Logic Proved by Semantic Methods

Cited in

(7)

• scientific article; zbMATH DE number 218517 (Why is no real title available?)
• Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
• Non-normal modalities in variants of linear logic
• Kripke models for linear logic
• scientific article; zbMATH DE number 4108721 (Why is no real title available?)
• A simplified account of the metatheory of linear LF
• A fragment of intuitionistic dynamic logic

This page was built for publication: A simplified semantics for a fragment of intuitionistic linear logic

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