- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A simplified formalization of predicate logic with identity
Archive for Mathematical Logic 7 (1-2):61-79 (1964)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A Simplified Formalization of Predicate Logic with Identity.Alfred Tarski - 1974 - Journal of Symbolic Logic 39 (3):602-603.
Review: Alfred Tarski, A Simplified Formalization of Predicate Logic with Identity. [REVIEW]J. C. Shepherdson - 1974 - Journal of Symbolic Logic 39 (3):602-603.
Alfred Tarski. A simplified formalization of predicate logic with identity. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 , pp. 61–79. [REVIEW]C. Shepherdson - 1974 - Journal of Symbolic Logic 39 (3):602-603.
On Tarski's formalization of predicate logic with identity.Donald Kalish & Richard Montague - 1965 - Archive for Mathematical Logic 7 (3-4):81-101.
Substitutionless predicate logic with identity.Donald Monk - 1965 - Archive for Mathematical Logic 7 (3-4):102-121.
Alfred Tarski and Steven Givant. A formalization of set theory without variables. American Mathematical Society colloquium publications, vol. 41. American Mathematical Society, Providence1987, xxi + 318 pp. [REVIEW]István Németi - 1990 - Journal of Symbolic Logic 55 (1):350-352.
Review: Alfred Tarski, Steven Givant, A Formalization of Set Theory Without Variables. [REVIEW]Istvan Nemeti - 1990 - Journal of Symbolic Logic 55 (1):350-352.
Proceedings of the Tarski Symposium: An International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday.Leon Henkin, Alfred Tarski & Association for Symbolic Logic - 1979 - Amer Mathematical Society.
Review: Alfred Tarski, On Mathematical Logic and the Deductive Method. [REVIEW]Saunders MacLane - 1938 - Journal of Symbolic Logic 3 (1):51-52.
Retracted article: A completeness theorem for continuous predicate modal logic.Stefano Baratella - 2017 - Archive for Mathematical Logic 56 (7-8):1135-1135.
Analytics
Added to PP
2020-12-03
Downloads
12 (#1,115,280)
6 months
6 (#587,658)
2020-12-03
Downloads
12 (#1,115,280)
6 months
6 (#587,658)
Historical graph of downloads
Citations of this work
Relation algebra reducts of cylindric algebras and an application to proof theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.
Provability with finitely many variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.
Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2):431-466.
A unification-theoretic method for investigating the k-provability problem.William M. Farmer - 1991 - Annals of Pure and Applied Logic 51 (3):173-214.
Measurement theoretic semantics and the semantics of necessity.Eli Dresner - 2002 - Synthese 130 (3):413 - 440.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-kfj6z uwo