Hubert H. Schneider. Semantics of the predicate calculus with identity and the validity in the empty individual-domain. Portugaliae mathematica, vol. 17 , pp. 85–96. - Hubert H. Schneider. A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains. Portugaliae mathematica, vol 20 , pp. 105–117 [Book Review]

Journal of Symbolic Logic 30 (3):385-386 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269660

Links

PhilArchive



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

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

Portugatiae mathematica:Semantics of the Predicate Calculus with Identity and the Validity in the Empty Individual-Domain.Hubert H. Schneider - 1965 - Journal of Symbolic Logic 30 (3):385-386.
Church Alonzo. Conditioned disjunction as a primitive connective for the propositional calculus. Portugaliae mathematica, vol. 7 , pp. 87–90. [REVIEW]H. E. Vaughan - 1949 - Journal of Symbolic Logic 14 (3):197-197.
Halldén Sören. A reduction of the primitive symbols of the Lewis calculi. Portugaliae mathematica, vol. 8 no. 2 , pp. 85–88. [REVIEW]Alan Rose - 1951 - Journal of Symbolic Logic 16 (3):231-231.
Götlind Erik. Some Sheffer functions in n-valued logic. Portugaliae mathematica, vol. 11 , pp. 141–149.Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (3):329-330.
Ribeiro Hugo. The notion of universal completeness. Portugaliae mathematica, vol. 15 no. 3 , pp. 83–86.Abraham Robinson - 1962 - Journal of Symbolic Logic 27 (1):97-97.
Fitch Frederic B.. Intuitionistic modal logic with quantifiers. Portugaliae mathematica, vol. 7 no. 2 , pp. 113–118.A. R. Turquette - 1950 - Journal of Symbolic Logic 14 (4):261-261.
Kruse A. H.. Grothendieck universes and the super-complete models of Shepherdson. Composite mathematica, vol. 17 , pp. 96–101. [REVIEW]J. C. Shepherdson - 1972 - Journal of Symbolic Logic 37 (3):613-613.
Evans Trevor and Hardy Lane. Sheffer stroke functions in many-valued logics. Portugaliae mathematica, vol. 16 no. 3–4 , pp. 83–93. [REVIEW]Norman M. Martin - 1959 - Journal of Symbolic Logic 24 (1):67-68.
Copi Irving M. and Harary Frank. Some properties of n-adic relations. Portugaliae mathematica, vol. 12 no. 4 , pp. 143–152. [REVIEW]Karl Egil Aubert - 1956 - Journal of Symbolic Logic 21 (3):321-321.
H. A. Pogorzelski. Recursive arithmetic of Skolem. Mathematica Scandinavica, vol. 11 , pp. 33–36. - H. A. Pogorzelski. Recursive arithmetic of Skolem II. Mathematica Scandinavica, vol. 11 , pp. 156–160. [REVIEW]R. L. Goodstein - 1964 - Journal of Symbolic Logic 29 (2):101-102.

Analytics

Added to PP
2013-11-22

Downloads
16 (#227,957)

6 months
5 (#1,552,255)

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