Sur les algèbres de Heyting symétriques
Portugaliae mathematica, Tome 39 (1980) no. 1-4, pp. 1-237
Cet article a éte moissonné depuis la source European Digital Mathematics Library
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
@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/}
}
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/