Premium
Heyting Algebras with Operators
Author(s) -
Hasimoto Yasusi
Publication year - 2001
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200105)47:2<187::aid-malq187>3.0.co;2-j
Subject(s) - heyting algebra , mathematics , operator (biology) , pure mathematics , algebra over a field , biochemistry , chemistry , repressor , transcription factor , gene
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].