On Tarski's formalization of predicate logic with identity-Reference-Cited by-同舟云学术

On Tarski's formalization of predicate logic with identity

Published:1965-05 Issue:3-4 Volume:7 Page:81-101
ISSN:0933-5846
Container-title:Archiv für Mathematische Logik und Grundlagenforschung
language:en
Short-container-title:Arch math Logik

Author:

Kalish Donald,Montague Richard

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/BF01969434.pdf

Reference10 articles.

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.

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.

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.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rudiments of First-Order Logic (FO);Intelligent Systems Reference Library;2023

2. α β-Relations and the Actual Meaning of α-Renaming;ACM Transactions on Computational Logic;2021-01-22

3. Two Views of the Logic of Plurals and a Reduction of One to the Other;Studia Logica;2014-11-25

4. Systems of Deduction;Handbook of Philosophical Logic;2001

5. A Finitely Axiomatized Formalization of Predicate Calculus with Equality;Notre Dame Journal of Formal Logic;1995-07-01