Which structural rules admit cut elimination? An algebraic criterion
type: Item
instance of: scholarly article
title: Which structural rules admit cut elimination? An algebraic criterion
zbMATH Open document ID: 1128.03048
author: Kazushige Terui
published in: Journal of Symbolic Logic
publication date: 2007-10-17T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.jsl/1191333839
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 5201538
zbMATH Keywords: cut elimination
zbMATH Keywords: Lambek calulus
MaRDI profile type: Publication
OpenAlex ID: W2170289322
cites work: Q4692942
cites work: Language in action. Categories, lambdas and dynamic logic
cites work: Q4495851
cites work: Q4805593
cites work: Q4309506
DOI: 10.2178/JSL/1191333839
description: scientific article; zbMATH DE number 5201538