Geodesic
Sur les algèbres de Heyting symétriques
Portugaliae mathematica, Tome 39 (1980) no. 1-4, pp. 1-237

Voir la notice de l'article provenant de la source European Digital Mathematics Library

MR   Zbl

Mots-clés : survey, algebraic aspects of nonclassical logic, implicative algebras, Lukasiewicz algebras, Boolean algebras, Post algebras, De Morgan algebras, Stone algebras, Kleene algebras, Heyting algebras 
Monteiro, António. Sur les algèbres de Heyting symétriques. Portugaliae mathematica, Tome 39 (1980) no. 1-4, pp. 1-237. http://geodesic.mathdoc.fr/item/PORMA_1980__39_1-4_115416/
@article{PORMA_1980__39_1-4_115416,
     author = {Monteiro, Ant\'onio},
     title = {Sur les alg\`ebres de {Heyting} sym\'etriques},
     journal = {Portugaliae mathematica},
     pages = {1--237},
     year = {1980},
     volume = {39},
     number = {1-4},
     mrnumber = {0776238},
     zbl = {0582.06012},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/PORMA_1980__39_1-4_115416/}
}
TY  - JOUR
AU  - Monteiro, António
TI  - Sur les algèbres de Heyting symétriques
JO  - Portugaliae mathematica
PY  - 1980
SP  - 1
EP  - 237
VL  - 39
IS  - 1-4
UR  - http://geodesic.mathdoc.fr/item/PORMA_1980__39_1-4_115416/
LA  - fr
ID  - PORMA_1980__39_1-4_115416
ER  - 
%0 Journal Article
%A Monteiro, António
%T Sur les algèbres de Heyting symétriques
%J Portugaliae mathematica
%D 1980
%P 1-237
%V 39
%N 1-4
%U http://geodesic.mathdoc.fr/item/PORMA_1980__39_1-4_115416/
%G fr
%F PORMA_1980__39_1-4_115416