\(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic

DOI10.1016/S0168-0072(00)00029-4zbMath0968.03072MaRDI QIDQ1840462

Masahiro Hamano

Publication date: 11 February 2001

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

cut eliminationdenotational semanticscategorical semantics*-autonomous categoryfull completeness theoremtopologized vector spaces

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Categorical semantics of formal languages (18C50) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Softness of hypercoherences and MALL full completeness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Nonsymmetric \(^{\ast}\)-autonomous categories
• The structure of multiplicatives
• \(*\)-autonomous categories of bimodules
• Coherent Banach spaces: A continuous denotational semantics
• Linear Läuchli semantics
• Quantales and (noncommutative) linear logic
• The shuffle Hopf algebra and noncommutative full completeness
• Games and full completeness for multiplicative linear logic
• Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
• Appendix: Separability of tensor in Chu categories of vector spaces

This page was built for publication: \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic