Les méthodes récentes de déduction naturelle

Revue Philosophique De Louvain 44 (3):370-400 (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.3406/phlou.1946.4065

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Feys R.. Les méthodes récentes de déduction naturelle. Revue philosophique de Louvain, vol. 44 , pp. 370–400.Oiva Ketonen - 1947 - Journal of Symbolic Logic 12 (3):95-95.
Reviews. R. Feys. Note complémentaire sur les méthodes de déduction naturelle. Revue philosophique de Louvain, Bd. 45 , S. 60–72. [REVIEW]G. Hasenjaeger - 1948 - Journal of Symbolic Logic 13 (2):114-114.
Note complémentaire sur les méthodes de déduction naturelle.Robert Feys - 1947 - Revue Philosophique De Louvain 45 (5):60-72.
Review: R. Feys, Note Complementaire sur les Methodes de Deduction Naturelle. [REVIEW]G. Hasenjaeger - 1948 - Journal of Symbolic Logic 13 (2):114-114.
Gentzen Gerhard. Recherches sur la déduction logique. French translation of 4422 by Ladrière Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp.Feys Robert. Préface. Therein, pp. VII–XI.Feys Robert. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2.Feys Robert. Note B. Notation explicite des suppositions. Therein, pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39.Feys Robert. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83.Ladrière Jean. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89.Feys Robert. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92.Ladriére Jean. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97.Ladriére Jean. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100.Ladriére Jean. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
Feys Robert. Les systèmes formalisés des modalités aristotéliciennes. Revue philosophique de Louvain, vol. 48 , pp. 478–509. [REVIEW]Naoto Yonemitsu - 1954 - Journal of Symbolic Logic 19 (4):292-293.
Un nouveau calcul de déduction naturelle dû à F. B. Fitch.Jean-Blaise Grize - 1955 - Revue Philosophique De Louvain 53 (39):328-367.
Feys Robert. La technique de la logique combinatoire. Revue philosophique de Louvain , vol. 44 , pp. 74–103, and vol. 44 , pp. 237–270. [REVIEW]S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (1):27-28.

Analytics

Added to PP
2014-01-18

Downloads
24 (#916,108)

6 months
2 (#1,690,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.

Add more citations

References found in this work

Les Logiques nouvelles des modalités.Robert Feys - 1937 - Revue Néo-Scolastique de Philosophie 40 (56):517-553.

Add more references