The completeness of combinatory logic with discriminators

Notre Dame Journal of Formal Logic 14 (3):323-330 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093890995

Links

PhilArchive



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

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

Combinatory logic with discriminators.John T. Kearns - 1969 - Journal of Symbolic Logic 34 (4):561-575.
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Journal of Symbolic Logic 63 (3):869-890.
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
Deductive completeness.Kosta Došen - 1996 - Bulletin of Symbolic Logic 2 (3):243-283.
Combinatory completeness without classical equality.David Ballard - 1988 - Journal of Philosophical Logic 17 (2):115 - 132.
Combinatory Logic: Pure, Applied and Typed.Katalin Bimbó - 2011 - Taylor & Francis.
Semantics for dual and symmetric combinatory calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.
Combinatory reduction systems.Jan Willem Klop - 1980 - Amsterdam: Mathematisch centrum.
The axiom of choice and combinatory logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
On the existence of extensional partial combinatory algebras.Ingemarie Bethke - 1987 - Journal of Symbolic Logic 52 (3):819-833.
Elements of combinatory logic.Frederic Brenton Fitch - 1974 - New Haven,: Yale University Press.
Introduction to combinatory logic.Sören Stenlund - 1971 - Uppsala,: Uppsala universitetet, Filosofiska föreningen och Filosofiska institutionen.
The combinatory programme.Erwin Engeler (ed.) - 1995 - Boston: Birkhäuser.

Analytics

Added to PP
2010-08-24

Downloads
18 (#811,325)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John T. Kearns
State University of New York, Buffalo

Citations of this work

A combinatory account of internal structure.Barry Jay & Thomas Given-Wilson - 2011 - Journal of Symbolic Logic 76 (3):807 - 826.
The Logic of Calculation.John T. Kearns - 1977 - Mathematical Logic Quarterly 23 (1-6):45-58.
On the interpretation of combinators with weak reduction.L. V. Shabunin - 1983 - Journal of Symbolic Logic 48 (3):558-563.

Add more citations

References found in this work

No references found.

Add more references