References
Berry, G. D. W. On Quine's axioms of quantification,J. Symb. Logic, 6 (1941), 23–27.
Church, A.Introduction to mathematical logic, vol. 1, Princeton, 1956.
Henkin, L. The completeness of the first-order functional calculus,J. Symb. Logic, 14 (1949), 159–166.
Henkin, L. and Tarski, A. Cylindric algebras,Proc. of Symposia in Pure Math., v. 2,Lattice Theory, Amer. Math. Soc., 83–113.
Fitch, F. B. Closure and Quine's*101,J. Symb. Logic 6 (1941), 18–22.
Kalish, D., and Montague, R. A simplification of Tarski's formulation of the predicate calculus (abstract),Bull. Amer. Math. Soc., 62 (1956), 261.
Kalish, D. and Montague, R. Remarks on descriptions and natural deduction,Arch. f. Math. Logik u. Grundl., 3 (1957), 50–73.
Kalish, D. and Montague, R. On Tarski's formalization of predicate logic with identity,Arch. f. Math. Logik u. Grundl., 7 (1965), 81–101.
Łukasiewicz,J. Elementy logiki matematycznej, Warsaw, 1929.
Monk, D. Substitutionless predicate logic with identity.Arch. f. Math. Logik u. Grundl., 7 (1965), 102–121.
Porte, J. Un système de postulats pour le calcul des prédicats,C. R. l'Acad. des Sciences, Paris, 245 (1957), 817–819.
Quine, W. V. O.Mathematical Logic, Cambridge, 1947.
Tarski, A.Logic, semantics, metamathematics, Papers from 1923to 1938, Oxford, 1956.
Tarski, A. Remarks on the formalization of the predicate calculus (abstract),Bull. Amer. Math. Soc., 57 (1951), 81–82.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Tarski, A. A simplified formalization of predicate logic with identity. Arch math Logik 7, 61–79 (1964). https://doi.org/10.1007/BF01972461
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01972461