Aspects du Theoreme de completude selon Herbrand

S. AANDERAA, P. ANDREWS et B. DREBEN, 1963 — False lemmas in Herbrand — Bulletin of the Amer. Math. Soc. t. 69, n^o 5, p. 699–706.
Article 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.
Article MathSciNet MATH Google Scholar
W. CRAIG et VAUGHT, 1968 — Finite axiomatizability using additional predicates — Journal of symbolic logic, t. 23, p. 289–308.
Article 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.).
Article 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.
Article 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.) n^o 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, n^o 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. n^o 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.
Article MathSciNet MATH Google Scholar
W.V. QUINE, 1955 — A proof procedure for quantification theory — Journal of symbolic logic, t. 20, p. 141–149.
Article 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) n^o 4, 36 pages.
Google Scholar
H. WANG, 1962 — A survey of mathematical logic, Pékin.
Google Scholar

Download references

Authors

Roland Fraïssè
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

M. Laudet D. Lacombe L. Nolin M. Schützenberger

Rights and permissions

Reprints and permissions

Copyright information

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: 23 August 2006
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04914-2
Online ISBN: 978-3-540-36262-3
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Aspects du Theoreme de completude selon Herbrand

Access this chapter

Preview

Bibliographie