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 “Category theory based on combinatory 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:
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:
Predicate calculus and naive set theory in pure combinatory logic.
M.W. Bunder (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:
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:
On 2nd order intuitionistic propositional calculus with full comprehension.
Dov M. Gabbay (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: