Application des γ‐operateurs au Calcul Logique du Premier Echelon

Mathematical Logic Quarterly 2 (5-7):76-92 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19560020504

Other Versions

No versions found

Links

PhilArchive



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

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

Roland Fraïssé. Sur l'extension aux relations de quelques propriétés des ordres. Annales scientifiques de l'École Normale Supérieure, ser. 3 vol. 71 no. 4 , pp. 363–388. - René de Possel and Roland Fraïssé. Sur certaines suites d'équivalences dans une classe ordonnée, et sur leur application à la définition des parentés entre relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 239 , pp. 940–942. - Roland Fraïssé. Sur certains opérateurs dans les classes de relations. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2109–2110. - Roland Fraïssé. La construction des γ-opérateurs et leur application au calcul logique du premier ordre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 240 , pp. 2191–2193. - Roland Fraïssé. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. Publications scientifiques de l'Université d'Alger, série A, Mathématiques,. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):280-281.
Sur Une Extension Simple du Calcul Intuitionniste Des Predicats du Premier Ordre Appliquee a L'Analyse.Maurice Margenstern - 1984 - Mathematical Logic Quarterly 30 (19-24):317-324.
Sur une Extension de la Polyrelation et des Parentés Tirant son Origine du Calcul Logique de kème Échelon.A. Tarski & A. Mostowski - 1960 - Journal of Symbolic Logic 25 (3):285-286.
Calcul en logique du premier ordre.Yves Bouchard - 2015 - Québec (Québec): Presses de l'Université du Québec.
Jean-Pierre Bénéjam. Application du théorème de Herbrand à la présentation de thèses tératologiques du calcul des prédicats élémentaire. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, ser. A vol. 268 , pp. 757–760. - Roland Fraïssé. Réflexions sur la complétude selon Herbrand. International logic review-Rassegna internazionale di logica , vol. 3 no. 1 , pp. 86–98. [REVIEW]Warren D. Goldfarb - 1975 - Journal of Symbolic Logic 40 (2):238-239.
Logique mathématique: textes.Jean Largeault - 1972 - Paris,: A. Colin.
Fraïssé Roland. Sur une extension de la polyrelation et des parentés tirant son origine du calcul logique du kème échelon. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 45–50.Tarski A.. Intervention. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, p. 50.de Possel René and Fraïssé Roland. Hypothèses de la théorie des relations qui permettent d'associer, a un bon ordre d'un ensemble, un bon ordre, défini sans ambiguïté, de l'ensemble de ses parties. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris 1958, pp. 5. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-285.
Logique mathématique, éléments de base: calcul propositionnel, calcul des prédicats.Daniel Ponasse - 1967 - Paris,: O.C.D.L..
Calcul en logique du premier ordre Yves Bouchard montréal, presses de l’université du québec, 2015, 288 P.Yvon Gauthier - 2016 - Dialogue 55 (1).

Analytics

Added to PP
2013-11-24

Downloads
40 (#566,206)

6 months
5 (#1,062,008)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.Philip Scowcroft - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-550.

Add more citations

References found in this work

No references found.

Add more references