Reduction to a symmetric predicate

Journal of Symbolic Logic 21 (1):56-59 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268487

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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: W. V. Quine, Reduction to a Dyadic Predicate; Alan Cobham, Reduction to a Symmetric Predicate. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):297-297.
Review: Alan Cobham, Effectively Decidable Theories. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):653-653.
Alan Cobham. Some remarks concerning theories with recursively enumerable complements. The journal of symbolic logic, vol. 28 no. 1 , pp. 72–74. [REVIEW]W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):255-255.
Review: Alan Cobham, Yehoshua Bar-Hillel, The Intrinsic Computational Difficulty of Functions. [REVIEW]Stephen A. Cook - 1969 - Journal of Symbolic Logic 34 (4):657-657.
Cobham Alan. Effectively decidable theories. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 391–395. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):653-653.
On reduction to a symmetric relation.William Craig & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):188.
On Reduction to a Symmetric Relation.William Craig & W. V. Quine - 1953 - Journal of Symbolic Logic 18 (3):269-269.
A reduction theorem for predicate logic.M. H. Löb - 1972 - Journal of Symbolic Logic 37 (2):352-354.
Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 24–30. [REVIEW]Stephen A. Cook - 1970 - Journal of Symbolic Logic 34 (4):657-657.
Reduction to a Dyadic Predicate.W. V. Quine & Alan Cobham - 1957 - Journal of Symbolic Logic 22 (3):297-297.

Analytics

Added to PP
2009-01-28

Downloads
32 (#127,447)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Symmetric relations, symmetric theories, and Pythagrapheanism.Tim Button - 2022 - Philosophy and Phenomenological Research (3):583-612.

Add more citations

References found in this work

No references found.

Add more references