The role of the omitting types theorem in infinitary logic.
Jon Barwise (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Functorial bounds for cut elimination in L... .I.”
The role of the omitting types theorem in infinitary logic.
A Simplified Nomalization of Predicate Logic with Identity.
Alfred Tarski (1964/65)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A lower bound for the complexity of Craig's interpolants in sentinential logic.
Daniele Mundici (1983)
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:
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:
Functorial bounds for cut elimination in L.. .II.
Marie-Christine Ferbus (1985)
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:
Predicate calculus of arbitrarily high finite order.
M.W. Bunder (1983)
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: