User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

The Hauptsatz for Stratified Comprehension - a Semantic Proof

Primary tabs

Crabbe, Marcel [UCL]

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

Document type Article de périodique (Journal article) – Article de recherche
Publication date 1994
Language Anglais
Journal information "Mathematical Logic Quarterly" - Vol. 40, no. 4, p. 481-489 (1994)
Peer reviewed yes
Publisher Johann Ambrosius Barth Verlag (Heidelberg)
issn 0942-5616
e-issn 1521-3870
Publication status Publié
Affiliation UCL
Keywords PROOF THEORY ; NEW FOUNDATIONS ; TYPE THEORY ; CUT ELIMINATION
Links
  1. ZFJ and the consistency problem for NF. Jahrbuch der Kurt Gödel Gesellschaft, 1988, pp. 102–106.
  2. Crabbé, J. Symb. Logic, 56, 213 (1991)
  3. Crabbé, Notre-Dame J. Formal Logic, 33, 112 (1992)
  4. Soyons positifs. In: L'anti-fondation en logique et en théorie des ensembles, Cahiers du Centre de Logique, n° 7, Academia, Louvain-la-Neuve 1992, pp. 51–68.
  5. Set theory with a universal set, an exploration of an untyped universe. Oxford Logic Guides n° 20, Clarendon Press, Oxford, 1992.
  6. Proof Theory and Logical Complexity I. Bibliopolis, Naples 1987.
  7. Holmes, Modern Logic
  8. Jensen, Synthese, 19, 250 (1968/69)
  9. Prawitz, J. Symb. Logic, 33, 452 (1968)
  10. Takahashi, Japan. J. Math., 19, 399 (1967)
  11. Proof Theory. North-Holland Publ. Comp., Amsterdam 1975.
Bibliographic reference Crabbe, Marcel. The Hauptsatz for Stratified Comprehension - a Semantic Proof. In: Mathematical Logic Quarterly, Vol. 40, no. 4, p. 481-489 (1994)
Permanent URL http://hdl.handle.net/2078.1/48572