The Hauptsatz for Stratified Comprehension - a Semantic Proof

Crabbé, Marcel
(1994) Mathematical Logic Quarterly — Vol. 40, n° 4, p. 481-489 (1994)

Files

No attached file found for this publication.

Details

Authors
Abstract
We prove the cut-elimination theorem, Gentzen's Hauptsatz, for the system for stratified comprehension, i.e. Quine's NF minus extensionality.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Crabbé, M. (1994). The Hauptsatz for Stratified Comprehension - a Semantic Proof. Mathematical Logic Quarterly, 40(4), 481-489. https://doi.org/10.1002/malq.19940400406 (Original work published 1994)