A consistent combinatory logic with an inverse to equality

Journal of Symbolic Logic 45 (3):529-543 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273420

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Review: Frederic B. Fitch, Elements of Combinatory Logic. [REVIEW]Bruce Lercher - 1976 - Journal of Symbolic Logic 41 (4):789-790.
Review: Frederic B. Fitch, The System $CDelta$ of Combinatory Logic. [REVIEW]Bruce Lercher - 1964 - Journal of Symbolic Logic 29 (4):198-199.
Frederic B. Fitch. The system CΔ of combinatory logic. The journal of symbolic logic, vol. 28 no. 1 , pp. 87–97.Bruce Lercher - 1964 - Journal of Symbolic Logic 29 (4):198-199.
Review: Frederic B. Fitch, (Sintez cifrovyh avtomatov):Representation of Sequential Circuits in Combinatory Logic. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (3):380-380.
Review: Frederic B. Fitch, A Theory of Logical Essences; Frederic B. Fitch, A Complete and Consistent Modal Set Theory. [REVIEW]Bede Rundle - 1969 - Journal of Symbolic Logic 34 (1):125-125.
Frederic B. Fitch. Representation of sequential circuits in combinatory logic. Philosophy of science, vol. 25 , pp. 263–279. [REVIEW]Robert McNaughton - 1965 - Journal of Symbolic Logic 30 (3):380.
Fitch Frederic B.. Elements of combinatory logic. Yale University Press, New Haven and London 1974, viii + 162 pp. [REVIEW]Bruce Lercher - 1976 - Journal of Symbolic Logic 41 (4):789-790.
Fitch Frederic B.. A demonstrably consistent mathematics. [REVIEW]R. M. Martin - 1951 - Journal of Symbolic Logic 16 (4):268-269.
Frederic B. Fitch. A theory of logical essences. The monist, vol. 51 , pp. 104–109. - Frederic B. Fitch. A complete and consistent modal set theory. The journal of symbolic logic, vol. 32 , pp. 93–103. [REVIEW]Bede Rundle - 1969 - Journal of Symbolic Logic 34 (1):125.
Review: Frederic B. Fitch, A Further Consistent Extension of Basic Logic. [REVIEW]S. C. Kleene - 1950 - Journal of Symbolic Logic 15 (3):219-220.

Analytics

Added to PP
2009-01-28

Downloads
28 (#558,165)

6 months
2 (#1,448,741)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Property theory: The Type-Free Approach v. the Church Approach.George Bealer - 1994 - Journal of Philosophical Logic 23 (2):139 - 171.

Add more citations

References found in this work

Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.
Universal Metalanguages for Philosophy.Frederic B. Fitch - 1964 - Review of Metaphysics 17 (3):396 - 402.
Elements of Combinatory Logic.Bruce Lercher - 1974 - Journal of Symbolic Logic 41 (4):789-790.

Add more references