@article{PDML_1978__15_1_39_0, author = {Becchio, Denise}, title = {Deux d\'efinitions des alg\`ebres de Heyting trivalentes involutives}, journal = {Publications du D\'epartement de math\'ematiques (Lyon)}, volume = {15}, year = {1978}, pages = {39-44}, mrnumber = {545753}, zbl = {0415.03051}, language = {fr}, url = {http://dml.mathdoc.fr/item/PDML_1978__15_1_39_0} }
Becchio, Denise. Deux définitions des algèbres de Heyting trivalentes involutives. Publications du Département de mathématiques (Lyon), Tome 15 (1978) pp. 39-44. http://gdmltest.u-ga.fr/item/PDML_1978__15_1_39_0/
(1) Sur les définitions des algèbres trivalentes de Lukasiewicz données par A.Monteiro, Logique et Analyse 63-64 (1973) p.339-344. | MR 347592 | Zbl 0307.02040
,(2) Algèbres de Heyting trivalentes involutives, Notas de Lógica matemática n°32, Univ. Nac. del Sur, Bahia Blanca, Argentina, 1974. | MR 379181 | Zbl 0307.02039
,(3) On a lattice relating to the intuitionisticlogic, Jour. Osaka Inst. of Scie. and Tech. vol. 2, n°1-2 (1950) p.97-107. | MR 57840 | Zbl 0041.00501
,(4) The mathematics of metamathematics, Warszava, 1963. | MR 163850 | Zbl 0122.24311
and ,(5) Postulates for distributive lattices, Canadian Journal of Mathematics 3 (1951) p.28-30. | MR 38942 | Zbl 0042.02704
,(6) Finite limitations on Dummett's LC, Notre Dame Jour. Fornal Log. 3 (1962) p. 170-174. | MR 152415 | Zbl 0131.24510
,(7) 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. | MR 237388 | Zbl 0175.26604
,(8) 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. | MR 260631 | Zbl 0193.29604
,