Simple and pseudosimple algebras with operators
โ Scribed by V. L. Usoltsev
- Publisher
- Springer US
- Year
- 2009
- Tongue
- English
- Weight
- 251 KB
- Volume
- 164
- Category
- Article
- ISSN
- 1573-8795
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
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
The notion of a BooLEan algebra with operators was introduced by J~NSSON and TARSKI [ 5 ] . It encompasses as special cases relation algebras (TARSKI [9]), closure algebras (MCKINSEY-TARSKI [S]), cylindric algebras (HENRIN-TARSKI [4]), polyadic algebras (HALMOS [Z]), and other algebras which have be