Softness of hypercoherences and MALL full completeness
type: Item
instance of: scholarly article
title: Softness of hypercoherences and MALL full completeness
zbMATH Open document ID: 1065.03041
author: Masahiro Hamano
author: Richard Blute
author: Philip Scott
published in: Annals of Pure and Applied Logic
publication date: 2005-01-31T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 2131591
zbMATH Keywords: full completeness
zbMATH Keywords: multiplicative-additive linear logic
zbMATH Keywords: category of hypercoherences
zbMATH Keywords: dinatural transformation
zbMATH Keywords: softness
zbMATH Keywords: MALL proof-net
MaRDI profile type: Publication
full work available at URL: j.apal.2004.05.002
OpenAlex ID: W2024042018
cites work: Games and full completeness for multiplicative linear logic
cites work: Q3506860
cites work: Functorial polymorphism
cites work: *-Autonomous categories and linear logic
cites work: Linear logic, coherence and dinaturality
cites work: Natural deduction and coherence for weakly distributive categories
cites work: Linear Läuchli semantics
cites work: The shuffle Hopf algebra and noncommutative full completeness
cites work: Q3138537
cites work: The structure of multiplicatives
cites work: Q4842966
cites work: Q4896506
cites work: Q4263837
cites work: On the meaning of logical rules. II: Multiplicatives and additives
cites work: Locus solum: From the rules of logic to the logic of rules.
cites work: Q4010357
cites work: Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
cites work: \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
cites work: Softness of MALL proof-structures and a correctness criterion with Mix
cites work: A categorical semantics for polarized MALL
cites work: Proof nets for unit-free multiplicative-additive linear logic
cites work: Coherence completions of categories
cites work: Q4876241
cites work: Q4222770
cites work: Q4263872
DOI: 10.1016/J.APAL.2004.05.002
description: scientific article; zbMATH DE number 2131591