Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barwise, J., Infinitary logic and admissible sets, J. Symbolic Logic, to appear.
Feferman, S., Systems of predicative analysis, Journal of Symbolic Logic, vol. 29 (1964), pp. 1–30.
Gentzen, G., Untersuchungen über das logische Schlussen, Mathematische Zeitschrift, vol. 39 (1935), pp. 176–221.
-, Die Widerspruchspreiheit der reinen Zahlentheorie, Mathematische Annalen, vol. 112 (1936), pp. 403–565.
-, Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie, Mathematische Annalen, vol. 119 (1943), pp. 140–161.
Karp, C. R., Languages with expressions of infinite length, Amsterdam, 1964.
Lopez-Escobar, E. G. K., An interpolation theorem for denumerably long formulas, Fundamenta Mathematicae, LVII (1965).
Lorenzen, P., Algebraische und logistische Untersuchungen über freie Verbände, Journal of Symbolic Logic, vol. 16 (1951), pp. 81–106.
Schütte, K., Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie, Mathematische Annalen, vol. 122, (1955), pp. 369–389.
-, Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen, Mathematische Annalen, vol. 127, (1954), pp. 13–32.
Schütte, K., Beweistheorie, Berlin, Gottingen, Heidelberg, 1960.
Schütte, K., Predicative well-orderings, Formal Systems and Recursive Functions, Amsterdam 1965, pp. 280–303.
Schütte, K., Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogic, Archiv fur Mathematische Logik und Grundlagenferschung, vol. 7, pp. 45–60.
Tait, W. W., Cut elimination in infinite propositional logic (Abstract), Journal of Symbolic Logic, vol. 31, (1966), p. 151.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1968 Springer-Verlag
About this paper
Cite this paper
Tait, W.W. (1968). Normal derivability in classical logic. In: Barwise, J. (eds) The Syntax and Semantics of Infinitary Languages. Lecture Notes in Mathematics, vol 72. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079691
Download citation
DOI: https://doi.org/10.1007/BFb0079691
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04242-6
Online ISBN: 978-3-540-35900-5
eBook Packages: Springer Book Archive