Constructing Fully Complete Models of Multiplicative Linear Logic

DOI10.2168/LMCS-11(3:6)2015zbMath1347.03110MaRDI QIDQ3196336

Andrea Schalk, Hugh Paul Steele

Publication date: 29 October 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

linear logictensor calculuscompact closed categoriesfull completeness\(\ast\)-autonomous categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Constructing Fully Complete Models of Multiplicative Linear Logic