Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)

DOI10.1017/S0960129599003072zbMATH Open0955.03068OpenAlexW1984173115MaRDI QIDQ4487271FDOQ4487271

Authors: Masahiro Hamano 

Publication date: 24 July 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129599003072

Recommendations

• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• Linear Läuchli semantics
• Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
• Softness of hypercoherences and MALL full completeness
• scientific article; zbMATH DE number 1231581

zbMATH Keywords

categorical logicmultiplicative linear logic*-autonomous categories

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Models of other mathematical theories (03C65)

Cited In (4)

• A categorical semantics for polarized MALL
• Constructing Fully Complete Models of Multiplicative Linear Logic
• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• Softness of hypercoherences and MALL full completeness

This page was built for publication: Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)

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