Fuzzy filter spectrum of a BCK algebra.
Hyper BCI-algebras
We introduce the concept of a hyper BCI-algebra which is a generalization of a BCI-algebra, and investigate some related properties. Moreover we introduce a hyper BCI-ideal, weak hyper BCI-ideal, strong hyper BCI-ideal and reflexive hyper BCI-ideal in hyper BCI-algebras, and give some relations among these hyper BCI-ideals. Finally we discuss the relations between hyper BCI-algebras and hyper groups, and between hyper BCI-algebras and hyper -groups.
Generalized co-annihilator of BL-algebras
In BL-algebras we introduce the concept of generalized co-annihilators as a generalization of coannihilator and the set of the form x-1F where F is a filter, and study basic properties of generalized co-annihilators. We also introduce the notion of involutory filters relative to a filter F and prove that the set of all involutory filters relative to a filter with respect to the suit operations is a complete Boolean lattice and BL-algebra. We use the technology of generalized co-annihilators to give...
Complex Fuzzy Sets with Application in BCK/BCI-Algebras
As a generation of fuzzy set, the notion of complex fuzzy set which is an innovative concept is introduced by Ramot, Milo, Friedman and Kandel. The purpose of this article is to apply complex fuzzy set to BCK/BCI-algebras. The notions of a complex subalgebra and a complex left (right) reduced ideal in a BCK/BCI- algebra are introduced, and related properties are investigated. Characterizations of a complex subalgebra are provided, and the homomorphic image (preimage) of a complex subalgebra and...
Uniform topology onEQ-algebras
In this paper, we use filters of an EQ-algebra E to induce a uniform structure (E, 𝓚), and then the part 𝓚 induce a uniform topology 𝒯 in E. We prove that the pair (E, 𝒯) is a topological EQ-algebra, and some properties of (E, 𝒯) are investigated. In particular, we show that (E, 𝒯) is a first-countable, zero-dimensional, disconnected and completely regular space. Finally, by using convergence of nets, the convergence of topological EQ-algebras is obtained.
On annihilators in BL-algebras
In the paper, we introduce the notion of annihilators in BL-algebras and investigate some related properties of them. We get that the ideal lattice (I(L), ⊆) is pseudo-complemented, and for any ideal I, its pseudo-complement is the annihilator I⊥ of I. Also, we define the An (L) to be the set of all annihilators of L, then we have that (An(L); ⋂,∧An(L),⊥,0, L) is a Boolean algebra. In addition, we introduce the annihilators of a nonempty subset X of L with respect to an ideal I and study some properties...
Very true operators on MTL-algebras
The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also, conditions for an MTL-algebra to be an MV-algebra and a Gödel algebra are given via this operator. Moreover, very true filters on very true MTL-algebras are studied. In particular, subdirectly irreducible very true MTL-algebras are characterized...
Positive Implicative Soju Ideals in BCK-Algebras
The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations of positive implicative soju ideal are established. Finally, extension property for positive implicative soju ideal is constructed.
Page 1