Some generalizations to two systems of set theory based on combinatory logic.
M.W. Bunder (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “On the Logic of Variable Binders.”
Some generalizations to two systems of set theory based on combinatory logic.
Substitutionless Predicate Logic with Identity.
Donald Monk (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Bolzano's propositional Logic.
Y. Bar-Hillel (1950/52)
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:
The role of the omitting types theorem in infinitary logic.
Jon Barwise (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A Simplified Nomalization of Predicate Logic with Identity.
Alfred Tarski (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Predicate calculus and naive set theory in pure combinatory logic.
M.W. Bunder (1981)
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:
The theorems of Beth and Craig in abstract model theory. II. Compact logics.
S. Shelah, J.A. Makowsky (1981)
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:
A Note Concerning the Rules of Inference for Quantifiers.
Roman Suszko (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: