Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
type: Item
instance of: scholarly article
title: Extending the First Gentzen's Consistency Proof to the Intuitionistic Case
zbMATH Open document ID: 1061.03067
author: María Fernanda Pallares
publication date: 2005-03-11T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 2144297
zbMATH Keywords: proof theory
zbMATH Keywords: Gentzen
zbMATH Keywords: consistency
zbMATH Keywords: Peano arithmetic
zbMATH Keywords: reduction process for sequents
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/jigpal/12.6.549
OpenAlex ID: W2014977518
DOI: 10.1093/JIGPAL/12.6.549
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 2144297