The Carcinogenic Example

DOI10.1093/jigpal/5.6.795zbMath0895.03003OpenAlexW2160381483MaRDI QIDQ4372853

William P. R. Mitchell

Publication date: 14 September 1998

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

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

zbMATH Keywords

completeness theoremcommutative monoidsresource interpretationmodels for propositional linear logic

Mathematics Subject Classification ID

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

Related Items

Poset-valued sets or how to build models for linear logics