Works by Eugen Mihăilescu

( view other items matching `Eugen Mihăilescu`, view all matches )
17 found
Order:
  1.  9
    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.  9
    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.  11
    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.  7
    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.  26
    Roberto Cignoli. Boolean elements in Lukasiewicz algebras. I. Proceedings of the Japan Academy, t. 41 , p. 670–675.Eugen Mihăilescu - 1968 - Journal of Symbolic Logic 33 (2):307-308.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  20
    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  
  7.  30
    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 Mihăilescu - 1967 - Journal of Symbolic Logic 32 (3):399-399.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  12
    Rose Alan. A formalisation of the m-valued Łukasiewicz propositional calculus with super-designated truth-values. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 295–298. [REVIEW]Eugen Mihailescu - 1971 - Journal of Symbolic Logic 36 (3):546-546.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9. 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  
  10.  2
    Review: Alan Rose, Formalisation du Calcul Propositionnel Implicatif a m Valeurs de Lukasiewicz. [REVIEW]Eugen Mihailescu - 1971 - Journal of Symbolic Logic 36 (3):546-546.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  28
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  14
    Roberto Cignoli et Antonio Monteiro. Boolean elements in Lukasiewicz algebras. II. Proceedings of the Japan Academy, t. 41 , p. 676–680. [REVIEW]Eugen Mihăilescu - 1968 - Journal of Symbolic Logic 33 (2):308.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13.  2
    Review: Luiz F. T. Monteiro, Axiomes Independants Pour les Algebres de Lukasiewicz Trivalentes. [REVIEW]Eugen Mihailescu - 1967 - Journal of Symbolic Logic 32 (3):399-399.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  2
    Review: Luiz F. T. Monteiro, Lorenzo Gonzalez Coppola, Sur une Construction des Algebres de Lukasiewicz Trivalentes. [REVIEW]Eugen Mihăilescu - 1967 - Journal of Symbolic Logic 32 (3):397-398.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Review: Luiz Monteiro, Sur les Algebres de Lukasiewicz Infectives. [REVIEW]Eugen Mihailescu - 1968 - Journal of Symbolic Logic 33 (2):308-308.
     
    Export citation  
     
    Bookmark  
  16. Review: Roberto Cignoli, Antonio Monteiro, Boolean Elements in Lukasiewicz Algebras. II. [REVIEW]Eugen Mihailescu - 1968 - Journal of Symbolic Logic 33 (2):308-308.
     
    Export citation  
     
    Bookmark  
  17. Review: Roberto Cignoli, Boolean Elements in Lukasiewicz Algebras. I. [REVIEW]Eugen Mihailescu - 1968 - Journal of Symbolic Logic 33 (2):307-308.
     
    Export citation  
     
    Bookmark