A Simplified Nomalization of Predicate Logic with Identity.
Alfred Tarski (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “The role of the omitting types theorem in infinitary logic.”
A Simplified Nomalization of Predicate Logic with Identity.
Bolzano's propositional Logic.
Y. Bar-Hillel (1950/52)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Some remarks about the connections between combinatory logic and axiomatic recursion theory.
R. Hindley, G. Mitschke (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Some generalizations to two systems of set theory based on combinatory logic.
M.W. Bunder (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the Logic of Variable Binders.
Rolf Schock (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Substitutionless Predicate Logic with Identity.
Donald Monk (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Predicate calculus of arbitrarily high finite order.
M.W. Bunder (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Tarski's Formalization of Predicate Logic with Identity.
R. Montague, D. Kalish (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A Remark on Equational Completeness.
H. Ribeiro, R. Schwabauer (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On orderings of the family of all logics.
M. Krynicki, J. Väänänen (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A Note Concerning the Rules of Inference for Quantifiers.
Roman Suszko (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
1 - Consistency and Faithful Interpretations.
G. Kreisel, S. Feferman (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Definitions.
Rolf Schock (1965)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: