Some remarks on hyper MV -algebras
|
|
- Roberta Burns
- 6 years ago
- Views:
Transcription
1 Journal of Intelligent & Fuzzy Systems 27 (2014) DOI: /IFS IOS Press 2997 Some remarks on hyper MV -algebras R.A. Borzooei a, W.A. Dudek b,, A. Radfar c and O. Zahiri a a Department of Mathematics, Shahid Beheshti University, Tehran, Iran b Institute of Mathematics and Computer Science, Wroclaw University of Technology, Wroclaw, Poland c Department of Mathematics, Payam Noor University, Tehran, Iran Abstract. We describe relations between hyper MV -algebras and hyper K-algebras and prove that a finite hyper MV -algebra satisfying the condition 0 x ={x}, used by many authors, is in fact an ordinary MV -algebra. We also characterize relations between the main types of deductive systems of hyper MV -algebras. Keywords: (proper) hyper MV -algebra, hyper K-algebra, deductive system 1. Introduction MV -algebras were introduced by Chang in [3] in order to show Lukasiewicz logic to be standard complete, i.e., complete with respect to evaluations of propositional variables in the real unit interval [0,1]. In [13], Mundici has proved that MV -algebras are categorically equivalent to Abelian lattice ordered groups with strong unit (see also [4]). The theory of hyperstructures which is a generalization of the concept of algebraic structures was first introduced by Marty [11] and since then many researchers have worked on and developed this new field of modern algebra. Some connections between a deterministic finite automaton and hyper algebraic structures called K-algebras are described in [8]. Many other interesting applications of hyper structures one can find in the book [5]. There are applications to the following subjects: geometry, binary relations, lattices, fuzzy sets and rough sets, automata, combinatorics, codes, artificial intelligence, and probabilities. Seems that one of important applications is in logic where the logical operations is not uniquely determined, i.e., they give some (set) possibilities. Corresponding author. W.A. Dudek, Institute of Mathematics and Computer Science, Wroclaw University of Technology, Wyb. Wyspianskiego 27, Wroclaw, Poland. Fax: ; s: wieslaw.dudek@pwr.edu.pl (W.A. Dudek); borzooei@ sbu.ac.ir (R.A. Borzooei), ateferadfar@yahoo.com (A. Radfar), om.zahiri@gmail.com (O. Zahiri). Recently, Borzooei et al. [1] introduced and studied hyper K-algebras and Ghorbani et al. [7], applied the hyperstructures to MV -algebras and introduced the concept of hyper MV -algebras which are a generalization of MV -algebras. They also, investigated the congruence relations to define quotient hyper MV -algebras, introduced the category of hyper MV - algebras, proved that this category has a terminal object and a co-equalizer, used Jia s construction to provide a free hyper MV -algebra by a set and shown that the monomorphisms in this category are exactly the one-to-one homomorphisms. Rasouli and Davvaz, [14], consider their results and studied homomorphisms, dual homomorphisms, strong homomorphisms and fundamental relations on hyper MV -algebras and gave some results about the connections between hyper MV - algebras and fundamental MV -algebras. In [6] the concept of (strong) prime hyper MV filter was introduced and the uniform topology on hyper MV -algebras was described. Moreover, Jun et al. [9, 10], introduced some new types of deductive systems on hyper MV - algebras and investigated their relations. Now, many authors study various types of hyper MV -algebras. Unfortunately, in mamy papers (see for example [7] and [9]) was used the condition 0 x ={x} which leading to some confusions. In this paper, we describe relations between hyper MV -algebras and hyper K-algebras and prove that there is no finite proper hyper MV -algebra in which 0 x = {x} is valid for all its elements. All such hyper MV /14/$ IOS Press and the authors. All rights reserved
2 2998 R.A. Borzooei et al. / Some remarks on hyper MV -algebras algebras are in fact classical MV -algebras. Finally, we consider relations between the main types of hyper MV - deductive systems. 2. Preliminaries Let M be a nonempty set, P(M) the family its nonempty subsets. By a binary hyper operation we mean each map from M M into P(M), i.e., any map which for each pair of elements from M asign some subset of M. Definition 2.1. A hyper MV -algebra is a nonempty set M endowed with a binary hyper operation, a unary operation and a constant 0 satisfying the following conditions: for all x, y, z M (hmv 1) x (y z) = (x y) z, (hmv 2) x y = y x, (hmv 3) (x ) = x, (hmv 4) (x y) y = (y x) x, (hmv 5) 0 x 0, (hmv 6) 0 x x, (hmv 7) if x y and y x, then x = y, where x y means that 0 x y. For every nonempty subsets A, B of M we define A B = {a b a A, b B} and A B if and only if there exist a A and b B such that a b. Also, we put 0 = 1 and A ={a a A}. If0 /= 0, then we say that a hyper MV -algebra (M,,, 0) is non-trivial. A hyper MV -algebra in which for some x, y M the set x y has at least two elements is called proper. The following proposition proved in [7] is almost obvious. Proposition 2.2. In a hyper MV -algebra (M,,, 0) for all x, y M the following statements hold: (i) x y y x, (ii) 0 x 1, (iii) 0 0 ={0}, (iv) x 0 x, (v) y 0 x = y x. Let (M,,, 0) be a hyper MV -algebra. Following [9] and [10] we say that a subset D M containing 0 is its hyper MV -deductive system if (x y) D and y D imply x D, for all x, y M, weak hyper MV -deductive system if (x y) D and y D imply x D, for all x, y M, (, ; )-hyper MV -deductive system if ((x y) z) D and (y z) D imply (x z) D, for all x, y, z M, (, ; )-hyper MV -deductive system if ((x y) z) D and (y z) D imply (x z) D, for all x, y, z M, (, ; )-hyper MV -deductive system if ((x y) z) D and (y z) D imply (x z) D, for all x, y, z M, (, ; )-hyper MV -deductive system if ((x y) z) D and (y z) D imply (x z) D, for all x, y, z M. Hyper MV -deductive systems have the following useful characterization proved in [10]. Proposition 2.3. A subset D of a hyper MV -algebra (M,,, 0) is its hyper MV -deductive system if and only if 0 D and (x y) D/= y D = x D for all x, y M. 3. Relation between hyper MV -algebras and hyper K-algebras Definition 3.1. A nonempty set H with a binary hyper operation and a constant 0 is called a hyper K-algebra if for all x, y, z H hold: (HK1) (x z) (y z) <x y, (HK2) (x y) z = (x z) y, (HK3) x<x, (HK4) x<yand y<ximply x = y, (HK5) 0 <x, where x<ymeans that 0 x y. If there exists an element e H such that x<e, for all x H, then a hyper K-algebra (H,, 0) is called bounded and e is its unit. A hyper K-algebra in which each set x y has only one element is a classical K-algebra. K-algebras, studied by many authors, are an important generalization of BCK-algebras strongly connected with BCK-logic [2]. Below we present one of possible definitions of BCK-algebras (see for example [12]).
3 R.A. Borzooei et al. / Some remarks on hyper MV -algebras 2999 Definition 3.2. A nonempty set H with a binary operation and a constant 0 is called a BCK-algebra if for all x, y, z H hold: (BCK1) (x z) (y z) x y, (BCK2) x (x y) y, (BCK3) x x, (BCK4) x y and y x imply x = y, (BCK5) 0 x, where x y means that x y = 0. The study of hyper K-algebras was initiated in [1] and continued in [7] and [17]. Below we present three theorems proved in [7]. Theorem 3.3. On any hyper MV -algebra (M,,, 0) we can define a bounded hyper K-algebra (M,, 0) by putting x y = (x y) for all x, y M. Theorem 3.4. If (H,, 0) is a bounded hyper K-algebra with a unit e such that (i) e (e x) ={x}, (ii) e ((e (x y)) y) = e ((e (y x)) x) hold for all x, y H, then the set e x has only one element. Moreover, (H,,, 0), where x = e x and x y = (x y), is a hyper MV -algebra. Theorem 3.5. If in a hyper MV -algebra (H,,, 0) for every x H we have x 0 ={x}, then (H,, 0), where x y = (x y), is a bounded hyper K-algebra satisfying the conditions of Theorem 3.4. Conversely, any bounded hyper K-algebra (H,, 0) satisfying the conditions of Theorem 3.4 becomes a hyper MV -algebra (H,,, 0) with respect to the operations x = 1 x and x y = (x y). Moreover, in this hyper MV - algebra x 0 ={x} and x y = (x y). In fact, in [7] it was proved that hyper MV -algebras in which 0 x ={x} and hyper K-algebras satisfying the conditions (i) and (ii) of Theorem 3.4, are equivalent. This situation is illustrated in [7] by the following example. Example 3.6. Let H ={0,b,1}. Then (H,, 0), where is defined by table: 0 b 1 0 {0} H {0} b {b} H H 1 {1} {b} {0} is a bounded hyper K-algebra and e = 1 is its unit. Further, the authors of [7] state that (H,, 0) satisfies the conditions of the Theorem 3.4, hence the set H with the operations 0 b 1 0 {0} {b} {1} b {b} H H 1 {1} H {1} is a hyper MV -algebra. x x 0 1 b b 1 0 Unfortunately, (H,,, 0) is not a hyper MV - algebra because for b H we have (0 b) b = (1 b) b = H b = H b = H /={b} =b 0 = (b 0) 0, which contradicts the axiom (hmv 4). On the other hand, for a hyper K-algebra defined in this example we have 1 ((1 (0 b)) b) = 1 ((1 H) b) = 1 (H b) = 1 H = H and 1 ((1 (b 0)) 0) = 1 ((1 {b}) 0) = 1 ({b} 0) = 1 {b} ={b}, which means that this hyper K-algebra does not satisfy the second condition of Theorem 3.4. This incorrect example of a hyper MV -algebra was used to show that there exists a hyper MV -algebra satisfying the following theorem and corollary proved in [9]. Theorem 3.7. If in a hyper MV -algebra (M,,, 0) for every x M the set (x 0) has only one element, then every (, ; )-hyper MV -deductive system of M is its weak hyper MV -deductive system. Corollary 3.8. If in a hyper MV -algebra (M,,, 0) for every x M the set (x 0) has only one element, then every (, ; )-hyper MV -deductive system of M is its hyper MV -deductive system. Below we prove that there are no finite proper hyper MV -algebras satisfying the assumption of Theorem 3.7 and Corollary 3.8. Consequently, there are no finite proper hyper K-algebras satisfying the assumption of Theorem 3.4.
4 3000 R.A. Borzooei et al. / Some remarks on hyper MV -algebras To prove this fact observe first that by (hmv 3) the map : M M is a bijection. So, the set (x 0) has one element if and only if the set x 0 has one element. But, by Proposition 2.2 (iv), for every x M we have x x 0. Hence x 0 ={x } for every x M. Thus x 0 ={x}. So, the set (x 0) has one element if and only if x 0 ={x}. This, by (hmv 2), means that the assumption of Theorem 3.7 is equivalent to the condition 0 x ={x} for all x M. (1) Sometimes the element 0 with this property is called skalar zero. Lemma 3.9. In a hyper MV -algebra M satisfying (1) we have (i) (1 x) x ={x}, (ii) (1 x) 1 = x x, (iii) x 1 x implies x = 1 for all x M. Proof. By (hmv 4), we have (1 x) x = (x 0) 0 = x 0 ={x}. Moreover, (1 x) 1 = (x 1) 1 = (1 x ) x = (0 x ) x = x x = x x so (i) and (ii) hold. (iii). Let x 1 x. Then by (i) we obtain that x x (1 x) x ={x}. From this, by (hmv 2) and (hmv 6), we conclude that 1 x x ={x} and so x = 1. Lemma In a hyper MV -algebra satisfying (1) holds 1 1 ={1}. Proof. Let x 1 1. Then, by (hmv 4) and Proposition 2.2 (ii), x 1 (1 1) 1 = (0 0) 0 = 0 0 ={1}. Thus 1 x ={1}. But by Lemma 3.9(ii), we have (1 x ) 1 = x x and so x x = (x 1) 1 = 0 1 ={1}. This together with (hmv 1) gives 1 1 = (x x ) 1 = x (1 x ) = x 1. Hence 1 1 = x 1 for every x 1 1. Thus, x x 1, so x = 1, by Lemma 3.9(iii). Therefore, 1 1 = {1}. The above lemma (in another way) is also proved in [16] as Theorem Lemma In a finite hyper MV -algebra M satisfying (1) we have 1 x ={1} for all x M. Proof. Let x M. By Lemma 3.10 and (hmv 1), we get 1 (1 x) = (1 1) x = 1 x. Hence we have 1 (1 x) = 1 x, for any x M. Obviously, 1 1 x. Suppose that there exists a 1 x such that a/= 1. Case 1. If 1 x ={1,a}, then a 1 x = 1 (1 x) = (1 1) (1 a). Since 1 1 ={1}, must be a a 1, which contradicts to Lemma 3.9 (iii). So, this case is impossible. Case 2. Let 1 x ={1,a,b}. Since a/ 1 a, b/ 1 b and {a, b} 1 x = 1 (1 x) = (1 1) (1 a) (1 b), we get a 1 b and b 1 a. From this, by applying 1 (1 x) = 1 x, we obtain 1 a 1 (1 b) = 1 b 1 (1 a) = 1 a. Hence 1 a = 1 b. Thus, a 1 a and b 1 b, which is a contradiction. So, this case is also impossible. Case 3. If 1 x ={1,a,b,c}, then {1,a,b,c}=1 x = 1 (1 x) = (1 1) (1 a) (1 b) (1 c). Since a/ 1 1 and a/ 1 a (Lemma 3.9), we have a 1 b or a 1 c. Without loss of generality, let a 1 b. Then b 1 a or b 1 c. Ifb 1 a, then, similarly as in the case of 1 x ={1,a,b}, we obtain a contradiction. If b 1 c, then 1 b 1 (1 c) = 1 c. Analogously a 1 b implies 1 a 1 b. Consequently, 1 a 1 b 1 c. Using the same method, from the fact that c 1 a or c 1 b, we deduce 1 c 1 a or 1 c 1 b. In the first case we obtain 1 a = 1 b = 1 c,in the second 1 b = 1 c. Thus, in both cases we get c 1 c, which is a contradiction. Hence this case is also impossible. Case 4. Suppose now that 1 x has at least five elements, i.e., 1 x ={1,a 2,a 3,...,a n } for some n 5. Then
5 R.A. Borzooei et al. / Some remarks on hyper MV -algebras 3001 {1,a 2,a 3,...,a n }=1 x = 1 (1 x) = (1 1) (1 a 2 ) (1 a 3 )... (1 a n ). From the above (Case 2) it follows that there is no 2 i<j n such that a i 1 a j and a j 1 a i. Also there is no 2 i<j<k n for which a i 1 j, a j 1 a k and a k 1 a i (Case 3). There remains the case when the elements of the set 1 x can be ordered in the following way a 2 1 a 3, a 3 1 a 4, a 4 1 a 5,..., a n 1 1 a n, a n 1 a k for some 2 k<n. Then, similarly as in the Case 3, 1 a k 1 (1 a k+1 ) = 1 a k+1 1 a k a n 1 1 a n and 1 a n 1 a k. Thus, 1 a k = 1 a n. Hence a n 1 a n, which is a contradiction. Therefore, the set 1 x has only one element, i.e., 1 x ={1} for all x M. Corollary In a finite hyper MV -algebra M satisfying (1) we have 1 A ={1} for any subset A of M. Lemma In a finite hyper MV -algebra M satisfying (1) we have x x ={1} for all x M. Proof. Indeed, by Lemmas 3.9 (ii) and 3.11, we get for all x M. x x = (1 x) 1 = 1 1 ={1} Theorem 3.14 There are no finite proper hyper MV - algebras satisfying (1). Proof. We show that a finite hyper MV -algebra M satisfying (1) is a MV -algebra, i.e., x y is singleton for any x, y M. Let x, y M and a, b be arbitrary elements of x y. Then (a b ) (a b) (x y) (x y). On the other hand, by (hmv 1), (hmv 4) and Lemma 3.11, we conclude that (x y) (x y) = x (y (x y) ) = x ((y x ) x ) = (x x ) (y x ) = 1 (y x ) ={1}. Hence a b ={1} and b a ={1}. From this, by (hmv 7), we obtain a = b. This means that x y has only one element. Corollary [16] A finite hyper MV -algebra satisfying (1) is an MV -algebra. Problem 1. Is an infinite proper hyper MV -algebra satisfying (1)? Theorem A finite bounded hyper K-algebra satisfying the conditions of Theorem 3.4 is a BCK-algebra. Proof. Let (H,, 0) be a finite bounded hyper K-algebra satisfying the conditions of Theorem 3.4. We show that for all x, y H the set x y has only one element. Let x, y H and the operations and will be defined as in Theorem 3.4. Then (H,,, 0) is a hyper MV -algebra and, by Theorem 3.5, (H,,, 0) satisfies (1). So, by Theorem 3.14, the set x y has only one element. In particular, x y and (x y) also have one element. Therefore, x y = (x y) has one element. Moreover, in this algebra x 0 = x = x. This means that (H,, 0) is a BCK-algebra. Corollary There are no finite proper bounded hyper K-algebras satisfying the conditions of Theorem 3.4. Problem 2. Is a proper bounded hyper K-algebra satisfying the conditions of Theorem 3.4? 4. Deductive systems of hyper MV -algebras According to [15] a nonempty subset D of a hyper MV -algebra (M,,, 0) is called S-reflexive if (x y) D/= implies (x y) D. Lemma 4.1. Let D be a nonempty subset of a hyper MV -algebra (M,,, 0). Then D is S-reflexive if and only if for all x, y M (x y) D/= = (x y) D. (2) Proof. Suppose that D is S-reflexive and x, y D are arbitrary elements such that (x y) D/=. Then
6 3002 R.A. Borzooei et al. / Some remarks on hyper MV -algebras (x y) D /=, and consequently (x y) D. Thus (x y) D. Hence (x y) D/= implies (x y) D. The converse statement is obvious. Theorem 4.2. In a hyper MV -algebra (M,,, 0) (a) each (, ; )-hyper MV -deductive system D such that x y and y D imply x D, (b) each (, ; )-hyper MV -deductive system, (c) each (, ; )-hyper MV -deductive system D satisfying (2) is a hyper MV -deductive system of M. Proof. (a). Let D bea(, ; )-hyper MV -deductive system in M. Assume that (x y) D and y D. By Proposition 2.2 (iv), (x y) ((x y) 0) and so (x y) ((x y) 0). Since (x y) D, then also ((x y) 0) D. In a similar way, we can show that y (y 0) and y D imply (y 0) D. Hence, ((x y) 0) D and (y 0) D, which, by the assumption on D, gives (x 0) D. Thus, there exists u (x 0) such that u D. So, u D and u x 0. This, by Proposition 2.2 (v), gives u x. Consequently, x u, which implies x D (since u D). Therefore, D is a hyper MV - deductive system of M. (b). Let D bea (, ; )-hyper MV -deductive system in M. If(x y) D and y D, then similarly as in the proof of (a), ((x y) 0) D and (y 0) D, which, by the assumption on D and Proposition 2.2 (iv), gives x = x (x 0) D. Therefore, D is a hyper MV -deductive system in M. (c). Let D bea(, ; )-hyper MV -deductive system in M such that D is S-reflexive. If (x y) D and y D, for some x, y M, then, in the same manner as in the proof of (a), we can show that ((x y) 0) D and y (y 0) D. Thus (y 0) D by Lemma 4.1. Hence, by the assumption on D, we obtain x (x 0) D. This means that D is a hyper MV -deductive system of M. Theorem 4.3. Each (, ; )-hyper MV -deductive system D satisfying (2) is a weak hyper MV -deductive system. Proof. Suppose that a (, ; )-hyper MV -deductive system D satisfies (2). Let (x y) D and y D. We will show that ((x y) 0) D and (y 0) D. For each u ((x y) 0) there is a u x y such that u (a u 0). Since a u D and a u a u 0, we have (a u 0) D /=. This by Lemma 4.1 gives (a u 0) D. Hence u (a u 0) D and consequently ((x y) 0) D. Analogously y D implies (y 0) D. From the above, by the assumption on D, we conclude x (x 0) D, which completes the proof. The following example shows that the converse of Theorem 4.2 and 4.3 is not true. Example 4.4. The set M ={0,a,b,1} with the operations and defined by: 0 a b 1 0 {0} {0,a} {b} {1,b} a {0,a} {a} {b, 1} {1} b {b} {b, 1} {b, 1} {b, 1} 1 {1,b} {1} {b, 1} {1} x x 0 1 a b b a 1 0 is a hyper MV -algebra and D ={0,a} is its hyper MV - deductive system. Since and ((1 a) b) = ((0 a) b) = ({0,a} b) ={1,b} ={0,a}, (a b) = (b b) ={1,b} ={0,a} (1 a) = (0 a) ={1,b}, we have ((1 a) b) D, ((1 a) b) D, (a b) D and (a b) D. But (1 a) / D and (1 a) / D. Thus D is not a (, ; )-hyper MV -deductive system nor a (, ; )-hyper MV - deductive system nor a (, ; )-hyper MV -deductive system nor a (, ; )-hyper MV -deductive system. In general, it is not true that a weak hyper MV - deductive system is a (, ; )-hyper MV -deductive system. But in some cases when a hyper MV -algebra satisfies some additional conditions it is true. One of such conditions is given in the following theorem proved in [9]. Theorem 4.5. If a hyper MV -algebra (M,,, 0) satisfies the identity ((x z) (y z) ) = ((x y) z) (3) then each its weak hyper MV -deductive system is a (, ; )-hyper MV -deductive system. Unfortunately there are no proper finite hyper MV - algebras satisfying this identity. To prove this fact
7 R.A. Borzooei et al. / Some remarks on hyper MV -algebras 3003 observe first that the identity (3) is equivalent to the identity (x z) (y z) = (x y) z (4) and the following lemma takes place. Lemma 4.6. In a hyper MV -algebra (M,,, 0) satisfying the identity (3) we have (i) (x y) z = (x y) (z y), (ii) 0 x = 0 (0 x), (iii) 0 x ={x} for all x, y, z M. Proof. (i). By (hmv 4) and (hmv 2), z (y z) = (y z) z = (z y) y = y (z y). From this, by applying (3), we obtain (x y) z = (x z) (y z) = x (z (y z) ) = x (y (z y) ) = (x y) (z y), which proves (i). (ii). Putting x = 1, y = 0 and z = x in (i), we get (1 0) x = (1 0) ((x ) 0) and so (0 0) x = (0 0) (x 0). This, by Proposition 2.2 (iii), implies (ii). (iii). Let x be an arbitrary element of M and let t 0 x. Then t x and x t. Since t 0 x implies t (0 x), we have 0 t 0 (0 x), which, by just proved (ii), gives 0 t 0 x. Thus, t 0 t 0 x and t x, by Proposition 2.2. From this, applying (hmv 7), we conclude t = x. Therefore, 0 x ={x} for all x M. Theorem 4.7. Any finite hyper MV -algebra satisfying the identity (3) is an MV -algebra. Proof. It is a consequence of Lemma 4.6 and Corollary Problem 3. Is an infinite proper hyper MV -algebra satisfying (3) or (4)? Another relation between weak hyper MV -deductive systems and (, ; )-hyper MV -deductive system is presented below. Theorem 4.8. Let D be a nonempty subset of a hyper MV -algebra (M,,, 0). If for every a M the set D(a, ) ={x M (x a) D} is a weak hyper MV -deductive system of M, then D is a (, ; )-hyper MV -deductive system of M. Proof. Let each D(a, ) be a weak hyper deductive system of M. Then obviously 0 D(a, ) for each a M. Thus, 0 (0 a) D, by(hmv 5). Hence 0 D. Further, if ((x y) z) D and (y z) D, for some x, y, z M, then (x y) D(z, ) and y D(z, ). This implies x D(z, ), so (x z) D. Therefore, D is a (, ; )-hyper deductive system of M. Theorem 4.9. If D is a (, ; )-hyper MV -deductive system of a hyper MV -algebra (M,,, 0), then each subset D(a, ) containing 0 is a weak hyper MV - deductive system of M. Proof. Let 0 D(a, ). If (x y) D(a, ) and y D(a, ), then for each u (x y) we have (u a) D and (y a) D, so ((x y) a) = ((x y) a) D. Since D isa(, ; )- hyper deductive system, the above implies (x a) D. Thus x D(a, ), which shows that D(a, ) isa weak hyper deductive system of M. Theorem Let D be a nonempty subset of a hyper MV -algebra (M,,, 0) containing 0. If for every a M the set D(a, ) ={x M (x a) D} is a hyper MV -deductive system of M, then D is a (, ; )-hyper MV -deductive system of M. Proof. By the assumption 0 D. Let for some x, y, z M will be ((x y) z) D and (y z) D. Then (x y) D(z, ) and y D(z, ). So, there exists u (x y) such that (u z) D. Thus u D(z, ). But u (x y) means also that u (x y). Hence u (x y) D(z, ). This, together with y D(z, ) and Proposition 2.3, gives x D(z, ). Therefore, (x z) D(z, ), which completes the proof. Theorem If D is a (, ; )-hyper MV - deductive system of a hyper MV -algebra (M,,, 0), then each subset D(a, ) is a hyper MV -deductive system of M.
8 3004 R.A. Borzooei et al. / Some remarks on hyper MV -algebras Proof. Since 0 D and 0 (0 a) for each a M, we have (0 a) D. Thus, 0 D(a, ) for every a M. Now let (x y) D(a, ) /= and y D(a, ). Then obviously (u a) D for some u (x y) D(a, ). On the other hand (u a) ((x y) a) = ((x y) a), hence ((x y) a) D. Since also (y a) D, by the assumption on D, we conclude (x a) D. Consequently, x D(a, ). Proposition 2.3 completes the proof. Analogously we can prove the following theorem. Theorem If D is a (, ; )-hyper or a (, ; )-hyper MV -deductive system of a hyper MV -algebra (M,,, 0), then each subset D(a, ) containing 0 is a hyper MV -deductive system of M. In the next theorem, we attempt to find the real relation between proper hyper K-algebras and proper hyper MV -algebras. Theorem Let (H,, 0) be a bounded hyper K-algebra with 1 as the greatest element such that: (i) each 1 x has the least element with respect to the relation <, (ii) (x ) = x, where x = min(1 x), (iii) (x y) = (y x), (iv) ((y x) x) = ((x y) y) for all x, y H. Then (H,,, 0), where x y = (x y), is a hyper MV -algebra. Conversely, if (M,,, 0) is a hyper MV -algebra, then (M,, 0), where (x y) = (x y), is a bounded K-algebra satisfying the conditions (i) (iv). Proof. Let (H,, 0) be a bounded hyper K-algebra satisfying the conditions (i) (iv). By (HK3) we have 0 1 1, so 1 = min(1 1) = 0, by (HK5). Thus, 1 = 0 and 0 = (1 ) = 1, by (ii). From (HK3) and (HK5) we get 0 x x and 0 (0 x), whence, applying (iii), we obtain (hmv 5) and (hmv 6). (hmv 2), (hmv 3) and (hmv 4) are a consequence of (iii), (ii) and (iv), respectively. Since x<y 0 x y 0 (x y) = x y x y, we see that (HK4) implies (hmv 7). To prove (hmv 1) observe that for any x, y, z H we have (x y) z = (x y) z = ((x y) z) = ((x y) z) by (ii) = ((y x) z) by (HK2) = ((y x) z) by (ii) = ((y z) x) by (HK2) = ((y z) x) = (y z) x = x (y z). Therefore, (H,,, 0) is a hyper MV -algebra. On the other hand, if (M,,, 0) is a hyper MV - algebra, then, by Theorem 3.3, (M,, 0) with the operation x y = (x y) is a bounded K-algebra. Moreover, for any x M and u 1 x we have u (1 x) = 0 x. Thus, u x and x u, by Proposition 2.2. But x 0 x = 1 x means that x (1 x) = 1 x. Hence x = min(1 x). The other conditions follows directly from the axioms of a hyper MV -algebra. Theorem For a bounded hyper K-algebra (H,, 0) with the greatest element 1 the conditions of Theorem 4.13 are equivalent to the conditions: (A1) 1 x has a least element with respect to <, (A2) x<yimplies y <x, where x = min(1 x), (A3) x y = y x, (A4) y (y x) = x (x y), (A5) x = max{u u 1 x} for all x, y H. Proof. Assume that a hyper K-algebra (H,, 0) is bounded and satisfies the conditions of Theorem We show that it satisfies (A1) (A5). (A1) and (i) are identical. (A2) Let x<yfor some x, y H. Then 0 x y and so 0 x y, by (ii). From this, by applying (iii), we obtain 0 (x y) = (y x ). Thus, 0 (y x ) = y x, whence y <x. So, (A2) is satisfied. (A3) is a consequence of (iii) and (ii). (A4) For any x, y H, using (ii) and (iii), we have y (y x) = y (y x) = {y a a y x} = {a y a y x} =(y x) y = (y x) y = (x y ) y.
9 R.A. Borzooei et al. / Some remarks on hyper MV -algebras 3005 Thus y (y x) = (x y ) y. Hence, by (iv), we get y (y x) = y (y x) = ((x y ) y ) = ((y x ) x ) = (x (x y)) = x (x y). This proves (A4). (A5) Let x H. Then x = min(1 x) <y for all y 1 x. So, min(1 y) < min(1 min(1 x)). Since min(1 x) 1 x, by (ii), we get x = x = max{min(1 y) y 1 x}. Therefore (H,, 0) satisfies (A5) and consequently it satisfies the conditions (A1) (A5). Conversely, let (H,, 0) be a bounded hyper K-algebra satisfying the conditions (A1) (A5). Obviously it satisfies (i). To prove (ii) consider an arbitrary element u 1 x. Then x <u and so u <x.on the other hand, x 1 x implies x {u u 1 x}. Hence, by (A5), x = max{u u 1 x} =x, which proves (ii). (iii) is a consequence of (A3). By (A3), for any x, y H, we also have (x y) y = y (x y) = y (x y) = y (y x ). This, by (A4), gives (x y) y = (y x) x. Hence ((x y) y) = ((y x) x), i.e., (iv) holds. 5. Conclusion We show that any finite hyper MV -algebra in which 0 x ={x} is valid for all its elements is MV -algebra and the corresponding hyper K-algebra is a BCKalgebra. This means that results proved in [7] and [9] are valid only for infinite hyper MV -algebras if such infinite hyper MV -algebras exist. References [1] R.A. Borzooei, A. Hasankhani, M.M. Zahedi and Y.B. Jun, On hyper K-algebras, Math Japon 52 (2000), [2] M.W. Bunder, Simpler axioms for BCK algebras and the connection between the axioms and the combinators B, C and K, Math Japon 26 (1981), [3] C.C. Chang, Algebraic analysis of many valued logics, Trans Amer Math Soc 88 (1958), [4] W.M. Cornish, Lattice-ordered groups and BCK-algebras, Math Japon 25 (1980), [5] P. Corsini and V. Leoreanu, Applications of hyperstructures theory, Adv in Math, Kluwer Acad Publ, [6] S. Ghorbani, E. Eslami and A. Hasankhani, Uniform topology and spectral topology on hyper MV-algebras, Quasigroups and Related Systems 17 (2009), 39-ŰU54. [7] S. Ghorbani, A. Hasankhani and E. Eslami, Hyper MV-algebras, Set-Valued Math Appl 1 (2008), [8] M. Golmohamadian and M.M. Zahedi, Hyper K-algebras induced by a deterministic finite automaton, Italian J pure Appl Math 27 (2010), [9] Y.B. Jun, M.S. Kang and H.S. Kim, New type of hyper MVdeductive system in hyper MV-algebras, Math Log Quart 56 (2009), [10] Y.B. Jun, M.S. Kang and H.S. Kim, Hyper MV-deductive systems of hyper MV-algebras, Commun Korean Math Soc 25 (2010), [11] F. Marty, Sur une generalization de la notation de group, 8th Congress Math Scandianaves, Stockholm, (1934), [12] J. Meng and Y.B. Jun BCK-algebras, Kyung Moon SA Co, Seoul, [13] D. Mundici, Interpretation of AF C*-algebras in Lukasiewicz sentential calculus, J Funct Anal 65 (1986), [14] S. Rasouli and B. Davvaz, Homomorphisms, ideals and binary relations on hyper-mv algebras, Multiple-valued Logic and Soft Computing 17 (2011), [15] L. Torkzadeh and A. Ahadpanah, Hyper MV-ideals in hyper MV-algebras, Math Log Quart 56 (2010), [16] L. Torkzadeh and S. Ghorbani, Some characterization of hyper MV-algebras, J Mahani Math Research Center 1 (2012), [17] M.M. Zahedi, R.A. Borzooei, Y.B. Jun and A. Hasankhani, Some results on hyper K-algebras, Scientiae Math 3 (2000),
Prime filters of hyperlattices
DOI: 10.1515/auom-2016-0025 An. Şt. Univ. Ovidius Constanţa Vol. 24(2),2016, 15 26 Prime filters of hyperlattices R. Ameri, M. Amiri-Bideshki, A. B. Saeid and S. Hoskova-Mayerova Abstract The purpose of
More informationSOME STRUCTURAL PROPERTIES OF HYPER KS-SEMIGROUPS
italian journal of pure and applied mathematics n. 33 2014 (319 332) 319 SOME STRUCTURAL PROPERTIES OF HYPER KS-SEMIGROUPS Bijan Davvaz Department of Mathematics Yazd University Yazd Iran e-mail: davvaz@yazduni.ac.ir
More informationDUAL BCK-ALGEBRA AND MV-ALGEBRA. Kyung Ho Kim and Yong Ho Yon. Received March 23, 2007
Scientiae Mathematicae Japonicae Online, e-2007, 393 399 393 DUAL BCK-ALGEBRA AND MV-ALGEBRA Kyung Ho Kim and Yong Ho Yon Received March 23, 2007 Abstract. The aim of this paper is to study the properties
More informationScientiae Mathematicae Japonicae Online, Vol. 4, (2001), SOME CLASSIFICATIONS OF HYPERK-ALGEBRAS OF ORDER 3 M.M.Zahedi, R.A. Borzoei, H. Reza
Scientiae Mathematicae Japonicae Online, Vol. 4, (2001), 75 84 75 SOME CLASSIFICATIONS OF HYPERK-ALGEBRAS OF ORDER 3 M.M.Zahedi, R.A. Borzoei, H. Rezaei Received May 11,2000 Abstract. In this paper first
More informationarxiv: v1 [math.lo] 20 Oct 2007
ULTRA LI -IDEALS IN LATTICE IMPLICATION ALGEBRAS AND MTL-ALGEBRAS arxiv:0710.3887v1 [math.lo] 20 Oct 2007 Xiaohong Zhang, Ningbo, Keyun Qin, Chengdu, and Wieslaw A. Dudek, Wroclaw Abstract. A mistake concerning
More informationScientiae Mathematicae Japonicae Online, Vol. 4(2001), FUZZY HYPERBCK IDEALS OF HYPERBCK ALGEBRAS Young Bae Jun and Xiao LongXin Received
Scientiae Mathematicae Japonicae Online, Vol. 4(2001), 415 422 415 FUZZY HYPERBCK IDEALS OF HYPERBCK ALGEBRAS Young Bae Jun and Xiao LongXin Received August 7, 2000 Abstract. The fuzzification of the notion
More informationGeneralized Fuzzy Ideals of BCI-Algebras
BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 32(2) (2009), 119 130 Generalized Fuzzy Ideals of BCI-Algebras 1 Jianming Zhan and
More informationFUZZY BCK-FILTERS INDUCED BY FUZZY SETS
Scientiae Mathematicae Japonicae Online, e-2005, 99 103 99 FUZZY BCK-FILTERS INDUCED BY FUZZY SETS YOUNG BAE JUN AND SEOK ZUN SONG Received January 23, 2005 Abstract. We give the definition of fuzzy BCK-filter
More information212 J. MENG AND Y. B. JUN An ideal I is said to be prime if (v) x ^ y 2 I implies x 2 I or y 2 I. The set of all ideals of X is denoted by I(X); the s
Scientiae Mathematicae Vol.1, No. 2(1998), 211{215 211 THE SPECTRAL SPACE OF MV{ALGEBRAS IS A STONE SPACE Jie Meng and Young Bae Jun y Received July 20, 1995 Abstract. Let X be an MV-algebra and let Spec(X)
More informationON FUZZY TOPOLOGICAL BCC-ALGEBRAS 1
Discussiones Mathematicae General Algebra and Applications 20 (2000 ) 77 86 ON FUZZY TOPOLOGICAL BCC-ALGEBRAS 1 Wies law A. Dudek Institute of Mathematics Technical University Wybrzeże Wyspiańskiego 27,
More informationDOI: /auom An. Şt. Univ. Ovidius Constanţa Vol. 25(1),2017, ON BI-ALGEBRAS
DOI: 10.1515/auom-2017-0014 An. Şt. Univ. Ovidius Constanţa Vol. 25(1),2017, 177 194 ON BI-ALGEBRAS Arsham Borumand Saeid, Hee Sik Kim and Akbar Rezaei Abstract In this paper, we introduce a new algebra,
More informationPrime Hyperideal in Multiplicative Ternary Hyperrings
International Journal of Algebra, Vol. 10, 2016, no. 5, 207-219 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.6320 Prime Hyperideal in Multiplicative Ternary Hyperrings Md. Salim Department
More informationON A PERIOD OF ELEMENTS OF PSEUDO-BCI-ALGEBRAS
Discussiones Mathematicae General Algebra and Applications 35 (2015) 21 31 doi:10.7151/dmgaa.1227 ON A PERIOD OF ELEMENTS OF PSEUDO-BCI-ALGEBRAS Grzegorz Dymek Institute of Mathematics and Computer Science
More informationMV -ALGEBRAS ARE CATEGORICALLY EQUIVALENT TO A CLASS OF DRl 1(i) -SEMIGROUPS. (Received August 27, 1997)
123 (1998) MATHEMATICA BOHEMICA No. 4, 437 441 MV -ALGEBRAS ARE CATEGORICALLY EQUIVALENT TO A CLASS OF DRl 1(i) -SEMIGROUPS Jiří Rachůnek, Olomouc (Received August 27, 1997) Abstract. In the paper it is
More informationSome Results About Generalized BCH-Algebras
International Journal of Algebra, Vol. 11, 2017, no. 5, 231-246 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2017.712 Some Results About Generalized BCH-Algebras Muhammad Anwar Chaudhry 1
More informationIntroduction to Neutrosophic BCI/BCK-Algebras
Introduction to Neutrosophic BCI/BCK-Algebras A.A.A. Agboola 1 and B. Davvaz 2 1 Department of Mathematics, Federal University of Agriculture, Abeokuta, Nigeria aaaola2003@yahoo.com 2 Department of Mathematics,
More informationCompletely Simple and Regular Semi Hypergroups
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY http:/math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 35(2) (2012), 335 343 Completely Simple and Regular Semi Hypergroups 1 HOSSEIN MOUSA
More informationZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (554 568) 554 ZARISKI TOPOLOGY FOR SECOND SUBHYPERMODULES Razieh Mahjoob Vahid Ghaffari Department of Mathematics Faculty of Mathematics Statistics
More informationBG/BF 1 /B/BM-algebras are congruence permutable
Mathematica Aeterna, Vol. 5, 2015, no. 2, 351-35 BG/BF 1 /B/BM-algebras are congruence permutable Andrzej Walendziak Institute of Mathematics and Physics Siedlce University, 3 Maja 54, 08-110 Siedlce,
More informationSome Pre-filters in EQ-Algebras
Available at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 1932-9466 Vol. 12, Issue 2 (December 2017), pp. 1057-1071 Applications and Applied Mathematics: An International Journal (AAM) Some Pre-filters
More informationSoft subalgebras and soft ideals of BCK/BCI-algebras related to fuzzy set theory
MATHEMATICAL COMMUNICATIONS 271 Math. Commun., Vol. 14, No. 2, pp. 271-282 (2009) Soft subalgebras and soft ideals of BCK/BCI-algebras related to fuzzy set theory Young Bae Jun 1 and Seok Zun Song 2, 1
More informationFuzzy filters and fuzzy prime filters of bounded Rl-monoids and pseudo BL-algebras
Fuzzy filters and fuzzy prime filters of bounded Rl-monoids and pseudo BL-algebras Jiří Rachůnek 1 Dana Šalounová2 1 Department of Algebra and Geometry, Faculty of Sciences, Palacký University, Tomkova
More informationQuotient and Homomorphism in Krasner Ternary Hyperrings
International Journal of Mathematical Analysis Vol. 8, 2014, no. 58, 2845-2859 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2014.410316 Quotient and Homomorphism in Krasner Ternary Hyperrings
More informationCoupled -structures and its application in BCK/BCI-algebras
IJST (2013) 37A2: 133-140 Iranian Journal of Science & Technology http://www.shirazu.ac.ir/en Coupled -structures its application in BCK/BCI-algebras Young Bae Jun 1, Sun Shin Ahn 2 * D. R. Prince Williams
More informationON FILTERS IN BE-ALGEBRAS. Biao Long Meng. Received November 30, 2009
Scientiae Mathematicae Japonicae Online, e-2010, 105 111 105 ON FILTERS IN BE-ALGEBRAS Biao Long Meng Received November 30, 2009 Abstract. In this paper we first give a procedure by which we generate a
More informationUni-soft hyper BCK-ideals in hyper BCK-algebras.
Research Article http://wwwalliedacademiesorg/journal-applied-mathematics-statistical-applications/ Uni-soft hyper BCK-ideals in hyper BCK-algebras Xiao Long Xin 1*, Jianming Zhan 2, Young Bae Jun 3 1
More informationSubalgebras and ideals in BCK/BCI-algebras based on Uni-hesitant fuzzy set theory
EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 11, No. 2, 2018, 417-430 ISSN 1307-5543 www.ejpam.com Published by New York Business Global Subalgebras and ideals in BCK/BCI-algebras based on Uni-hesitant
More informationON THE HYPERBANACH SPACES. P. Raja. S.M. Vaezpour. 1. Introduction
italian journal of pure and applied mathematics n. 28 2011 (261 272) 261 ON THE HYPERBANACH SPACES P. Raja Department O Mathematics Shahid Beheshti University P.O. Box 1983963113, Tehran Iran e-mail: pandoora
More informationComputers and Mathematics with Applications
Computers and Mathematics with Applications 58 (2009) 248 256 Contents lists available at ScienceDirect Computers and Mathematics with Applications journal homepage: www.elsevier.com/locate/camwa Some
More informationInternational Journal of Algebra, Vol. 7, 2013, no. 3, HIKARI Ltd, On KUS-Algebras. and Areej T.
International Journal of Algebra, Vol. 7, 2013, no. 3, 131-144 HIKARI Ltd, www.m-hikari.com On KUS-Algebras Samy M. Mostafa a, Mokhtar A. Abdel Naby a, Fayza Abdel Halim b and Areej T. Hameed b a Department
More informationEuropean Journal of Combinatorics
European Journal of Combinatorics 31 (2010) 780 789 Contents lists available at ScienceDirect European Journal of Combinatorics journal homepage: www.elsevier.com/locate/ejc Hypergroups and n-ary relations
More informationHyperideals and hypersystems in LA-hyperrings
Songklanakarin J. Sci. Technol. 39 (5), 651-657, Sep. - Oct. 017 http://www.sjst.psu.ac.th Original Article Hyperideals and hypersystems in LA-hyperrings Inayatur Rehman 1, Naveed Yaqoob *, and Shah Nawaz
More informationOn generalized fuzzy sets in ordered LA-semihypergroups
Proceedings of the Estonian Academy of Sciences, 2019, 68, 1, 43 54 https://doi.org/10.3176/proc.2019.1.06 Available online at www.eap.ee/proceedings On generalized fuzzy sets in ordered LA-semihypergroups
More informationThe logic of perfect MV-algebras
The logic of perfect MV-algebras L. P. Belluce Department of Mathematics, British Columbia University, Vancouver, B.C. Canada. belluce@math.ubc.ca A. Di Nola DMI University of Salerno, Salerno, Italy adinola@unisa.it
More informationObstinate filters in residuated lattices
Bull. Math. Soc. Sci. Math. Roumanie Tome 55(103) No. 4, 2012, 413 422 Obstinate filters in residuated lattices by Arsham Borumand Saeid and Manijeh Pourkhatoun Abstract In this paper we introduce the
More informationKyung Ho Kim, B. Davvaz and Eun Hwan Roh. Received March 5, 2007
Scientiae Mathematicae Japonicae Online, e-2007, 649 656 649 ON HYPER R-SUBGROUPS OF HYPERNEAR-RINGS Kyung Ho Kim, B. Davvaz and Eun Hwan Roh Received March 5, 2007 Abstract. The study of hypernear-rings
More informationMathematica Slovaca. Ján Jakubík On the α-completeness of pseudo MV-algebras. Terms of use: Persistent URL:
Mathematica Slovaca Ján Jakubík On the α-completeness of pseudo MV-algebras Mathematica Slovaca, Vol. 52 (2002), No. 5, 511--516 Persistent URL: http://dml.cz/dmlcz/130365 Terms of use: Mathematical Institute
More informationVague Set Theory Applied to BM-Algebras
International Journal of Algebra, Vol. 5, 2011, no. 5, 207-222 Vague Set Theory Applied to BM-Algebras A. Borumand Saeid 1 and A. Zarandi 2 1 Dept. of Math., Shahid Bahonar University of Kerman Kerman,
More informationOn the Hypergroups Associated with
Journal of Informatics and Mathematical Sciences Vol. 6, No. 2, pp. 61 76, 2014 ISSN 0975-5748 (online); 0974-875X (print) Published by RGN Publications http://www.rgnpublications.com On the Hypergroups
More informationAndrzej Walendziak, Magdalena Wojciechowska-Rysiawa BIPARTITE PSEUDO-BL ALGEBRAS
DEMONSTRATIO MATHEMATICA Vol. XLIII No 3 2010 Andrzej Walendziak, Magdalena Wojciechowska-Rysiawa BIPARTITE PSEUDO-BL ALGEBRAS Abstract. The class of bipartite pseudo-bl algebras (denoted by BP) and the
More informationAPPROXIMATIONS IN H v -MODULES. B. Davvaz 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 6, No. 4, pp. 499-505, December 2002 This paper is available online at http://www.math.nthu.edu.tw/tjm/ APPROXIMATIONS IN H v -MODULES B. Davvaz Abstract. In this
More informationarxiv: v1 [math.ra] 25 May 2013
Quasigroups and Related Systems 20 (2012), 203 209 Congruences on completely inverse AG -groupoids Wieslaw A. Dudek and Roman S. Gigoń arxiv:1305.6858v1 [math.ra] 25 May 2013 Abstract. By a completely
More informationFuzzy congruence relations on nd-groupoids
Proceedings of the International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2008 13 17 June 2008. Fuzzy congruence relations on nd-groupoids P. Cordero 1, I.
More informationPure Mathematical Sciences, Vol. 1, 2012, no. 3, On CS-Algebras. Kyung Ho Kim
Pure Mathematical Sciences, Vol. 1, 2012, no. 3, 115-121 On CS-Algebras Kyung Ho Kim Department of Mathematics Korea National University of Transportation Chungju 380-702, Korea ghkim@ut.ac.kr Abstract
More informationROUGHNESS IN MODULES BY USING THE NOTION OF REFERENCE POINTS
Iranian Journal of Fuzzy Systems Vol. 10, No. 6, (2013) pp. 109-124 109 ROUGHNESS IN MODULES BY USING THE NOTION OF REFERENCE POINTS B. DAVVAZ AND A. MALEKZADEH Abstract. A module over a ring is a general
More informationBM-ALGEBRAS AND RELATED TOPICS. 1. Introduction
ao DOI: 10.2478/s12175-014-0259-x Math. Slovaca 64 (2014), No. 5, 1075 1082 BM-ALGEBRAS AND RELATED TOPICS Andrzej Walendziak (Communicated by Jiří Rachůnek ) ABSTRACT. Some connections between BM-algebras
More informationON SUB-IMPLICATIVE (α, β)-fuzzy IDEALS OF BCH-ALGEBRAS
ON SUB-IMPLICATIVE (α, β)-fuzzy IDEALS OF BCH-ALGEBRAS MUHAMMAD ZULFIQAR Communicated by the former editorial board In this paper, we introduce the concept of sub-implicative (α, β)-fuzzy ideal of BCH-algebra
More informationTRANSITIVE AND ABSORBENT FILTERS OF LATTICE IMPLICATION ALGEBRAS
J. Appl. Math. & Informatics Vol. 32(2014), No. 3-4, pp. 323-330 http://dx.doi.org/10.14317/jami.2014.323 TRANSITIVE AND ABSORBENT FILTERS OF LATTICE IMPLICATION ALGEBRAS M. SAMBASIVA RAO Abstract. The
More informationA Structure of KK-Algebras and its Properties
Int. Journal of Math. Analysis, Vol. 6, 2012, no. 21, 1035-1044 A Structure of KK-Algebras and its Properties S. Asawasamrit Department of Mathematics, Faculty of Applied Science, King Mongkut s University
More informationPROPERTIES OF HYPERIDEALS IN ORDERED SEMIHYPERGROUPS. Thawhat Changphas. Bijan Davvaz
italian journal of pure and applied mathematics n. 33 2014 (425 432) 425 PROPERTIES OF HYPERIDEALS IN ORDERED SEMIHYPERGROUPS Thawhat Changphas Department of Mathematics Faculty of Science Khon Kaen University
More informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
More informationQuasigroups and Related Systems 8 (2001), Hee Kon Park and Hee Sik Kim. Abstract. 1. Introduction
Quasigroups and Related Systems 8 (2001), 67 72 On quadratic B-algebras Hee Kon Park and Hee Sik Kim Abstract In this paper we introduce the notion of quadratic B-algebra which is a medial quasigroup,
More informationOn Homomorphism and Algebra of Functions on BE-algebras
On Homomorphism and Algebra of Functions on BE-algebras Kulajit Pathak 1, Biman Ch. Chetia 2 1. Assistant Professor, Department of Mathematics, B.H. College, Howly, Assam, India, 781316. 2. Principal,
More informationSongklanakarin Journal of Science and Technology SJST R1 Yaqoob. Hyperideals and Hypersystems in LA-hyperrings
Songklanakarin Journal of Science and Technology SJST-0-0.R Yaqoob Hyperideals and Hypersystems in LA-hyperrings Journal: Songklanakarin Journal of Science and Technology Manuscript ID SJST-0-0.R Manuscript
More informationON FUZZY IDEALS OF PSEUDO MV -ALGEBRAS
Discussiones Mathematicae General Algebra and Applications 28 (2008 ) 63 75 ON FUZZY IDEALS OF PSEUDO MV -ALGEBRAS Grzegorz Dymek Institute of Mathematics and Physics University of Podlasie 3 Maja 54,
More informationarxiv: v1 [cs.it] 12 Aug 2016
Some connections between BCK-algebras and n ary block codes arxiv:1608.03684v1 [cs.it] 12 Aug 2016 A. Borumand Saeid, Cristina Flaut, Sarka Hošková-Mayerová, Roxana-Lavinia Cristea, M. Afshar, M. Kuchaki
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationResearch Article Introduction to Neutrosophic BCI/BCK-Algebras
International Mathematics and Mathematical Sciences Volume 2015, Article ID 370267, 6 pages http://dx.doi.org/10.1155/2015/370267 Research Article Introduction to Neutrosophic BCI/BCK-Algebras A. A. A.
More informationOn atoms in BCC-algebras
Discussiones Mathematicae ser. Algebra and Stochastic Methods 15 (1995), 81 85 On atoms in BCC-algebras Wies law A. DUDEK and Xiaohong ZHANG Abstract We characterize the the set of all atoms of a BCC-algebra
More informationNeutrosophic Permeable Values and Energetic Subsets with Applications in BCK/BCI-Algebras
mathematics Article Neutrosophic Permeable Values Energetic Subsets with Applications in BCK/BCI-Algebras Young Bae Jun 1, *, Florentin Smarache 2 ID, Seok-Zun Song 3 ID Hashem Bordbar 4 ID 1 Department
More informationSTRONGLY EXTENSIONAL HOMOMORPHISM OF IMPLICATIVE SEMIGROUPS WITH APARTNESS
SARAJEVO JOURNAL OF MATHEMATICS Vol.13 (26), No.2, (2017), 155 162 DOI: 10.5644/SJM.13.2.03 STRONGLY EXTENSIONAL HOMOMORPHISM OF IMPLICATIVE SEMIGROUPS WITH APARTNESS DANIEL ABRAHAM ROMANO Abstract. The
More informationA NOVEL VIEW OF ROUGH SOFT SEMIGROUPS BASED ON FUZZY IDEALS. Qiumei Wang Jianming Zhan Introduction
italian journal of pure and applied mathematics n. 37 2017 (673 686) 673 A NOVEL VIEW OF ROUGH SOFT SEMIGROUPS BASED ON FUZZY IDEALS Qiumei Wang Jianming Zhan 1 Department of Mathematics Hubei University
More informationEQ-ALGEBRAS WITH PSEUDO PRE-VALUATIONS. Yongwei Yang 1. Xiaolong Xin
italian journal of pure and applied mathematics n. 37 2017 (29 48) 29 EQ-ALGEBRAS WITH PSEUDO PRE-VALUATIONS Yongwei Yang 1 School of Mathematics and Statistics Anyang Normal University Anyang 455000 China
More information@FMI c Kyung Moon Sa Co.
Annals of Fuzzy Mathematics and Informatics Volume 1, No. 1, (January 2011), pp. 97-105 ISSN 2093-9310 http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com Positive implicative vague
More informationStandard Ideals in BCL + Algebras
Journal of Mathematics Research; Vol. 8, No. 2; April 2016 SSN 1916-9795 E-SSN 1916-9809 Published by Canadian Center of Science and Education Standard deals in BCL + Algebras Yonghong Liu School of Automation,
More informationThe prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce
The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada
More informationPrime and Irreducible Ideals in Subtraction Algebras
International Mathematical Forum, 3, 2008, no. 10, 457-462 Prime and Irreducible Ideals in Subtraction Algebras Young Bae Jun Department of Mathematics Education Gyeongsang National University, Chinju
More informationFUZZY IDEALS OF NEAR-RINGS BASED ON THE THEORY OF FALLING SHADOWS
U.P.B. Sci. Bull., Series A, Vol. 74, Iss. 3, 2012 ISSN 1223-7027 FUZZY IDEALS OF NEAR-RINGS BASED ON THE THEORY OF FALLING SHADOWS Jianming Zhan 1, Young Bae Jun 2 Based on the theory of falling shadows
More informationNOVEL CONCEPTS OF DOUBT BIPOLAR FUZZY H-IDEALS OF BCK/BCI-ALGEBRAS. Anas Al-Masarwah and Abd Ghafur Ahmad. Received February 2018; revised June 2018
International Journal of Innovative Computing, Information Control ICIC International c 2018 ISS 1349-4198 Volume 14, umber 6, December 2018 pp. 2025 2041 OVEL COCETS OF DOUBT BIOLR FUZZY H-IDELS OF BCK/BCI-LGEBRS
More information370 Y. B. Jun generate an LI-ideal by both an LI-ideal and an element. We dene a prime LI-ideal, and give an equivalent condition for a proper LI-idea
J. Korean Math. Soc. 36 (1999), No. 2, pp. 369{380 ON LI-IDEALS AND PRIME LI-IDEALS OF LATTICE IMPLICATION ALGEBRAS Young Bae Jun Abstract. As a continuation of the paper [3], in this paper we investigate
More informationFUZZY HYPERIDEALS IN TERNARY SEMIHYPERRINGS
Iranian Journal of Fuzzy Systems Vol. 6, No. 4, (2009) pp. 21-36 21 FUZZY HYPERIDEALS IN TERNARY SEMIHYPERRINGS B. DAVVAZ Abstract. In a ternary semihyperring, addition is a hyperoperation and multiplication
More informationΓ-Semihyperrings: Approximations and Rough Ideals
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY http:/math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 35(4) (2012), 1035 1047 Γ-Semihyperrings: Approximations and Rough Ideals S. O. DEHKORDI
More informationPseudo MV-Algebras Induced by Functions
International Mathematical Forum, 4, 009, no., 89-99 Pseudo MV-Algebras Induced by Functions Yong Chan Kim Department of Mathematics, Kangnung National University, Gangneung, Gangwondo 10-70, Korea yck@kangnung.ac.kr
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationTWIST PRODUCT DERIVED FROM Γ-SEMIHYPERGROUP
Kragujevac Journal of Mathematics Volume 42(4) (2018), Pages 607 617. TWIST PRODUCT DERIVED FROM Γ-SEMIHYPERGROUP S. OSTADHADI-DEHKORDI Abstract. The aim of this research work is to define a new class
More informationOn Another Decomposition of Fuzzy Automata
Journal of Uncertain Systems Vol.5, No.1, pp.33-37, 2011 Online at: www.jus.org.uk On Another Decomposition of Fuzzy Automata Arun K. Srivastava 1, S.P. Tiwari 2, 1 Department of Mathematics & Centre for
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationON STRUCTURE OF KS-SEMIGROUPS
International Mathematical Forum, 1, 2006, no. 2, 67-76 ON STRUCTURE OF KS-SEMIGROUPS Kyung Ho Kim Department of Mathematics Chungju National University Chungju 380-702, Korea ghkim@chungju.ac.kr Abstract
More information@FMI c Kyung Moon Sa Co.
Annals of Fuzzy Mathematics and Informatics Volume 4, No. 2, October 2012), pp. 365 375 ISSN 2093 9310 http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com On soft int-groups Kenan Kaygisiz
More informationIntuitionistic Fuzzy Hyperideals in Intuitionistic Fuzzy Semi-Hypergroups
International Journal of Algebra, Vol. 6, 2012, no. 13, 617-636 Intuitionistic Fuzzy Hyperideals in Intuitionistic Fuzzy Semi-Hypergroups K. S. Abdulmula and A. R. Salleh School of Mathematical Sciences,
More informationL fuzzy ideals in Γ semiring. M. Murali Krishna Rao, B. Vekateswarlu
Annals of Fuzzy Mathematics and Informatics Volume 10, No. 1, (July 2015), pp. 1 16 ISSN: 2093 9310 (print version) ISSN: 2287 6235 (electronic version) http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com
More informationMappings of the Direct Product of B-algebras
International Journal of Algebra, Vol. 10, 2016, no. 3, 133-140 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2016.615 Mappings of the Direct Product of B-algebras Jacel Angeline V. Lingcong
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More information1 Introduction and preliminaries
Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Filomat 6:1 (01), 55 65 DOI: 10.98/FIL101055K Algebraic hyper-structures associated to convex
More informationFinite homogeneous and lattice ordered effect algebras
Finite homogeneous and lattice ordered effect algebras Gejza Jenča Department of Mathematics Faculty of Electrical Engineering and Information Technology Slovak Technical University Ilkovičova 3 812 19
More informationDerivations on Trellises
Journal of Applied & Computational Mathematics Journal of Applied & Computational Mathematics Ebadi and Sattari, J Appl Computat Math 2017, 7:1 DOI: 104172/2168-96791000383 Research Article Open Access
More informationThe Baire Category Theorem and choice
Topology and its Applications 108 (2000) 157 167 The Baire Category Theorem and choice Horst Herrlich a,, Kyriakos Keremedis b a Department of Mathematics, University of Bremen, Postfach 330440, 28334
More informationThe Blok-Ferreirim theorem for normal GBL-algebras and its application
The Blok-Ferreirim theorem for normal GBL-algebras and its application Chapman University Department of Mathematics and Computer Science Orange, California University of Siena Department of Mathematics
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationSection II.1. Free Abelian Groups
II.1. Free Abelian Groups 1 Section II.1. Free Abelian Groups Note. This section and the next, are independent of the rest of this chapter. The primary use of the results of this chapter is in the proof
More information@FMI c Kyung Moon Sa Co.
Annals of Fuzzy Mathematics and Informatics Volume 1, No. 2, April 2011, pp. 163-169 ISSN 2093 9310 http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com Semicompactness in L-fuzzy topological
More informationSome Innovative Types of Fuzzy Bi-Ideals in Ordered Semigroups
Copyright 2015 American Scientific Publishers All rights reserved Printed in the United States of America Journal of Advanced Mathematics and Applications Vol. 4, 1 13, 2015 Some Innovative Types of Fuzzy
More informationOn Derivations of BCC-algebras
International Journal of Algebra, Vol. 6, 2012, no. 32, 1491-1498 On Derivations of BCC-algebras N. O. Alshehri Department of Mathematics, Faculty of Sciences(Girls) King Abdulaziz University, Jeddah,
More informationScientiae Mathematicae Japonicae Online, Vol.4 (2001), a&i IDEALS ON IS ALGEBRAS Eun Hwan Roh, Seon Yu Kim and Wook Hwan Shim Abstract. In th
Scientiae Mathematicae Japonicae Online, Vol.4 (2001), 21 25 21 a&i IDEALS ON IS ALGEBRAS Eun Hwan Roh, Seon Yu Kim and Wook Hwan Shim Abstract. In this paper, we introduce the concept of an a&i-ideal
More informationMathematica Bohemica
Mathematica Bohemica Young Hee Kim; Hee Sik Kim Subtraction algebras and BCK-algebras Mathematica Bohemica, Vol. 128 (2003), No. 1, 21 24 Persistent URL: http://dml.cz/dmlcz/133931 Terms of use: Institute
More informationI K - convergence in 2- normed spaces
Functional Analysis, Approximation and Computation 4:1 (01), 1 7 Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/faac I K - convergence
More informationWEAK EFFECT ALGEBRAS
WEAK EFFECT ALGEBRAS THOMAS VETTERLEIN Abstract. Weak effect algebras are based on a commutative, associative and cancellative partial addition; they are moreover endowed with a partial order which is
More informationOn weak Γ-(semi)hypergroups
PURE MATHEMATICS RESEARCH ARTICLE On weak Γ-(semi)hypergroups T Zare 1, M Jafarpour 1 * and H Aghabozorgi 1 Received: 29 September 2016 Accepted: 28 December 2016 First Published: 14 February 2017 *Corresponding
More informationAdvances in the theory of fixed points in many-valued logics
Advances in the theory of fixed points in many-valued logics Department of Mathematics and Computer Science. Università degli Studi di Salerno www.logica.dmi.unisa.it/lucaspada 8 th International Tbilisi
More informationIranian Journal of Mathematical Sciences and Informatics Vol. 7, No. 2 (2012), pp 9-16
Iranian Journal of Mathematical Sciences and Informatics Vol. 7, No. 2 (2012), pp 9-16 Uniform Boundedness Principle for Operators on Hypervector Spaces Ali Taghavi and Roja Hosseinzadeh Department of
More information