Recherches Sur la Déduction Logique = Untersuchungen Über Das Logische Schliessen
Presses Universitaires de France (1955)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Recherches sur la Déduction Logique.Gerhard Gentzen & Robert Feys - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Gentzen writes in the published version of his doctoral thesis Untersuchun-gen über das logische Schliessen (Investigations into logical reasoning) that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elim.Jan von Plato - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.
Logische Untersuchungen über die Grundlagen der Mathematik.Katudi Ono - 1939 - Journal of Symbolic Logic 4 (2):89-90.
Recherches de Logique Formelle la Structure du Système des Syllogismes Et des Sorites, la Logique des Notions "au Moins" Et "Tout au Plus".Petrus Hoenen - 1947 - Apud Aedes Universitatis Gregorianae.
Logische Untersuchungen (Hrsg. v. Günther Patzig).Gottlob Frege - 1966 - Göttingen: Vandenhoeck & Ruprecht.
P. Hoenen. Recherches de logique formelle. La structure du système des syllogismes et des sorites - la logique des notions “au moins” et “tout au plus.” Analecta Gregoriana, vol. 43. Aedes Universitatis Gregorianae, Rome1947, vii + 384 pp. [REVIEW]Robert Feys - 1954 - Journal of Symbolic Logic 19 (4):302-303.
Recherches Sur Une Logique de la Pensée Créatrice En Mathématiques.Maurice Meigne - 1964 - Librairie Scientifique Et Technique Albert Blanchard.
Einleitung. Logische Untersuchungen.Gottlob Frege - 1968 - Journal of Symbolic Logic 33 (2):282-284.
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Funktion, Begriff, Bedeutung Fünf Logische Studien.Gottlob Frege & Günther Patzig - 1961 - Vandenhoeck & Ruprecht.
Analytics
Added to PP
2015-02-03
Downloads
0
6 months
0
2015-02-03
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
