Models of linear logic

DOI10.1007/BF02358992zbMath0934.03028OpenAlexW2087160096MaRDI QIDQ1807458

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)

Cites Work

• Unnamed Item

This page was built for publication: Models of linear logic