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

DOI10.1017/S0960129599003072MaRDI QIDQ4487271zbMATH OpenOpenAlexFDO

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

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)

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

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)