@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)},
pages = {39--44},
year = {1978},
publisher = {Universit\'e Claude Bernard - Lyon 1},
volume = {15},
number = {1},
mrnumber = {545753},
zbl = {0415.03051},
language = {fr},
url = {https://www.numdam.org/item/PDML_1978__15_1_39_0/}
}
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 SP - 39 EP - 44 VL - 15 IS - 1 PB - Université Claude Bernard - Lyon 1 UR - https://www.numdam.org/item/PDML_1978__15_1_39_0/ LA - fr ID - PDML_1978__15_1_39_0 ER -
%0 Journal Article %A Becchio, Denise %T Deux définitions des algèbres de Heyting trivalentes involutives %J Publications du Département de mathématiques (Lyon) %D 1978 %P 39-44 %V 15 %N 1 %I Université Claude Bernard - Lyon 1 %U https://www.numdam.org/item/PDML_1978__15_1_39_0/ %G fr %F 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) no. 1, pp. 39-44. https://www.numdam.org/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. | Zbl | MR
(2) , Algèbres de Heyting trivalentes involutives, Notas de Lógica matemática n°32, Univ. Nac. del Sur, Bahia Blanca, Argentina, 1974. | Zbl | MR
(3) , On a lattice relating to the intuitionisticlogic, Jour. Osaka Inst. of Scie. and Tech. vol. 2, n°1-2 (1950) p.97-107. | Zbl | MR
(4) and , The mathematics of metamathematics, Warszava, 1963. | Zbl | MR
(5) , Postulates for distributive lattices, Canadian Journal of Mathematics 3 (1951) p.28-30. | Zbl | MR
(6) , Finite limitations on Dummett's LC, Notre Dame Jour. Fornal Log. 3 (1962) p. 170-174. | Zbl | MR
(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. | Zbl | MR
(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. | Zbl | MR





