Skip to main content
SpringerLink
Log in

On Tarski's formalization of predicate logic with identity

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Church, A.Introduction to mathematical logic, vol. 1, Princeton, 1956.

  2. Herbrand, J. Sur la théorie de la demonstration,Comptes Rendus des Séances de l'Académie des Sciences (Paris),186 (1928), 1274–1276.

    Google Scholar 

  3. Montague, R.Contributions to the axiomatic foundations of set theory, deposited in the University of California Library, Berkeley.

  4. Montague, R. and Kalish, D. A simplification of Tarski's formulation of the predicate calculus (abstract),Bull. Amer. Math. Soc., 62 (1956), 261.

    Google Scholar 

  5. Montague, R. and Kalish, D. Formulations of the predicate calculus with operation symbols and descriptive phrases (abstract),Bull. Amer. Math. Soc., 62 (1956), 261.

    Google Scholar 

  6. Mostowski, A. Rules of proof in the pure functional calculus,J. Symb. Logic, 16 (1951), 107–111.

    Google Scholar 

  7. Quine, W. V. Quantification and the empty domain,J. Symb. Logic, 19 (1954), 177–179.

    Google Scholar 

  8. Tarski, A. Über einige fundamentale Begriffe der Metamathematik,Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III,23 (1930), 22–29.

    Google Scholar 

  9. Tarski, A. Remarks on the formalization of the predicate calculus (abstract),Bull. Amer. Math. Soc., 57 (1951), 81–82.

    Google Scholar 

  10. Tarski, A. A simplified formalization of predicate logic with identity,Arch. f. Math. Logik u. Grundl., 7 (1965), 61–79.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Berkeley, Calif.

    Donald Kalish & Richard Montague

  2. University of California, Los Angeles

    Donald Kalish & Richard Montague

Authors
  1. Donald Kalish
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard Montague
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kalish, D., Montague, R. On Tarski's formalization of predicate logic with identity. Arch math Logik 7, 81–101 (1965). https://doi.org/10.1007/BF01969434

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01969434

Keywords

Search

Navigation