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 “Bolzano's propositional Logic.”
Some generalizations to two systems of set theory based on combinatory logic.
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:
A Simplified Nomalization of Predicate Logic with Identity.
Alfred Tarski (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:
On Tarski's Formalization of Predicate Logic with Identity.
R. Montague, D. Kalish (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:
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:
On 2nd order intuitionistic propositional calculus with full comprehension.
Dov M. Gabbay (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: