Sur les systèmes déductifs dans la logique Θ-valente
Boicescu, Vlad
Publications du Département de mathématiques (Lyon), Tome 8 (1971), p. 123-133 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1971-01-01
@article{PDML_1971__8_1_123_0,
     author = {Boicescu, Vlad},
     title = {Sur les syst\`emes d\'eductifs dans la logique $\Theta $-valente},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     volume = {8},
     year = {1971},
     pages = {123-133},
     mrnumber = {332433},
     zbl = {0262.02016},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PDML_1971__8_1_123_0}
}

Boicescu, Vlad. Sur les systèmes déductifs dans la logique $\Theta $-valente. Publications du Département de mathématiques (Lyon), Tome 8 (1971) pp. 123-133. http://gdmltest.u-ga.fr/item/PDML_1971__8_1_123_0/

[1] G. Georgescu Les algèbres de Lukasiewicz Θ-valentes, "Logique, automatique, informatique". (sous presse). | Zbl 0242.02065

[2] Gr. C. Moisil Lukasiewiczian algebras (mimeographed notes), 1968.

[3] A. Monteiro Construction des algèbres de Lukasiewicz trivalentes dans les algèbres de Boole monadiques. Math. Japon, 12, 1-23 (1967). | MR 224438 | Zbl 0165.30903

[4] D. Ponasse Logique mathématique, O.C.D.L. Paris, 1967.