Gentzen's second consistency proof and strong cut-elimination
type: Item
instance of: scholarly article
zbMATH Open document ID: 0976.03061
author: Edward Hermann Haeusler
author: Luiz Carlos Pereira
publication date: 2001-09-04T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 1641302
zbMATH Keywords: consistency
zbMATH Keywords: classical propositional logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: strong cut-elimination
MaRDI profile type: Publication
Recommended article: Q4249227
Recommended article: Some applications of Gentzens second consistency proof
Recommended article: Q4648945
Recommended article: Gentzen’s Consistency Proof in Context
Recommended article: From Stenius' consistency proof to Schütte's cut elimination for \(\omega\)-arithmetic
Recommended article: A Simple Proof That Super-Consistency Implies Cut Elimination
Recommended article: A simple proof that super-consistency implies cut elimination
Recommended article: On Gentzen’s Structural Completeness Proof
Recommended article: Cut-Elimination and Proof Schemata
Recommended article: Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms
title: Gentzen's second consistency proof and strong cut-elimination
published in: Logique et Analyse. Nouvelle Série
description: scientific article; zbMATH DE number 1641302