Varieties of linear calculi
type: Item
instance of: scholarly article
title: Varieties of linear calculi
zbMATH Open document ID: 1016.03065
DOI: 10.1023/A:1021264102972
author: Sara Negri
published in: Journal of Philosophical Logic
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 1901401
zbMATH Keywords: general rules
zbMATH Keywords: inversion principle
zbMATH Keywords: linear logic
zbMATH Keywords: natural deduction
zbMATH Keywords: sequent calculus
zbMATH Keywords: intuitionistic linear logic
describes a project that uses: Pesca
MaRDI profile type: Publication
cites work: Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
cites work: Permutability of proofs in intuitionistic sequent calculi
cites work: Q4474830
cites work: Q4397029
cites work: A normalizing system of natural deduction for intuitionistic linear logic
cites work: Sequent calculus in natural deduction style
cites work: Q4939407
cites work: Natural deduction with general elimination rules
cites work: Q5559220
cites work: A natural extension of natural deduction
cites work: Q4495851
cites work: Q4877107
description: scientific article; zbMATH DE number 1901401