Models of linear logic

DOI10.1007/BF02358992zbMATH Open0934.03028OpenAlexW2087160096MaRDI QIDQ1807458FDOQ1807458

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

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

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)

Cites Work

• Title not available (Why is that?)

Cited In (11)

• Modeling linear logic with implicit functions
• A logical model of HCP
• Linear Logic and Exceptions
• An Infinitary Model of Linear Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axioms and models of linear logic
• Linear modalities in mininal logic
• Title not available (Why is that?)
• 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)