Models of linear logic

DOI10.1007/BF02358992MaRDI QIDQ1807458zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 22 November 1999

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02358992

zbMATH Keywords

generic modelmultiset theoryminimal linear logicmodels for subsystems of linear logicnonmodal linear logicpositive linear logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Axioms and models of linear logic
• Kripke models for linear logic
• scientific article; zbMATH DE number 1678395
• scientific article; zbMATH DE number 17706
• Linear logic
• scientific article; zbMATH DE number 1086632
• A modal view of linear logic
• Linear reasoning in modal logic
• scientific article; zbMATH DE number 1303730
• scientific article; zbMATH DE number 1499096

Cited in

(11)

• An Infinitary Model of Linear Logic
• scientific article; zbMATH DE number 1678365 (Why is no real title available?)
• Axioms and models of linear logic
• Modeling linear logic with implicit functions
• Linear Logic and Exceptions
• scientific article; zbMATH DE number 5064932 (Why is no real title available?)
• scientific article; zbMATH DE number 17706 (Why is no real title available?)
• Linear modalities in mininal logic
• A logical model of HCP
• scientific article; zbMATH DE number 7439427 (Why is no real title available?)
• A Note on Linear Kripke Models

This page was built for publication: Models of linear logic

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