Cut Elimination in Transfinite Type Theory

Mathematical Logic Quarterly 19 (8-10):141-162 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19730190805

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,945

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Epsilon substitution for transfinite induction.Henry Towsner - 2005 - Archive for Mathematical Logic 44 (4):397-412.
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics.Kenneth A. Bowen - 1974 - Mathematical Logic Quarterly 20 (23-24):355-372.
Cut elimination for propositional dynamic logic without.Robert A. Bull - 1992 - Mathematical Logic Quarterly 38 (1):85-100.
Cut Elimination in ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20-21):311-316.
A Syntactic Proof of Cut‐Elimination For GLlin.S. Valentini - 1986 - Mathematical Logic Quarterly 32 (7‐9):137-144.
An Addition to “Cut Elimination in ϵ‐Calculi”.Mitsuru Yasuhara - 1989 - Mathematical Logic Quarterly 35 (6):483-484.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Cut‐Elimination Theorem for the Logic of Constant Domains.Ryo Kashima & Tatsuya Shimura - 1994 - Mathematical Logic Quarterly 40 (2):153-172.

Analytics

Added to PP
2013-11-24

Downloads
58 (#399,008)

6 months
17 (#173,356)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Elements of symbolic logic.Hans Reichenbach - 1980 - London: Dover Publications.
Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
Principia mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130.
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
Proof theory.Gaisi Takeuti - 1987 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..

View all 19 references / Add more references