A subdirectly irreducible symmetric Heyting algebra which is not simple.
Portugaliae Mathematica (1994)
- Volume: 51, Issue: 1, page 141-146
- ISSN: 0032-5155
Access Full Article
topHow to cite
topGalli, A., and Sagastume, M.. "A subdirectly irreducible symmetric Heyting algebra which is not simple.." Portugaliae Mathematica 51.1 (1994): 141-146. <http://eudml.org/doc/47027>.
@article{Galli1994,
author = {Galli, A., Sagastume, M.},
journal = {Portugaliae Mathematica},
keywords = {simplicity; subdirect irreducibility; symmetric Heyting algebra; De Morgan negation},
language = {eng},
number = {1},
pages = {141-146},
publisher = {Sociedade Portuguesa de Matematica},
title = {A subdirectly irreducible symmetric Heyting algebra which is not simple.},
url = {http://eudml.org/doc/47027},
volume = {51},
year = {1994},
}
TY - JOUR
AU - Galli, A.
AU - Sagastume, M.
TI - A subdirectly irreducible symmetric Heyting algebra which is not simple.
JO - Portugaliae Mathematica
PY - 1994
PB - Sociedade Portuguesa de Matematica
VL - 51
IS - 1
SP - 141
EP - 146
LA - eng
KW - simplicity; subdirect irreducibility; symmetric Heyting algebra; De Morgan negation
UR - http://eudml.org/doc/47027
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.