Note complémentaire sur les méthodes de déduction naturelle

Revue Philosophique De Louvain 45 (5):60-72 (1947)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.3406/phlou.1947.4093

Other Versions

reprint Feys, R. (1948) "Note Complémentaire sur les Méthodes de Déduction Naturelle". Journal of Symbolic Logic 13(2):114-114

Links

PhilArchive



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

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

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.
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.
Les méthodes récentes de déduction naturelle.Robert Feys - 1946 - Revue Philosophique De Louvain 44 (3):370-400.
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.
Philosophie et christianisme. Note complémentaire.Fernand Van Steenberghen - 1991 - Revue Philosophique De Louvain 89 (83):499-505.
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.
Le mythe d'un monde éternel. Note complémentaire.Fernand Van Steenberghen - 1982 - Revue Philosophique De Louvain 80 (47):486-499.
Un nouveau calcul de déduction naturelle dû à F. B. Fitch.Jean-Blaise Grize - 1955 - Revue Philosophique De Louvain 53 (39):328-367.
Note complémentaire sur le calculateur Inaudi.Binet Binet - 1893 - Revue Philosophique de la France Et de l'Etranger 35:106.

Analytics

Added to PP
2014-01-18

Downloads
19 (#1,086,124)

6 months
7 (#740,041)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Le Théorème fondamental de Gentzen.Jean Ladrière - 1951 - Revue Philosophique De Louvain 49 (23):357-384.
La formalisation de la logique.Joseph Dopp - 1952 - Revue Philosophique De Louvain 50 (28):533-586.

Add more citations

References found in this work

No references found.

Add more references