Results 51 to 60 of about 202 (72)
Relationship between ideals of BCI‐algebras and order ideals of its adjoint semigroup
We consider the relationship between ideals of a BCI‐algebra and order ideals of its adjoint semigroup. We show that (1) if I is an ideal, then I = M−1(M(I)), (2) M(M−1(J)) is the order ideal generated by J∩R(X), (3) if X is a BCK‐algebra, then J = M(M−1(J)) for any order ideal J of X, thus, for each BCK‐algebra X there is a one‐to‐one correspondence ...
Michiro Kondo
wiley +1 more source
Relation Between Be-Algebras and G-Hilbert Algebras
Hilbert algebras are important tools for certain investigations in algebraic logic since they can be considered as fragments of any propositional logic containing a logical connective implication and the constant 1 which is considered as the logical ...
Rezaei Akbar, Saeid Arsham Borumand
doaj +1 more source
Fuzzy associative ℐ‐ideals of IS‐algebras
We fuzzify the concept of an associative ℐ‐ideal in an IS‐algebra. We give a relation between a fuzzy ℐ‐ideal and a fuzzy associative ℐ‐ideal, and we investigate some related properties.
Eun Hwan Roh +2 more
wiley +1 more source
On fuzzy BCC-ideals over a t-norm [PDF]
Using a t-norm T, the notion of T-fuzzy BCC-ideals of BCC-algebras is introduced, and some of their properties are investigated.
W. A. Dudek, Y. B. Jun
core
On branchwise commutative pseudo-BCH algebras [PDF]
Basic properties of branches of pseudo-BCH algebras are described. Next, the concept of a branchwise commutative pseudo-BCH algebra is introduced. Some conditions equivalent to branchwise commutativity are given.
Walendziak, Andrzej
core +2 more sources
On a Q-Smarandache Fuzzy Commutative Ideal of a Q-Smarandache BH-algebra [PDF]
In this paper, the notions of Q-Smarandache fuzzy commutative ideal and Q-Smarandache fuzzy sub-commutative ideal of a Q-Smarandache BH-Algebra are introduced, examples and related properties are investigated.
Husein, Hadi Abbass +1 more
core +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
Pre-semihyperadditive Categories
In this paper we extend the notion of classical (pre-)semiadditive category to (pre-)semihyperadditive category. Algebraic hyperstructures are algebraic systems whose objects possessing the hyperoperations or multi-valued operation.
Shojaei H. +2 more
doaj +1 more source
Dual commutative hyper-K-idelas of type 1 in hyper K-algebras of order 3 [PDF]
In this note we classify the bounded hyper K-algebras of order 3, which have D1 = {1}, D2 = {1, 2} and D3 = {0, 1} as a dual commutative hyper K-ideal of type 1.
Torkzadeh, Lida, Zahedi, Mohammad Mehdi
core
New generalizations of BCI, BCK and Hilbert algebras [PDF]
We introduce more generalizations of BCI, BCK and of Hilbert algebras, with proper examples, and show the hierarchies existing between all these algebras, old and new ones.
Iorgulescu, Afrodita
core

