Works by Eugen Mihǎilescu

( view other items matching `Eugen Mihǎilescu`, view all matches )
11 found
Order:
  1.  20
    Decision problem in the classical logic.Eugen Mihăilescu - 1967 - Notre Dame Journal of Formal Logic 8 (3):239-253.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  24
    L'ordre d'incomplètitude pour le système d'équivalence la négation et la réciprocité.Eugen Mihăilescu - 1969 - Notre Dame Journal of Formal Logic 10 (4):425-451.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  23
    Les propriétés du foncteur Nicod par rapport à la réciprocité et conjonction. I.Eugen Mihăilescu - 1973 - Notre Dame Journal of Formal Logic 14 (4):527-535.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  28
    Les propriétés du foncteur Nicod par rapport à le réciprocité et conjonction. II.Eugen Mihăilescu - 1974 - Notre Dame Journal of Formal Logic 15 (1):85-96.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  47
    Roberto Cignoli. Boolean elements in Lukasiewicz algebras. I. Proceedings of the Japan Academy, t. 41 , p. 670–675.Eugen Mihailescu - 1968 - Journal of Symbolic Logic 33 (2):307-308.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  1
    Sisteme logice și forme normale în calculul propozițional bivalent.Eugen Mihăilescu - 1966 - București,: Editura Academiei Republicii Socialiste România.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  112
    Rose Alan. Sur les schémas d'axiomes pour les calculs propositionnels à m valeurs ayant des valeurs surdésignées. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 250 , p. 790–792. [REVIEW]Eugen Mihǎilescu - 1971 - Journal of Symbolic Logic 36 (3):546-546.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  8.  35
    Luiz F. T. Monteiro et Lorenzo González Coppola. Sur une construction des algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 17, Instituto de Matemática, Universidad Nacional del sur, Bahia Blanca 1964, 17 P.; zussi Portugaliae mathematica, vol. 23 n° 3–4 , p. 157–167. [REVIEW]Eugen Mihăilescu - 1967 - Journal of Symbolic Logic 32 (3):397-398.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  46
    Monteiro Luiz F. T.. Axiomes indépendants pour les algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 22, Instituto de Matemática, Universidad Nacional del sur, Bahía Blanca 1964, 7 P.; aussi Bulletin mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, n.S. vol. 7 n° 3–4 , p. 199–202. [REVIEW]Eugen Mihailescu - 1967 - Journal of Symbolic Logic 32 (3):399-399.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10. Review: Antonio Monteiro, Sur la Definition des Algebres de Lukasiewicz Trivalentes. [REVIEW]Eugen Mihailescu - 1967 - Journal of Symbolic Logic 32 (3):398-399.
     
    Export citation  
     
    Bookmark  
  11.  22
    (1 other version)Roberto Cignoli et Antonio Monteiro. Boolean elements in Lukasiewicz algebras. II. Proceedings of the Japan Academy, t. 41 , p. 676–680. [REVIEW]Eugen Mihailescu - 1968 - Journal of Symbolic Logic 33 (2):308.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark