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: 92,497

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.
Probability: A new logico-semantical approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
On a modal-type language for the predicate calculus.Dimiter Skordev - 1984 - Bulletin of the Section of Logic 13 (3):111-116.
Logic & Natural Language: On Plural Reference and its Semantic and Logical Significance.Hanoch Ben-Yami - 2004 - Routledge.
A note on satisfaction, truth and the empty domain.Timothy Williamson - unknown
A note on truth, satisfaction and the empty domain.Timothy Williamson - 1999 - Analysis 59 (1):3–8.
Kleene S. C.. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 1–26.Kleene S. C.. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 27–66.Kleene S. C.. Bibliography. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 67–68.Craig William. On axiomatizability within a system. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (1):62-63.
Wittgensteinian Tableaux, Identity, and Co-Denotation.Kai F. Wehmeier - 2008 - Erkenntnis 69 (3):363-376.
The monadic hybrid calculus.Omar Alaqeeli & William Wadge - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):33-49.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain.Vladimir A. Smirnov - 1987 - Studia Logica 46 (1):1 - 15.
Complete problems in the first-order predicate calculus.David A. Plaisted - 1979 - Urbana, Ill.: Dept. of Computer Science, University of Illinois at Urbana-Champaign.

Analytics

Added to PP
2013-11-22

Downloads
21 (#743,384)

6 months
4 (#799,256)

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