Sur l'axiome d'Ivo Thomas
Publications du Département de mathématiques (Lyon) (1978)
- Volume: 15, Issue: 1, page 45-49
- ISSN: 0076-1656
Access Full Article
topHow to cite
topBecchio, Denise. "Sur l'axiome d'Ivo Thomas." Publications du Département de mathématiques (Lyon) 15.1 (1978): 45-49. <http://eudml.org/doc/273405>.
@article{Becchio1978,
author = {Becchio, Denise},
journal = {Publications du Département de mathématiques (Lyon)},
keywords = {Ivo Thomas axiom; Lukasiewicz algebras of order n; Post algebras of order n},
language = {fre},
number = {1},
pages = {45-49},
publisher = {Université Claude Bernard - Lyon 1},
title = {Sur l'axiome d'Ivo Thomas},
url = {http://eudml.org/doc/273405},
volume = {15},
year = {1978},
}
TY - JOUR
AU - Becchio, Denise
TI - Sur l'axiome d'Ivo Thomas
JO - Publications du Département de mathématiques (Lyon)
PY - 1978
PB - Université Claude Bernard - Lyon 1
VL - 15
IS - 1
SP - 45
EP - 49
LA - fre
KW - Ivo Thomas axiom; Lukasiewicz algebras of order n; Post algebras of order n
UR - http://eudml.org/doc/273405
ER -
References
top- (1) Becchio D. et Iturrioz L., 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 ) Zbl0404.03060
- (2) Birkhoff G., Lattice Theory, Amer. Math. Soc. Coll. Publ.25, 3e ed. 1967. Zbl0153.02501MR227053
- (3) Cignoli R., Moisil algebras, Notas de Lógica matemática n° 27, Univ. Nac. del Sur, Bahia Blanca, Argentina, 1970. Zbl0212.31701MR345884
- (4) Iturrioz L., Lukasiewicz and symmetrical Heyting algebras, Zeitschrift für math. Logik und Grundlagen der Math., 23, 1977, p.131-136. Zbl0373.02042MR491171
- (5) Moisil Gr., Notes sur les logiques non-chrysippiennes, Ann. Sci. Univ. Jassy,27 (1941) p.86-98. MR18621JFM67.0972.09
- (6) Rasiowa H. and Sikorski R., The mathematics of metamathematics, Warszawa1963. Zbl0122.24311MR163850
- (7) Rosenbloom P.Post algebras. I. Postulates and general theory, American Journal of Mathematics, 64 (1942) p. 167-188. Zbl0060.06701MR6148
- (8) Thomas I., Finitelimitations on Dummett's LC, Notre Deme Jour. Formal Log., 3 (1962) p.170-174. Zbl0131.24510MR152415
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.