\(\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 elimination; denotational semantics; categorical semantics; *-autonomous category; full completeness theorem; topologized vector spaces

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

03G30: Categorical logic, topoi

03F05: Cut-elimination and normal-form theorems

03F07: Structure of proofs

18C50: Categorical semantics of formal languages

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

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