Sur Une Extension Simple du Calcul Intuitionniste Des Predicats du Premier Ordre Appliquee a L'Analyse

Mathematical Logic Quarterly 30 (19-24):317-324 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19840301906

Links

PhilArchive



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

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

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 un Ensemble de Fonctions Primitives pour le Calcul des Prédicats du Premier Ordre Lequel Constitue son Propre Dual.Alan Rose - 1953 - Journal of Symbolic Logic 18 (4):343-344.
Review: Alan Rose, Sur un Ensemble de Fonctions Primitives pour le Calcul des Predicats du Premier Ordre Lequel Constitue son Propre Dual. [REVIEW]Nicholas Rescher - 1953 - Journal of Symbolic Logic 18 (4):343-344.
Logique Mathématique. Éléments de Base: Calcul Propositionnel, Calcul des Prédicats.Daniel Ponasse - 1970 - Journal of Symbolic Logic 35 (4):579-580.
Review: Daniel Ponasse, Logique Mathematique. Elements de Base: Calcul Propositionnel, Calcul des Predicats. [REVIEW]Alfons Borgers - 1970 - Journal of Symbolic Logic 35 (4):579-580.
La contribution des cooccurrences de deuxième ordre à l'analyse sémantique.Ann Bertels & Dirk Speelman - 2012 - Corpus 11.
Review: Roland Fraisse, Sur une Extension de la Polyrelation et des Parentes Tirant son Origine du Calcul Logique de keme Echelon; Rene de Possel, Roland Fraisse, Hypotheses de la Theorie des Relations qui Permettent d'Associer, a un bon ordre d'un ensemble, un bon ordre, defini sans ambiguite, de l'ensemble de ses parties; A. Tarski, A. Mostowski, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):285-286.
Une Propriete du Calcul Propositionnel Intuitionniste.J. Porte - 1959 - Journal of Symbolic Logic 24 (1):68-69.
La correction de la logique modale de second ordre S5 et adéquation de la logique modale de premier ordre S5.A. Bayert - 1958 - Logique Et Analyse 1:99-121.
Un Systeme de Postulats pour le Calcul des Predicats.Jean Porte - 1958 - Journal of Symbolic Logic 23 (1):41-41.
Review: J. Porte, Une Propriete du Calcul Propositionnel Intuitionniste. [REVIEW]T. Thacher Robinson - 1959 - Journal of Symbolic Logic 24 (1):68-69.
Une Méthode de Décision pour Certaines Formules du Calcul des Prédicats.Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (2):132-133.
Note sur l’ordre de IF : Hintikka a-t-il véritablement découvert la véritable logique élémentaire?Philippe De Rouilhan - 2005 - Philosophia Scientiae 9 (1):141-150.
Review: Jean Porte, Un Systeme de Postulats pour le Calcul des Predicats. [REVIEW]W. V. Quine - 1958 - Journal of Symbolic Logic 23 (1):41-41.
Correction de la logique modale du premier et du second ordre S5.Arnould Bayart - 1958 - Logique Et Analyse 1 (1):28-45.

Analytics

Added to PP
2015-12-02

Downloads
24 (#657,204)

6 months
1 (#1,471,493)

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

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.

View all 6 references / Add more references