Models of linear logic

DOI10.1007/BF02358992MaRDI QIDQ1807458zbMATH OpenOpenAlexFDO

Authors Yanyan Li, Mario Bergeron, William S. Hatcher

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 modelminimal linear logicmodels for subsystems of linear logicmultiset theorynonmodal 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
• Linear logic
• A modal view of linear logic
• Linear reasoning in modal logic
• Building models of linear logic. (Extended abstract)
• scientific article; zbMATH DE number 1499096

Cited in

(13)

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

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)