MELL in the calculus of structures
type: Item
instance of: scholarly article
title: MELL in the calculus of structures
zbMATH Open document ID: 1065.03042
DOI: 10.1016/S0304-3975(03)00240-8
author: Lutz Straßburger
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 2110996
zbMATH Keywords: calculus of structures
zbMATH Keywords: linear logic
zbMATH Keywords: proof theory
zbMATH Keywords: cut elimination
describes a project that uses: Lolli
MaRDI profile type: Publication
cites work: Games and full completeness for multiplicative linear logic
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Focussing and proof construction
cites work: A Local System for Classical Logic
cites work: Q4812967
cites work: The mix rule
cites work: Untersuchungen über das logische Schliessen. I
cites work: Untersuchungen über das logische Schliessen. II
cites work: Linear logic
cites work: Q3773876
cites work: A system of interaction and structure
cites work: Q4783301
cites work: Q4428303
cites work: Logic programming in a fragment of intuitionistic linear logic
cites work: Q3922646
cites work: The Mathematics of Sentence Structure
cites work: Forum: A multiple-conclusion specification logic
cites work: Uniform proofs as a foundation for logic programming
cites work: Q3992568
cites work: Q5559220
cites work: Q3024915
cites work: Q5483015
cites work: Q4428313
cites work: System NEL is Undecidable
description: scientific article; zbMATH DE number 2110996