\(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
type: Item
instance of: scholarly article
title: \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
zbMATH Open document ID: 0968.03072
DOI: 10.1016/S0168-0072(00)00029-4
author: Masahiro Hamano
published in: Annals of Pure and Applied Logic
publication date: 2001-02-11T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18C50
zbMATH DE Number: 1562995
zbMATH Keywords: categorical semantics
zbMATH Keywords: full completeness theorem
zbMATH Keywords: *-autonomous category
zbMATH Keywords: topologized vector spaces
zbMATH Keywords: cut elimination
zbMATH Keywords: denotational semantics
MaRDI profile type: Publication
cites work: Q3933122
cites work: Games and full completeness for multiplicative linear logic
cites work: Q4100554
cites work: *-autonomous categories. With an appendix by Po-Hsiang Chu
cites work: Appendix: Separability of tensor in Chu categories of vector spaces
cites work: Nonsymmetric \(^{\ast}\)-autonomous categories
cites work: Linear Läuchli semantics
cites work: The shuffle Hopf algebra and noncommutative full completeness
cites work: Q4342439
cites work: The structure of multiplicatives
cites work: Q4842966
cites work: Coherent Banach spaces: A continuous denotational semantics
cites work: Q4010357
cites work: Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
cites work: Q5619069
cites work: Q5837859
cites work: \(*\)-autonomous categories of bimodules
cites work: Q3827993
cites work: Q5590089
cites work: Quantales and (noncommutative) linear logic
description: scientific article; zbMATH DE number 1562995