Results 61 to 70 of about 269 (166)
On branchwise implicative BCI-algebras
We introduce a new class of BCI-algebras, namely the class of branchwise implicative BCI-algebras. This class contains the class of implicative BCK-algebras, the class of weakly implicative BCI-algebras (Chaudhry, 1990), and the class of medial BCI ...
Muhammad Anwar Chaudhry
doaj +1 more source
We introduce the concept of generalized fuzzy module of BCK-algebras and present some fundamental properties. Also, we introduce the concept of generalized interval-valued fuzzy BCK-submodule and present some fundamental properties.
M. M. Altaiary +2 more
doaj +1 more source
Classifications of Hyper Pseudo BCK-algebras of Order 3
In this paper by considering the notion of hyper pseudo BCK-algebra, we classify the set of all non-isomorphic hyper pseudo BCK-algebras of order 3. For this, we define the notion of simple and normalcondition and we characterize the all of hyper pseudo ...
R. A. Borzooei, A. Rezazadeh, R. Ameri
doaj
Rough and T-Rough Sets Arising from Intuitionistic Fuzzy Ideals in BCK-Algebras
This paper presents the novel concept of rough intuitionistic fuzzy ideals within the realm of BCK-algebras and investigates their fundamental properties.
Kholood M. Alsager, Sheza M. El-Deeb
doaj +1 more source
On sensible fuzzy ideals of BCK-algebras with respect to a t-conorm
We introduce the notion of sensible fuzzy ideals of BCK-algebras with respect to a t-conorm and investigate some of their properties. We give the conditions for a sensible fuzzy subalgebra with respect to a t-conorm to be a sensible fuzzy ideal with ...
M. Akram, Jianming Zhan
doaj +1 more source
Intuitionistic fuzzy ideals of BCK-algebras
We consider the intuitionistic fuzzification of the concept of subalgebras and ideals in BCK-algebras, and investigate some of their properties. We introduce the notion of equivalence relations on the family of all intuitionistic fuzzy ideals of a BCK ...
Young Bae Jun, Kyung Ho Kim
doaj +1 more source
Selected Properties of Some Generalizations of BCK Algebras
The notion of a RM algebra, introduced recently, is a generalization of many other algebras of logic. The class of RM algebras contains (weak-)BCC algebras, BCH algebras, BCI algebras, BCK algebras and many others. A RM algebra is an algebra A = (A; →, 1)
Dymek Grzegorz
doaj +1 more source
Engel, Nilpotent and Solvable BCI-algebras
In this paper, we define the concepts of Engel, nilpotent and solvable BCI-algebras and investigate some of their properties. Specially, we prove that any BCK-algebra is a 2-Engel.
Mohammadzadeh Elahe, Borzooei Rajab Ali
doaj +1 more source
On RM-algebras with an additional condition [PDF]
In this paper, we apply a new condition to RM-algebras. We obtain some relations among this condition with another axioms in some algebras of logic and some examples are given to illustrate them. %It is proved We prove that the relation derived from this
Akbar Rezaei
doaj +1 more source
HEREDITARY SUBALGEBRAS OF BCK-ALGEBRAS
The leading motivation for BCK-algebras comes from algebraic logic: a BCK-algebra \({\mathbf A}= \langle A; \cdot, 0\rangle\) is the algebraic counterpart of a purely implicational calculus in which \(0\) corresponds to truth, \(x\cdot y\) is interpreted as \(y\to x\) and \(x\cdot y= 0\) as \(\lvdash y\to x\).
Raftery, J. G., Sturm, T.
openaire +2 more sources

