Skip to main content

Aspects du Theoreme de completude selon Herbrand

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

Keywords

  • Nous Allons
  • Finite Axiomatizability
  • Occurrence Distinctes
  • Nous Appellerons
  • Etant Donnee

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   44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.95
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.

Bibliographie

  • S. AANDERAA, P. ANDREWS et B. DREBEN, 1963 — False lemmas in Herbrand — Bulletin of the Amer. Math. Soc. t. 69, no 5, p. 699–706.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • J.P. BÉÉJAM et R. FRAÏSSÉ, 1964 — Sur le théorème de Herbrand-Gentzen, Gauthier-Villars.

    Google Scholar 

  • W. CRAIG, 1957 — Linear reasoning — A new form of the Herbrand-Gentzen theorem Journal Symbolic logic, t. 22, p. 250–268.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • W. CRAIG et VAUGHT, 1968 — Finite axiomatizability using additional predicates — Journal of symbolic logic, t. 23, p. 289–308.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • R. FRAÏSSÉ, 1967 — Cours de logique mathématique, t. 1, p. 186, Paris Gauthier-Villars.

    Google Scholar 

  • G. GENTZEN, 1934 — Untersuchungen über das logische schliessen. Math. Zeitschrift t. 39, p. 176–210 et 405–431. Traduction française: Recherches sur la déduction logique par R. Freys et J. Ladrière, 1955, Paris. (Presses Universitaires de France, 170 p.).

    CrossRef  MathSciNet  MATH  Google Scholar 

  • J. VAN HEIJENOORT, 1967 — From Frege to Gödel, Harvard University Press.

    Google Scholar 

  • L. HENKIN, 1949 — The completeness of the first order functional calculus — Journal of symbolic logic, t. 14, p. 159–166.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • J. HERBRAND, 1930 — Recherches sur la théorie de la démonstration (thèse) Soc. sciences et lettres, Varsovie, Cl. 3 (math. phys.) no 33.

    Google Scholar 

  • J. HERBRAND, 1931 — Sur le problème fondamental de la logique mathématique — Comptes rendus Soc. des sciences et lettres, Varsovie, Classe 3, no 24.

    Google Scholar 

  • , 1968 — Ecrits logiques (J. Van Heijenoort, éditeur) Presses Universitaires de France, Paris.

    Google Scholar 

  • S.C. KLEENE, 1952 — Finite axiomatizability of theories in the predicate calculus using additional predictae symbols — Memoirs of the Amer. Math. soc. no 10, p. 27–68.

    Google Scholar 

  • J. LOS, A. MOSTOWSKI et H. RASIOWA, 1956 — A proof of Herbrand theorem — Journal de math. pures et appl. t. 35, p. 19–24.

    MathSciNet  MATH  Google Scholar 

  • R.C. LYNDON, 1959 — An interpolation theorem in the predicate calculus — Pacific Journal of math. t. 9, p. 129–142.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • W.V. QUINE, 1955 — A proof procedure for quantification theory — Journal of symbolic logic, t. 20, p. 141–149.

    CrossRef  MathSciNet  MATH  Google Scholar 

  • T. SKOLEM, 1920 — Logisch-kombinatorische untersuchungen über die Erfullbarkeit oder Beweisbarkeit mathematischer sätzenebst einem theoreme über dichte Mengen — Skrift Videnskap. Kristiania, I (nat. — natur) no 4, 36 pages.

    Google Scholar 

  • H. WANG, 1962 — A survey of mathematical logic, Pékin.

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1970 Springer-Verlag

About this paper

Cite this paper

Fraïssè, R. (1970). Aspects du Theoreme de completude selon Herbrand. In: Laudet, M., Lacombe, D., Nolin, L., Schützenberger, M. (eds) Symposium on Automatic Demonstration. Lecture Notes in Mathematics, vol 125. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0060625

Download citation

  • DOI: https://doi.org/10.1007/BFb0060625

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-04914-2

  • Online ISBN: 978-3-540-36262-3

  • eBook Packages: Springer Book Archive