Z-modules and full completeness of multiplicative linear logic

DOI10.1016/S0168-0072(00)00029-4MaRDI QIDQ1840462zbMATH OpenFDO

Authors Masahiro Hamano

Publication date 11 February 2001

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

Full work available at URL https://doi.org/10.1016/S0168-0072(00)00029-4

zbMATH Keywords

*-autonomous categorycategorical semanticscut eliminationdenotational semanticsfull completeness theoremtopologized vector spaces

Mathematics Subject Classification ID

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

Recommendations

• Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
• Softness of hypercoherences and MALL full completeness
• scientific article; zbMATH DE number 1231581
• Linear Läuchli semantics
• Games and full completeness for multiplicative linear logic

Cites work

• *-autonomous categories. With an appendix by Po-Hsiang Chu
• *-autonomous categories of bimodules
• Appendix: Separability of tensor in Chu categories of vector spaces
• Coherent Banach spaces: A continuous denotational semantics
• Games and full completeness for multiplicative linear logic
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3747352 (Why is no real title available?)
• scientific article; zbMATH DE number 65746 (Why is no real title available?)
• scientific article; zbMATH DE number 3521025 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 3309240 (Why is no real title available?)
• scientific article; zbMATH DE number 3342819 (Why is no real title available?)
• scientific article; zbMATH DE number 3102166 (Why is no real title available?)
• Linear Läuchli semantics
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
• Quantales and (noncommutative) linear logic
• The shuffle Hopf algebra and noncommutative full completeness
• The structure of multiplicatives

Cited in

(5)

• Linear Läuchli semantics
• Constructing Fully Complete Models of Multiplicative Linear Logic
• The shuffle Hopf algebra and noncommutative full completeness
• Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
• Softness of hypercoherences and MALL full completeness

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

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