Deux définitions des algèbres de Heyting trivalentes involutives
Publications du Département de mathématiques (Lyon) (1978)
- Volume: 15, Issue: 1, page 39-44
- ISSN: 0076-1656
Access Full Article
topHow to cite
topBecchio, Denise. "Deux définitions des algèbres de Heyting trivalentes involutives." Publications du Département de mathématiques (Lyon) 15.1 (1978): 39-44. <http://eudml.org/doc/273402>.
@article{Becchio1978,
author = {Becchio, Denise},
journal = {Publications du Département de mathématiques (Lyon)},
keywords = {involutive trivalent Heyting algebras},
language = {fre},
number = {1},
pages = {39-44},
publisher = {Université Claude Bernard - Lyon 1},
title = {Deux définitions des algèbres de Heyting trivalentes involutives},
url = {http://eudml.org/doc/273402},
volume = {15},
year = {1978},
}
TY - JOUR
AU - Becchio, Denise
TI - Deux définitions des algèbres de Heyting trivalentes involutives
JO - Publications du Département de mathématiques (Lyon)
PY - 1978
PB - Université Claude Bernard - Lyon 1
VL - 15
IS - 1
SP - 39
EP - 44
LA - fre
KW - involutive trivalent Heyting algebras
UR - http://eudml.org/doc/273402
ER -
References
top- (1) Becchio D., Sur les définitions des algèbres trivalentes de Lukasiewicz données par A.Monteiro, Logique et Analyse63-64 (1973) p.339-344. Zbl0307.02040MR347592
- (2) Iturrioz L., Algèbres de Heyting trivalentes involutives, Notas de Lógica matemática n°32, Univ. Nac. del Sur, Bahia Blanca, Argentina, 1974. Zbl0307.02039MR379181
- (3) Matsumoto K., On a lattice relating to the intuitionisticlogic, Jour. Osaka Inst. of Scie. and Tech. vol. 2, n°1-2 (1950) p.97-107. Zbl0041.00501MR57840
- (4) Rasiowa H. and Sikorski R., The mathematics of metamathematics, Warszava, 1963. Zbl0122.24311MR163850
- (5) Sholander M., Postulates for distributive lattices, Canadian Journal of Mathematics3 (1951) p.28-30. Zbl0042.02704MR38942
- (6) Thomas I., Finite limitations on Dummett's LC, Notre Dame Jour. Fornal Log.3 (1962) p. 170-174. Zbl0131.24510MR152415
- (7) Varlet J.C., Algèbres de Lukasiewicz trivalentes, Bull. de la Soc. Royale des Sc. de Liège, 36e année, n°9-10 (1968) p.399-408. Zbl0175.26604MR237388
- (8) Varlet J.C., Considérations sur les algèbres de Lukasiewicz trivalentes, Bull, de la Soc. Royale des Sc. de Liège, 38e année, n°9-10 (1969) p. 462-469. Zbl0193.29604MR260631
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.