Substitutionless predicate logic with identity

Archive for Mathematical Logic 7 (3-4):102-121 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01969435

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

On Tarski's formalization of predicate logic with identity.Donald Kalish & Richard Montague - 1965 - Archive for Mathematical Logic 7 (3-4):81-101.
A simplified formalization of predicate logic with identity.Alfred Tarski - 1964 - Archive for Mathematical Logic 7 (1-2):61-79.
Review: J. Donald Monk, Mathematical Logic. [REVIEW]Jeffrey B. Remmel - 1979 - Journal of Symbolic Logic 44 (2):283-284.
Retracted article: A completeness theorem for continuous predicate modal logic.Stefano Baratella - 2017 - Archive for Mathematical Logic 56 (7-8):1135-1135.
Predicate calculus and naive set theory in pure combinatory logic.M. W. Bunder - 1981 - Archive for Mathematical Logic 21 (1):169-177.
Set theory in predicate calculus with equality.M. W. Bunder - 1983 - Archive for Mathematical Logic 23 (1):109-113.
Predicate calculus of arbitrarily high finite order.M. W. Bunder - 1983 - Archive for Mathematical Logic 23 (1):1-10.
Model existence theorem in superrelevant predicate logics.Mirosław Szatkowski - 1987 - Archive for Mathematical Logic 26 (1):111-121.
J. Donald Monk. Mathematical logic. Graduate texts in mathematics, no. 37. Springer-Verlag, New York, Heidelberg, and Berlin, 1976, x + 531 pp. [REVIEW]Jeffrey B. Remmel - 1979 - Journal of Symbolic Logic 44 (2):283-284.
Donald Monk. On representable relation algebras. The Michigan mathematical journal, vol. 11 , pp. 207–210.Thomas Frayne - 1966 - Journal of Symbolic Logic 31 (3):508-508.

Analytics

Added to PP
2020-12-03

Downloads
6 (#1,482,791)

6 months
1 (#1,723,047)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Alfred Tarski's work on general metamathematics.W. J. Blok & Don Pigozzi - 1988 - Journal of Symbolic Logic 53 (1):36-50.
Identity and quantification.Kai F. Wehmeier - 2017 - Philosophical Studies 174 (3):759-770.
A Finitely Axiomatized Formalization of Predicate Calculus with Equality.Norman D. Megill - 1995 - Notre Dame Journal of Formal Logic 36 (3):435-453.

Add more citations

References found in this work

No references found.

Add more references