The Carcinogenic Example

DOI10.1093/JIGPAL/5.6.795MaRDI QIDQ4372853zbMATH OpenOpenAlexFDO

Authors William P. R. Mitchell

Publication date 14 September 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/5.6.795

zbMATH Keywords

commutative monoidscompleteness theoremmodels for propositional linear logicresource interpretation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Some Properties of Linear Logic Proved by Semantic Methods
• Models of linear logic
• The finite model property for various fragments of intuitionistic linear logic

Cited in

(2)

• Poset-valued sets or how to build models for linear logics
• The carbuncle phenomenon is incurable

This page was built for publication: The Carcinogenic Example

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