Heyting algebras with operators (Q2720324)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Heyting algebras with operators |
scientific article; zbMATH DE number 1610970
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Heyting algebras with operators |
scientific article; zbMATH DE number 1610970 |
Statements
25 July 2002
0 references
Heyting algebras with unary operators
0 references
subdirectly irreducible Heyting algebras
0 references
Heyting algebras with operators (English)
0 references
In this paper, the author studies Heyting algebras with unary operators, that is, algebras \({\mathbf A}= ({\mathbf {A'}},M)\), where \({\mathbf {A'}}\) is a Heyting algebra and \(M\) is a finite set of unary operators \(m_1,\dots, m_k\). A general description of subdirectly irreducible Heyting algebras with operators is given under some conditions. The arguments can be extended to Heyting algebras with operators having arbitrary arities.
0 references
