Skip to main content

Comments on gentzen-type procedures and the classical notion of truth

Part of the Lecture Notes in Mathematics book series (LNM,volume 500)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   46.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

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.

    MathSciNet  Google Scholar 

  • Gentzen, Gerhard, 1934, Untersuchungen über das logische Schliessen, Mathematische Zeitschrift, 39, 176–210.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Hintikka, Jaakko, 1955, Form and content in quantification theory, Two papers in symbolic logic, Acta Philosophica Fennica, no. 8, 7–55, Helsinki.

    MathSciNet  Google Scholar 

  • Kanger, 1957, Stig, Provability in logic, Stockholm.

    Google Scholar 

  • Kreisel, Georg, 1958, Review of Beth, La crise de la raison et la logique, J. Symbolic Logic, 23, 35–37.

    CrossRef  Google Scholar 

  • Lorenzen, Paul, 1951, Algebraische und logische Untersuchungen über frei Verbände, J. Symbolic Logic, 16, 81–106.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Prawitz, Dag, 1965, Natural deduction, A proof-theoretical study, Stockholm.

    Google Scholar 

  • —, 1968, Hauptsatz for higher order logic, J. Symbolic Logic, 33, 452–457.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Prawitz, Dag, 1971, Ideas and results in proof theory, in: Proceedings of the Second Scandinavian Logic Symposium (ed. J. E. Fenstad), 235–307, Amsterdam.

    Google Scholar 

  • Schütte, Kurt, 1951, Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie, Mathematische Annalen 122, 369–389.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • —, 1956, Ein System des verknüpfenden Schliessens, Archiv für mathematische Logik und Grundlagenforschung, 2, 55–67.

    CrossRef  MATH  Google Scholar 

  • —, 1960, Syntactical and semantical properties of simple type theory, the Journal of Symbolic Logic, 25, 305–326.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • Shoenfield, Joseph, 1959, On a restricted ω-rule, Bulletin de lácademie Polonaise des Sciences, 7, 405–407.

    MathSciNet  MATH  Google Scholar 

  • 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.

    Google Scholar 

  • 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

    CrossRef  MathSciNet  MATH  Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Additional information

Dedicated to Kurt Schütte on occasion of his 65t birthday

Rights and permissions

Reprints 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