Geodesic
A subdirectly irreducible symmetric Heyting algebra which is not simple.
Portugaliae mathematica, Tome 51 (1994) no. 1, pp. 141-146.

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

Keywords: simplicity, subdirect irreducibility, symmetric Heyting algebra, De Morgan negation 
@article{PORMA_1994__51_1_47027,
     author = {Galli, A. and Sagastume, M.},
     title = {A subdirectly irreducible symmetric {Heyting} algebra which is not simple.},
     journal = {Portugaliae mathematica},
     pages = {141--146},
     publisher = {mathdoc},
     volume = {51},
     number = {1},
     year = {1994},
     zbl = {0803.06013},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PORMA_1994__51_1_47027/}
}
TY  - JOUR
AU  - Galli, A.
AU  - Sagastume, M.
TI  - A subdirectly irreducible symmetric Heyting algebra which is not simple.
JO  - Portugaliae mathematica
PY  - 1994
SP  - 141
EP  - 146
VL  - 51
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PORMA_1994__51_1_47027/
LA  - en
ID  - PORMA_1994__51_1_47027
ER  - 
%0 Journal Article
%A Galli, A.
%A Sagastume, M.
%T A subdirectly irreducible symmetric Heyting algebra which is not simple.
%J Portugaliae mathematica
%D 1994
%P 141-146
%V 51
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PORMA_1994__51_1_47027/
%G en
%F PORMA_1994__51_1_47027
Galli, A.; Sagastume, M. A subdirectly irreducible symmetric Heyting algebra which is not simple.. Portugaliae mathematica, Tome 51 (1994) no. 1, pp. 141-146. http://geodesic.mathdoc.fr/item/PORMA_1994__51_1_47027/