Back to Search
Start Over
Heyting Algebras with Operators.
- Source :
-
Mathematical Logic Quarterly . May2001, Vol. 47 Issue 2, p187-196. 10p. - Publication Year :
- 2001
-
Abstract
- 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 answers the question posed in Wolter [4]. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 47
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 13585405
- Full Text :
- https://doi.org/10.1002/1521-3870(200105)47:2<187::AID-MALQ187>3.0.CO;2-J