Stratification and cut-elimination

DOI10.2307/2274915zbMath0735.03027OpenAlexW1976645049MaRDI QIDQ3981455

Marcel Crabbé

Publication date: 26 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274915

zbMATH Keywords

normalization of proofsStratified FoundationsNew Foundations minus extensionality

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Nonclassical and second-order set theories (03E70)

Related Items (1)

On the Convergence of Reduction-based and Model-based Methods in Proof Theory

Cites Work

• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Stratification and cut-elimination