@article{PDML_1978__15_1_45_0, author = {Becchio, Denise}, title = {Sur l'axiome {d'Ivo} {Thomas}}, journal = {Publications du D\'epartement de math\'ematiques (Lyon)}, pages = {45--49}, publisher = {Universit\'e Claude Bernard - Lyon 1}, volume = {15}, number = {1}, year = {1978}, mrnumber = {545754}, zbl = {0426.03070}, language = {fr}, url = {http://www.numdam.org/item/PDML_1978__15_1_45_0/} }
Becchio, Denise. Sur l'axiome d'Ivo Thomas. Publications du Département de mathématiques (Lyon), Tome 15 (1978) no. 1, pp. 45-49. http://www.numdam.org/item/PDML_1978__15_1_45_0/
(1) Sur une définition des algèbres de Lukasiewicz et de Post d'ordre n, Bulletin de l'Académie Polonaise des Sciences, ( à paraître ) | Zbl
et ,(2) Lattice Theory, Amer. Math. Soc. Coll. Publ. 25, 3e ed. 1967. | MR | Zbl
,(3) Moisil algebras, Notas de Lógica matemática n° 27, Univ. Nac. del Sur, Bahia Blanca, Argentina, 1970. | MR | Zbl
,(4) Lukasiewicz and symmetrical Heyting algebras, Zeitschrift für math. Logik und Grundlagen der Math., 23, 1977, p.131-136. | MR | Zbl
,(5) Notes sur les logiques non-chrysippiennes, Ann. Sci. Univ. Jassy,27 (1941) p.86-98. | JFM | MR
,(6) The mathematics of metamathematics, Warszawa 1963. | MR | Zbl
and ,(7) Post algebras. I. Postulates and general theory, American Journal of Mathematics, 64 (1942) p. 167-188. | MR | Zbl
(8) Finitelimitations on Dummett's LC, Notre Deme Jour. Formal Log., 3 (1962) p.170-174. | MR | Zbl
,