Sub-implicative ideals and sub-commutative ideals of BCI-algebras (Q2709946)
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: Sub-implicative ideals and sub-commutative ideals of BCI-algebras |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sub-implicative ideals and sub-commutative ideals of BCI-algebras |
scientific article |
Statements
27 February 2002
0 references
BCI-algebra
0 references
sub-implicative ideal
0 references
positive implicative ideal
0 references
sub-commutative ideal
0 references
0.95400476
0 references
0 references
0.9237722
0 references
0.9179816
0 references
0.91337746
0 references
0.9074183
0 references
Sub-implicative ideals and sub-commutative ideals of BCI-algebras (English)
0 references
The authors introduce the notions of sub-implicative and sub-commutative ideals in BCI-algebras. These generalise the notion of \(p\)-ideals. They show that sub-implicative ideals are always sub-commutative. They characterize these types of ideals as well as positive implicative ideals. A major result is that an ideal is sub-implicative if and only if it is both positive implicative and sub-commutative.
0 references
