A New Proof of the Church-Rosser Theorem

Journal of Symbolic Logic 21 (4):377-378 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268363

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

A Simplified Proof of the Church–Rosser Theorem.Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa - 2014 - Studia Logica 102 (1):175-183.
Review: H. B. Curry, A New Proof of the Church-Rosser Theorem. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
Church-Rosser property and intersection types.George Koletsos & George Stavrinos - 2008 - Australasian Journal of Logic 6:37-54.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
On the proof of Solovay's theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters. [REVIEW]Pierluigi Minari - 2007 - Archive for Mathematical Logic 46 (5-6):385-424.
Remarks on the church-Rosser property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.
On the proof of Solovay's theorem.Dick de Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51-69.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
An abstract church-Rosser theorem. II: Applications.R. Hindley - 1974 - Journal of Symbolic Logic 39 (1):1-21.
Rosser-Type Undecidable Sentences Based on Yablo’s Paradox.Taishi Kurahashi - 2014 - Journal of Philosophical Logic 43 (5):999-1017.
Church-Rosser theorem for typed functional systems.George Koletsos - 1985 - Journal of Symbolic Logic 50 (3):782-790.
An informal exposition of proofs of gödel's theorems and church's theorem.Barkley Rosser - 1939 - Journal of Symbolic Logic 4 (2):53-60.
Review: Laszlo Kalmar, Another Proof of the Godel-Rosser Incompletability Theorem. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):386-386.
The Church-Rosser theorem for the typed $\lambda$-calculus with surjective pairing.Garrel Pottinger - 1981 - Notre Dame Journal of Formal Logic 22 (3):264-268.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,389,828)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references