Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
type: Item
instance of: scholarly article
title: Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
zbMATH Open document ID: 0954.03062
DOI: 10.1023/A:1005099619660
author: Roy Dyckhoff
author: Luís Pinto
published in: Studia Logica
publication date: 2000-09-04T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 1501369
zbMATH Keywords: normalisation
zbMATH Keywords: termination
zbMATH Keywords: sequent calculus
zbMATH Keywords: natural deduction
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: cut-elimination
zbMATH Keywords: recursive path ordering
MaRDI profile type: Publication
full work available at URL: a:1005099619660
OpenAlex ID: W1506616756
description: scientific article; zbMATH DE number 1501369