Logiques construites par une Méthode de Déduction naturelle [Book Review]

Review of Metaphysics 17 (1):144-144 (1963)
  Copy   BIBTEX

Abstract

Employing techniques based on those of Gentzen, the author formulates a number of systems of propositional and quantificational logic as calculi of Sequenzen. Syntactical material concerning these systems is presented in great detail, and the problem of decision is discussed for those cases in which a positive result is obtainable--R. H. T.

Categories

Keywords

Reprint years

ISBN(s)

00346632

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Logiques construites par une méthode de déduction naturelle. [REVIEW]Milton Fisk - 1965 - New Scholasticism 39 (4):550-552.
Logiques Construites par une Methode de Deduction Naturelle.A. N. Prior - 1964 - Philosophical Quarterly 14 (56):280.
Review: J. Dopp, Logiques Construites par une Methode de Deduction Naturelle. [REVIEW]Dag Prawitz - 1969 - Journal of Symbolic Logic 34 (3):502-502.
Logiques construites suivant les méthodes de da Costa.Jean-Yves Béziau - 1990 - Logique Et Analyse 131 (132):259-272.
De la méthode en Philosophie naturelle.Dominique Salman - 1952 - Revue Philosophique De Louvain 50 (26):205-229.
L'Implication Logique et la Déduction Naturelle.S. Issman - 1968 - Philosophica 6.
La comparaison des espèces: Ordre et méthode dans l'histoire naturelle de Buffon.Thierry Hoquet - 2003 - Corpus: Revue de philosophie 43:355-416.
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.
Review: R. Feys, Les Methodes Recentes de Deduction Naturelle. [REVIEW]Oiva Ketonen - 1947 - Journal of Symbolic Logic 12 (3):95-95.
Un nouveau calcul de déduction naturelle dû à F. B. Fitch.Jean-Blaise Grize - 1955 - Revue Philosophique De Louvain 53 (39):328-367.
Review: R. Feys, Note Complementaire sur les Methodes de Deduction Naturelle. [REVIEW]G. Hasenjaeger - 1948 - Journal of Symbolic Logic 13 (2):114-114.
Les intuitions logiques d’Edgar Morin.Didier Dacunha-Castelle - 2011 - Hermès: La Revue Cognition, communication, politique 60 (2):, [ p.].
(rec.) Jean-Pierre Declés, Brahim Djioua, Florence Le Priol, Logique et Langage: déduction naturelle, Hermann, Paris 2010, ss. 212.Marek Porwolik - 2010 - Studia Philosophiae Christianae 46 (2):243-246.

Analytics

Added to PP
2012-03-18

Downloads
11 (#1,110,001)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references