Keywords
- Inference Rule
- Order Logic
- Predicate Symbol
- Logical Truth
- Complete Base
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliographical references
Beth, E. W., 1955, Semantic entailment and formal derivability, Mededelingen der Kon. Nederlandes Akademie van Wetenschappen, Afd. letterkunde, n.s., 18, 309–342, Amsterdam.
Gentzen, Gerhard, 1934, Untersuchungen über das logische Schliessen, Mathematische Zeitschrift, 39, 176–210.
Hintikka, Jaakko, 1955, Form and content in quantification theory, Two papers in symbolic logic, Acta Philosophica Fennica, no. 8, 7–55, Helsinki.
Kanger, 1957, Stig, Provability in logic, Stockholm.
Kreisel, Georg, 1958, Review of Beth, La crise de la raison et la logique, J. Symbolic Logic, 23, 35–37.
Lorenzen, Paul, 1951, Algebraische und logische Untersuchungen über frei Verbände, J. Symbolic Logic, 16, 81–106.
Prawitz, Dag, 1965, Natural deduction, A proof-theoretical study, Stockholm.
—, 1968, Hauptsatz for higher order logic, J. Symbolic Logic, 33, 452–457.
Prawitz, Dag, 1971, Ideas and results in proof theory, in: Proceedings of the Second Scandinavian Logic Symposium (ed. J. E. Fenstad), 235–307, Amsterdam.
Schütte, Kurt, 1951, Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie, Mathematische Annalen 122, 369–389.
—, 1956, Ein System des verknüpfenden Schliessens, Archiv für mathematische Logik und Grundlagenforschung, 2, 55–67.
—, 1960, Syntactical and semantical properties of simple type theory, the Journal of Symbolic Logic, 25, 305–326.
Shoenfield, Joseph, 1959, On a restricted ω-rule, Bulletin de lácademie Polonaise des Sciences, 7, 405–407.
Tait, William, 1968, Normal derivability in classical logic, in: The syntax and semantics of infinitary languages, Lecture notes in mathematics (ed. J. Barwise), 72, 204–236.
Takahashi, Moto-o, 1967, A proof of cut-elimination in simple type theory, Journal of the Mathematical Society of Japan, 19, 399–410. *** DIRECT SUPPORT *** A00J4136 00007
Editor information
Editors and Affiliations
Additional information
Dedicated to Kurt Schütte on occasion of his 65t birthday
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Prawitz, D. (1975). Comments on gentzen-type procedures and the classical notion of truth. In: Diller, J., Müller, G.H. (eds) ⊨ISILC Proof Theory Symposion. Lecture Notes in Mathematics, vol 500. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0079559
Download citation
DOI: https://doi.org/10.1007/BFb0079559
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07533-2
Online ISBN: 978-3-540-38020-7
eBook Packages: Springer Book Archive
