FOLDING THEORY OF IMPLICATIVE AND OBSTINATE IDEALS IN BL-ALGEBRAS
Journal Title: Discussiones Mathematicae - General Algebra and Applications - Year 2018, Vol 38, Issue 2
Abstract
In this paper, the concepts of n-fold implicative ideals and n-fold obstinate ideals in BL-algebras are introduced. With respect to this concepts, some related results are given. In particular, it is proved that an ideal is an n-fold implicative ideal if and only if is an n-fold Boolean ideal. Also, it is shown that a BL-algebra is an n-fold integral BL-algebra if and only if trivial ideal {0} is an n-fold obstinate ideal. Moreover, the relation between n-fold obstinate ideals and n-fold (integral) obstinate filters in BL-algebras are studied by using the set of complement elements. Finally, it is proved that ideal I of BL-algebra L is an n-fold obstinate ideal if and only if LI is an n-fold obstinate BL-algebra. Keywords: BL-algebra, ideal, n-fold implicative ideal, n-fold obstinate ideal. 2010 Mathematics Subject Classification: 03G25, 03G05, 06D35, 06E99
ON THE LENGTH OF RATIONAL CONTINUED FRACTIONS OVER Fq(X)
Let Fq be a finite field and A(Y ) ∈ Fq(X, Y ). The aim of this paper is to prove that the length of the continued fraction expansion of A(P); P ∈ Fq[X], is bounded.
PSEUDO-BCH-ALGEBRAS
The notion of pseudo-BCH-algebras is introduced, and some of their properties are investigated. Conditions for a pseudo-BCH-algebra to be a pseudo-BCI-algebra are given. Ideals and minimal elements in pseudo-BCH algebras...
TRACE INEQUALITIES FOR POSITIVE SEMIDEFINITE MATRICES
Certain trace inequalities for positive definite matrices are generalized for positive semidefinite matrices using the notion of the group generalized inverse.
BI-INTERIOR IDEALS OF Γ-SEMIRINGS
In this paper, as a further generalization of ideals, we introduce the notion of bi-interior ideal as a generalization of quasi ideal, bi-ideal and interior ideal of Γ-semiring and study the properties of bi-interior ide...
M-SOLID GENERALIZED NON-DETERMINISTIC VARIETIES
A generalized non-deterministic hypersubstitution is a mapping which maps operation symbols of type τ to the set of terms of the same type which does not necessarily preserve the arity. We apply the generalized nondeterm...