On Tarski's formalization of predicate logic with identity

&
Archive for Mathematical Logic 7 (3-4):81-101 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01969434

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,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

A simplified formalization of predicate logic with identity.Alfred Tarski - 1964 - Archive for Mathematical Logic 7 (1-2):61-79.
Donald Kalish and Richard Montague. Logic. Techniques of formal reasoning. Harcourt, Brace & World, Inc., New York and Burlingame 1964, x + 350 pp. [REVIEW]B. H. Mayoh - 1970 - Journal of Symbolic Logic 34 (4):641-642.
Montague Richard and Kalish Donald. Remarks on descriptions and natural deduction. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 50–64, 65–73. [REVIEW]Jaakko Hintikka - 1958 - Journal of Symbolic Logic 23 (4):449-450.
Substitutionless predicate logic with identity.Donald Monk - 1965 - Archive for Mathematical Logic 7 (3-4):102-121.
Modal Logic Kalish-and-Montague Style.Nathan Salmon - 2005 - In Nathan U. Salmon (ed.), _Metaphysics, Mathematics, and Meaning: Philosophical Papers I_. New York: Oxford University Press. pp. 111-118.
Modal Logic Kalish-and-Montague Style.Nathan Salmon - 2005 - In Nathan U. Salmon (ed.), _Metaphysics, Mathematics, and Meaning: Philosophical Papers I_. New York: Oxford University Press. pp. 111-118.
Review: Alfred Tarski, A Simplified Formalization of Predicate Logic with Identity. [REVIEW]J. C. Shepherdson - 1974 - Journal of Symbolic Logic 39 (3):602-603.

Analytics

Added to PP
2020-12-03

Downloads
12 (#1,361,137)

6 months
7 (#669,170)

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.
Nonstandard theories of quantification and identity.A. Trew - 1970 - Journal of Symbolic Logic 35 (2):267-294.
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