Heyting Algebras with Operators
✍
Yasusi Hasimoto
📂
Article
📅
2001
🏛
John Wiley and Sons
🌐
English
⚖ 183 KB
In this paper, we will give a general description of subdirectly irreducible Heyting algebras with operators under some weak conditions, which includes the finite case, the normal case and the case for Boolean algebras with diamond operator. This can be done by normalizing these operators. This answ