Algebraic aspects of cut elimination
type: Item
instance of: scholarly article
title: Algebraic aspects of cut elimination
zbMATH Open document ID: 1064.03014
author: Francesco Belardinelli
author: Peter Jipsen
author: Hiroakira Ono
published in: Studia Logica
publication date: 2005-04-07T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03G10
zbMATH DE Number: 2153732
zbMATH Keywords: Algebraic Gentzen systems
zbMATH Keywords: cut elimination
zbMATH Keywords: substructural logics
zbMATH Keywords: residuated lattices
zbMATH Keywords: finite model property
MaRDI profile type: Publication
full work available at URL: b:stud.0000037127.15182.2a
OpenAlex ID: W2042396269
DOI: 10.1023/B:STUD.0000037127.15182.2A
Recommended article: Algebraic proofs of cut elimination
Recommended article: Algebraic cuts
Recommended article: Algebraic cutting equations
Recommended article: The Algebra of Elimination
Recommended article: Towards an algorithmic construction of cut-elimination procedures
Recommended article: Q4234320
Recommended article: Q3807192
Recommended article: Computer Science Logic
Recommended article: Q4418122
Recommended article: Structure of proofs and the complexity of cut elimination
description: scientific article; zbMATH DE number 2153732