More download options

Cut Elimination in Transfinite Type Theory

Kenneth A. Bowen

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

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Proof Theory in Logic and Philosophy of Logic

Keywords

Reprint years

DOI

10.1002/malq.19730190805

Links

PhilArchive

Upload a copy of this work Papers currently archived: 92,953

External links

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

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Cut Elimination in Transfinite Type Theory.Kenneth A. Bowen - 1973 - Mathematical Logic Quarterly 19 (8‐10):141-162.

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.

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.

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.

Analytics

Added to PP
2016-02-04

Downloads
26 (#630,134)

6 months
1 (#1,514,069)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Gentzen’s “cut rule” and quantum measurement in terms of Hilbert arithmetic. Metaphor and understanding modeled formally.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal 14 (14):1-37.

Add more citations

References found in this work

Elements of symbolic logic.Hans Reichenbach - 1947 - London: Dover Publications.

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.

Principia mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130.

Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..

Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.

View all 18 references / Add more references