Stratification and cut-elimination
type: Item
instance of: scholarly article
title: Stratification and cut-elimination
zbMATH Open document ID: 0735.03027
DOI: 10.2307/2274915
author: Marcel Crabbé
published in: Journal of Symbolic Logic
publication date: 1992-06-26T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03E70
zbMATH DE Number: 21873
zbMATH Keywords: normalization of proofs
zbMATH Keywords: New Foundations minus extensionality
zbMATH Keywords: Stratified Foundations
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2274915
OpenAlex ID: W1976645049
cites work: The Axiom of Choice in Quine's New Foundations for Mathematical Logic
cites work: Q5623646
cites work: On the consistency of a slight (?) modification of Quine's 'New Foundations'
cites work: Q5565113
description: scientific article; zbMATH DE number 21873