Un nouveau calcul de déduction naturelle dû à F. B. Fitch

Revue Philosophique De Louvain 53 (39):328-367 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.3406/phlou.1955.4560

Other Versions

No versions found

Links

PhilArchive



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

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

Jean-Blaise GRIZE, Logique naturelle. Communications.E. Danblon - forthcoming - Revue Internationale de Philosophie.
Jean-Blaise Grize (1996). Logique naturelle & communications.Robert Maier - 1999 - Argumentation 13 (3):343-346.
Varios autores: Pensée naturelle: Logique et langage. Hommage à Jean-Blaise Grize.Alberto Gutierrez - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (1-2):635.
Les méthodes récentes de déduction naturelle.Robert Feys - 1946 - Revue Philosophique De Louvain 44 (3):370-400.
Note complémentaire sur les méthodes de déduction naturelle.Robert Feys - 1947 - Revue Philosophique De Louvain 45 (5):60-72.
Grize Jean-Blaise. Logique moderne. Fascicle I. Logique des propositions et des prédicats, déduction naturelle. Mathematiques et sciences de l'homme, no. 10. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1969, 90 pp.Grize Jean-Blaise. Logique moderne. Fascicle I. Logique des propositions et des prédicats, déduction naturelle. Second edition of the preceding. Mathématiques et sciences de l'homme, no. 10. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1972, 90 pp.Grize Jean-Blaise. Logique moderne. Fascicle II. Logique des propositions et des prédicats, tables de vérité et axiomatisation. Mathématiques et sciences de l'homme, no. 14. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1971, 79 pp.Grize Jean-Blaise. Logique moderne. Fascicle III. Implications, modalités, logiques polyvalentes, logique combinatoire, ontologie et méréologie de Leśniewski. Mathématiques et sciences de l'homme, no. 22. Mouton, Paris and The Hague, and Gauthier-Villars, Paris, 1973. [REVIEW]James Gasser - 1992 - Journal of Symbolic Logic 57 (4):1484-1485.
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.
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.
Un rôle nouveau pour la science: Jean Alphonse Turrettini et les débuts de la théologie naturelle à Genève.Michael Heyd - 1980 - Revue de Théologie Et de Philosophie 112:25.
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.

Analytics

Added to PP
2014-01-18

Downloads
33 (#696,986)

6 months
11 (#377,362)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

La technique de la logique combinatoire.Robert Feys - 1946 - Revue Philosophique De Louvain 44 (1):74-103.

Add more references