Towards an algorithmic construction of cut-elimination procedures
type: Item
instance of: scholarly article
title: Towards an algorithmic construction of cut-elimination procedures
zbMATH Open document ID: 1138.03043
DOI: 10.1017/S0960129507006573
author: Agata Ciabattoni
author: Alexander Leitsch
published in: Mathematical Structures in Computer Science
publication date: 2008-04-10T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 5262035
zbMATH Keywords: cut elimination
zbMATH Keywords: substructural logics
zbMATH Keywords: sequent calculi
zbMATH Keywords: knotted structural rules
zbMATH Keywords: resolution
MaRDI profile type: MaRDI publication profile
cites work: Extending intuitionistic linear logic with knotted structural rules
cites work: Q4331764
cites work: Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
cites work: Towards a semantic characterization of cut-elimination
cites work: Automated complexity analysis based on ordered resolution
cites work: Cut-elimination and redundancy-elimination by resolution
cites work: Implication of clauses is undecidable
cites work: Non-deterministic Multiple-valued Structures
cites work: Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
cites work: On the Specification of Sequent Systems
cites work: Untersuchungen über das logische Schliessen. I
description: scientific article; zbMATH DE number 5262035