The additive multiboxes
type: Item
instance of: scholarly article
title: The additive multiboxes
zbMATH Open document ID: 1039.03046
DOI: 10.1016/S0168-0072(02)00042-8
author: Lorenzo Tortora de Falco
published in: Annals of Pure and Applied Logic
publication date: 2003-03-16T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1882252
zbMATH Keywords: linear logic
zbMATH Keywords: cut elimination
zbMATH Keywords: proof-nets
zbMATH Keywords: additives
zbMATH Keywords: multiboxes
MaRDI profile type: Publication
cites work: Q3357521
cites work: Linear logic and elementary time
cites work: A new deconstructive logic: linear logic
cites work: The structure of multiplicatives
cites work: Q4842980
cites work: Linear logic
cites work: A new constructive logic: classic logic
cites work: Light linear logic
cites work: Q4896506
cites work: Q4263837
cites work: On the meaning of logical rules. II: Multiplicatives and additives
cites work: Q4263872
cites work: Homology of proof-nets
cites work: Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
full work available at URL: s0168-0072(02)00042-8
OpenAlex ID: W2094993595
description: scientific article; zbMATH DE number 1882252