Planar and braided proof-nets for multiplicative linear logic with mix
type: Item
instance of: scholarly article
title: Planar and braided proof-nets for multiplicative linear logic with mix
zbMATH Open document ID: 0905.03037
author: A. Fleury
author: Gianluigi Bellin
published in: Archive for Mathematical Logic
publication date: 1999-02-02T00:00:00Z
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 05C10
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1210620
zbMATH Keywords: planar proof-nets
zbMATH Keywords: projections under regular isotopy
zbMATH Keywords: braided proof-nets
zbMATH Keywords: noncommutative proof-nets
zbMATH Keywords: explicit exchange rule
zbMATH Keywords: CW-complexes
zbMATH Keywords: correctness
zbMATH Keywords: planar graphs
zbMATH Keywords: multiplicative linear logic with Mix
zbMATH Keywords: cut-elimination theorem
MaRDI profile type: Publication
full work available at URL: s001530050101
OpenAlex ID: W2073924651
DOI: 10.1007/S001530050101
description: scientific article; zbMATH DE number 1210620