We introduce the notion of a Smarandache hyper (∩,∈)-ideal and Ω-reflexive in hyper K-algebra, and some related properties are given. Mathematics Subject Classification: 06F35, 03G25

In this paper, we introduce the notionofWajsberg implicative ideal(WI-ideal)of lattice Wajsberg algebra.Further, we definelattice H-Wajsberg algebra, implication homomorphismand lattice implication homomorphism oflattice Wajsberg algebra. Finally, we give kernel of implication homomorphism and obtain some oftheir properties.

Let I denote the commutator ideal in the free associative algebra on m variables over an arbitrary field. In this article we prove there are exactly m! finite Gröbner bases for I , and uncountably many infinite Gröbner bases for I with respect to total division orderings. In addition, for m = 3 we give a complete description of its universal Gröbner basis. Let A be a finite set and let K be a f...

The concept of fuzzy multiply positive BCC-ideals of BCC-algebras is introduced, and then some related results are obtained. Moreover, we introduce the concept of T -fuzzy multiply positive implicative BCC-ideals of BCC-algebras and investigate T -product of T -fuzzy multiply positive implicative BCC-ideals of BCC-algebras, examining its properties. Using a t-norm T , the direct product and T -...

In [Ro76], M. Rosen showed that for any countable commutative group G, there is a field K, an elliptic curve E/K and a surjective group homomorphism E(K) → G. From this he deduced that any countable commutative group whatsoever is the ideal class group of an elliptic Dedekind domain – the ring of all functions on an elliptic curve which are regular away from some (fixed, possibly infinite) set ...

The notion of fuzzy s-prime filters of a bounded BCK-algebra is introduced.We discuss the relation between fuzzy s-prime filters and fuzzy prime filters. By the fuzzy s-prime filters of a bounded commutative BCK-algebra X, we establish a fuzzy topological structure on X. We prove that the set of all fuzzy s-prime filters of a bounded commutative BCK-algebra forms a topological space. Moreover, ...

The aim of this paper is to introduce the notions of interval valued (∈,∈ ∨q)-fuzzy Boolean (implicative, positive implicative and fantastic) filters in BL-algebras and to investigate some related properties. Some characterizations of these generalized fuzzy filters are derived. Finally, the relations among these generalized fuzzy filters are discussed. It is proved that an interval valued (∈,∈...

The concept of quasi-coincidence of an interval valued fuzzy set is considered. By using this idea, the notion of interval valued (α, β)−fuzzy sub-implicative ideals of BCIalgebras is introduced, which is a generalization of a fuzzy sub-implicative ideal. Also some related properties are studied and in particular, the interval valued (∈,∈ ∨q)−fuzzy subimplicative ideals in a BCI-algebra will be...