Annali di Matematica Pura ed Applicata

, Volume 102, Issue 1, pp 203–212 | Cite as

Sur une logique intuitionniste

  • Gr. C. Moisil
Article
  • 75 Downloads

Summary

In this paper, a sentencial calculus is built up, continuing only one connective, the negation. A very general logic is thus obtained, very similar to that of A. A. Markov.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie

  1. [1]
    G. Gentzen,Untersuchungen über das logische Schliessens, I, II, Mathematische Zeitschrift,39 (1935), pp. 176–405.CrossRefMathSciNetGoogle Scholar
  2. [2]
    A. Heyting,Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der preussischen Akademie der Wissenschaften, 1930, pp. 42–57.Google Scholar
  3. [3]
    St. Jaszkowski,On the rules of supposition in formal logik, Studia Logica (Warszawa),1 (1934), p. 5.Google Scholar
  4. [4]
    I. Johansson, Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus, Compositio Mathematica,4 (1936), p. 119.MATHGoogle Scholar
  5. [5]
    A. Kolmogorov, O principie tertio non datur, Matematicesky Sbornik,37 (1930), p. 30.Google Scholar
  6. [6]
    A. A. Markov,Essais de construction d'une logique de la mathématique constructive, Revue internationale de philosophie, No. 98 (1971), p. 477.Google Scholar
  7. [7]
    Gr. C. Moisil,Essais sur les logiques non chrysippiennes, Editions de l'Academie de la République Sociale de Roumanie, Bucarest, 1972.Google Scholar
  8. [8]
    Gr. C. Moisil,La logique élémentaire en Logique - automatique- informatique, p. 31. Editions de l'Academie de la République Socialiste de Roumanie, 1971.Google Scholar
  9. [9]
    Gr. C. Moisil,La logique élémentaire, Conférence faite au IV-éme Congrès de logique, methodologie et philosophie des sciences, Bucarest, 1971 (en cours d'impression, prprint publié).Google Scholar
  10. [10]
    Gr. C. Moisil, Studio algebrico della logica elementare, Atti dell'Accademia delle Scienze dell'Istituto di Bologna, Classe di scienze fisiche, Anno 257, Serie XII,6 (1969), p. 33.MATHMathSciNetGoogle Scholar
  11. [11]
    Gr. C. Moisil, Remarques sur les modèles de la logique élémentaire, Bull. math. de la Société des sc. math. de la République Socialiste de Roumanie X (LVIII) (1966) et [7], p. 704.Google Scholar

Copyright information

© Nicola Zanichelli Editore 1975

Authors and Affiliations

  • Gr. C. Moisil
    • 1
  1. 1.BucarestRoumanie

Personalised recommendations