Essai sur la genèse de la méthode des tableaux de Beth
Philosophia Scientiae, Tome 3 (1998-1999) no. 4, pp. 235-277.
@article{PHSC_1998-1999__3_4_235_0,
     author = {Guillaume, Marcel},
     title = {Essai sur la gen\`ese de la m\'ethode des tableaux de {Beth}},
     journal = {Philosophia Scientiae},
     pages = {235--277},
     publisher = {\'Editions Kim\'e},
     volume = {3},
     number = {4},
     year = {1998-1999},
     language = {fr},
     url = {http://www.numdam.org/item/PHSC_1998-1999__3_4_235_0/}
}
TY  - JOUR
AU  - Guillaume, Marcel
TI  - Essai sur la genèse de la méthode des tableaux de Beth
JO  - Philosophia Scientiae
PY  - 1998-1999
SP  - 235
EP  - 277
VL  - 3
IS  - 4
PB  - Éditions Kimé
UR  - http://www.numdam.org/item/PHSC_1998-1999__3_4_235_0/
LA  - fr
ID  - PHSC_1998-1999__3_4_235_0
ER  - 
%0 Journal Article
%A Guillaume, Marcel
%T Essai sur la genèse de la méthode des tableaux de Beth
%J Philosophia Scientiae
%D 1998-1999
%P 235-277
%V 3
%N 4
%I Éditions Kimé
%U http://www.numdam.org/item/PHSC_1998-1999__3_4_235_0/
%G fr
%F PHSC_1998-1999__3_4_235_0
Guillaume, Marcel. Essai sur la genèse de la méthode des tableaux de Beth. Philosophia Scientiae, Tome 3 (1998-1999) no. 4, pp. 235-277. http://www.numdam.org/item/PHSC_1998-1999__3_4_235_0/

Bernays, Paul. 1936 Logical Calculus. Notes on Lectures at the Institute for Advanced Study 1935-36, prepared with the assistance of F. A. Ficken. Mimeographed. Inst. for Adv. Study, Princeton N.J., 125 pp.

Beth, Evert Willem 1947 Semantical Considerations on Intuitionistic Mathematics. Indagationes mathematicae 9, 572-577. | Zbl

Beth, Evert Willem 1951 A Topological Proof of the Theorem of Löwenheim-Skolem-Gödel. Indagationes mathematicae 13, 436-444. | Zbl

Beth, Evert Willem 1953a Some Consequences of the Theorem of Löwenheim-Skolem-Gödel-Malcev. Indagationes mathe-maticae 15, 66-71. | Zbl

Beth, Evert Willem 1953b On Padoa's Method in the Theory of Definition. Indagationes mathematicae 15, 330-339. | Zbl

Beth, Evert Willem 1955a Remarks on Natural Deduction. Indagationes mathematicae 17, 322-325. | Zbl

Beth, Evert Willem 1955b Semantic Entailment and Formal Derivability. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Amsterdam, Afd. Letterkunde, N.R. 18, n° 13, 309-342.

Beth, Evert Willem 1956a L'existence en mathématiques. Gauthier-Villars, Paris, et Nauwelaerts, Louvain, 1956, 60 pp.

Beth, Evert Willem 1956b Semantic Construction of Intuitionistic Logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Amsterdam, Afd. Letterkunde, N.R. 19, n° 11 (1956), pp. 357-388. | Zbl

Beth, Evert Willem 1957 Remarks on Elementary Predicate Logic. Nieuw Archief voor Wiskunde 3, 58-62. | Zbl

Beth, Evert Willem 1958a On the Completeness of the Classical Sentential Logic. Indagationes mathematicae 20, 434-437. | Zbl

Beth, Evert Willem 1958b Construction sémantique de la logique intuitionniste. Le raisonnement en mathématiques et en sciences expérimentales. Colloque International du C.N.R.S. 70 (Paris, 26 sept.-1 oct. 1955), 77-84.

Beth, Evert Willem 1959a The Foundations of Mathematics. A study in the Philosophy of science. North-Holland, Amsterdam, 1959, xxvi+741 pp. | Zbl

Beth, Evert Willem 1959b Considérations heuristiques sur les méthodes de déduction par séquences. Logique et Analyse, n.s. 2, 153-159.

Beth, Evert Willem 1960 Completeness Results for Formal Systems. Proceedings of the international Congress of Mathematicians 1958. Cambridge University Press, 1960, pp. 281-288. | Zbl

Beth, Evert Willem 1961 Compte-Rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du Contrat Euratom n° 010-60-12. EURATOM - C.C.R. ISPRA. Rapport CETIS n° 26, Logique, Août 1961. Miméographié. 170 pp.

Beth, Evert Willem 1962 Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. Reidel, Dordrecht, 1962, xiv+170 pp. | Zbl

Frege, Gottlob 1879 Begriffschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Nebert, Halle, 1879, x+88 pp.

Gentzen, Gerhard. 1934 Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39, 176-210, 405-431. Traduction française par Ladrière, J. (avec notes de Feys, R. et Ladrière, J.) sous le titre Recherches sur la déduction logique. Presses Universitaires de France, Paris, 1955. XII+170 pp. | Zbl

Gödel, Kurt 1933 Eine Interpretation des intuitionistischen Aussagenkalküls. Ergebnisse eines mathematischen Kolloquiums 3, 39-40. | Zbl

Guillaume, Marcel 1966 Quelques remarques sur les "tableaux de Beth". Synthèse 16, 27-33. Reproduit dans E.W. Beth Memorial Colloquium. Logic and Foundations of Science. Paris, Institut Henri Poincaré, 19-21 May 1964. Ed. by J.L. Destouches. Reidel, Dordrecht, 1967, pp. 39-45. | Zbl

Hasenjaeger, Gisbert 1952 Konsequenzenlogik, dans: Hermes, H. und Scholz, H. Mathematische Logik. Enzyklopädie der mathematischen Wissenchaften 1 Berlin 1952.

Herbrand, Jacques 1930 Recherches sur la théorie de la démonstration. Travaux de la Société des Sciences et des Lettres de Varsovie, Classe III Sciences mathématiques et physiques, n° 33, 128 pp. | JFM

Heyting, Arend 1930 Die formalen Regeln der intuitionistischen Logik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, 1930, pp. 42-56. | JFM

Hilbert, David et Bernays, Paul 1939 Grundlagen der Mathematik, II. Springer, Berlin, 1939, xii+498 pp. | Zbl

Hintikka, K. J. J. 1953 Distributive Normal Forms in the Calculus of Predicates. Acta Philosophica Fennica 6, 1-71. | Zbl

Hintikka, K. J. J. 1955 Form and Content in Quantification Theory. Acta Philosophica Fennica 8, 7-55. | Zbl

Kanger, Stig 1957 Provability in Logic. Stockholm Studies in Philosophy I, Almquist and Wiksell, Stockholm 1957, 47 pp. | Zbl

Kemeny, John G. 1948 Models of Logical Systems. Journal of Symbolic Logic 13, 16-30. | Zbl

Kripke, Saul A. 1959 A Completeness Theorem in Modal Logic. Journal of Symbolic Logic 24, 1-14. | Zbl

Löwenheim, Leopold 1915 Über Möglichkeiten im Relativkalkül. Mathematische Annalen 76, 447-470.

Mc Kinsey, John Charles Chenoweth 1941 A Solution of the Decision Problem for the Lewis Systems S2 and S4, with an Application to Topology. Journal of Symbolic Logic 4, 117-134. | JFM | Zbl

Mc Kinsey, John Charles Chenoweth and Tarski, Alfred 1944 The Algebra of Topology. Annals of Mathematics ser. 2, 45, 141-191.

Mc Kinsey, John Charles Chenoweth and Tarski, Alfred 1946 On Closed Elements in Closure Algebras. Annals of Mathematics ser. 2, 47, 122-162. | Zbl

Mc Kinsey, John Charles Chenoweth and Tarski, Alfred 1948 Some Theorems about the Sentential Calculi of Lewis and Heyting. Journal of Symbolic Logic 13, 1-15. | Zbl

Mostowski, Andrzej 1949 Sur l'interprétation géométrique et topologique des notions logiques. Library of the 10th International congress of Philosophy (Amsterdam 1948). Ed. Beth, E.W., Pos, H.J., Hollak, H.J.A. North Holland, Amsterdam, 1949, pp. 767-769. | Zbl

Rasiowa, Helena 1951 Algebraic Treatment of the Fonctional Calculi of Heyting and Lewis. Fundamenta Mathematicae 38, 99-126. | Zbl

Rasiowa, Helena 1954 Algebraic Models of Axiomatic Theories. Fundamenta Mathematicae 41, 291 -310. | Zbl

Rasiowa, Helena, and Sikorski, Roman 1950 A Proof of the Completeness Theorem of Gödel. Fundamenta Mathematicae 37, 193-200. | Zbl

Tarski, Alfred 1935 Grundzüge der Systemenkalkül, Erster Teil. Fundamenta Mathematicae 25, 503-526. | JFM | Zbl

Tarski, Alfred 1938 Der Aussagenkalkül und die Topologie. Fundamenta Mathematicae 31, 103-134. | JFM | Zbl

Tarski, Alfred 1952 Some Notions and Methods in the Borderline of Algebra and Metamathematics. Proceedings of the International Congress of Mathematicians (Cambridge, Mass., 1950) I. American Mathematical Society, Providence, R.I., 1952, pp. 705-720. | Zbl

Ithuys-Bechthold, P. M. J. 1995 Inventory of the Papers of Evert Willem Beth (1908-1964), Philosopher, Logician and Mathematician. 1920-1964 (c. 1980). Inventarisreeks Rijksarchief in Noord-Holland 4, Haarlem, 1995, 342 pp.