Deux définitions des algèbres de Heyting trivalentes involutives

Denise Becchio

Publications du Département de mathématiques (Lyon) (1978)

  • Volume: 15, Issue: 1, page 39-44
  • ISSN: 0076-1656

How to cite

top

Becchio, 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. (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. (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. (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. (4) Rasiowa H. and Sikorski R., The mathematics of metamathematics, Warszava, 1963. Zbl0122.24311MR163850
  5. (5) Sholander M., Postulates for distributive lattices, Canadian Journal of Mathematics3 (1951) p.28-30. Zbl0042.02704MR38942
  6. (6) Thomas I., Finite limitations on Dummett's LC, Notre Dame Jour. Fornal Log.3 (1962) p. 170-174. Zbl0131.24510MR152415
  7. (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. (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 ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.