Angelo Margaris. A problem of Rosser and Turquette. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 271–279 [Book Review]

Journal of Symbolic Logic 34 (2):304-305 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271128

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

Angelo Margaris. A problem of Rosser and Turquette. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 271–279. [REVIEW]Angelo Margaris - 1969 - Journal of Symbolic Logic 34 (2):304-305.
Alan Rose. An extension of a theorem of Margaris. The journal of symbolic logic, vol. 25 no. 3 (for 1960, pub. 1962), pp. 209–211. [REVIEW]Akira Nakamura - 1969 - Journal of Symbolic Logic 34 (2):305-305.
A problem of Rosser and Turquette.Angelo Margaris - 1958 - Journal of Symbolic Logic 23 (3):271-279.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
Nakamura Akira. Yôsô ronri to tati ronri no kankei ni tuite . Kagaku kisoron kenkyû , vol. 6 no. 1 , pp. 34–40, and vol. 6 no. 4 , pp. 15–20. [REVIEW]Takeo Sugihara - 1970 - Journal of Symbolic Logic 35 (4):582-582.
Review: A. R. Turquette, Solution to a Problem of Rose and Rosser. [REVIEW]Louise Hay - 1966 - Journal of Symbolic Logic 31 (4):664-665.
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 , pp. 177–192. [REVIEW]Burton Spencer Dreben - 1950 - Journal of Symbolic Logic 14 (4):259-260.
Akira Nakamura. Tati ronri to sono kôrikei ni tuite . Kagaku kisoron kenkyû , vol. 5 no. 4 , pp. 165–171.Takeo Sugihara - 1966 - Journal of Symbolic Logic 31 (2):274-275.
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part II. Deductive completeness. The journal of symbolic logic, vol. 16 , pp. 22–34. See Errata, ibid., p. iv.Burton Spencer Dreben, J. B. Rosser & A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (4):269.
Atwell R. Turquette. Independent axioms for infinite-valued logic. The journal of symbolic logic, vol. 28 no. 3 , pp. 217–221.Louise Hay - 1966 - Journal of Symbolic Logic 31 (4):665.

Analytics

Added to PP
2013-11-22

Downloads
43 (#523,849)

6 months
6 (#888,477)

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