For the generality of fuzzy ideals in TM-algebra, a cubic ideal in this algebra has been studied, such as cubic ideals and cubic T-ideals. Some properties of these ideals are investigated. Also, we show that the cubic T-ideal is a cubic ideal, but the converse is not generally valid. In addition, a cubic sub-algebra is defined, and new relations between the level subset and a cubic sub-algebra are discussed. After that, cubic ideals and cubic T-ideals under homomorphism are studied, and the image (pre-image) of cubic T-ideals is discussed. Finally, the Cartesian product of cubic ideals in Cartesian product TM-algebras is given. We proved that the product of two cubic ideals of the Cartesian product of two TM-algebras is also a cubic ideal.

Inˑthis work, we introduce the algebraic structure of semigroup with KU-algebra is called KU-semigroup and then we investigate some basic properties of this structure. We define the KU-semigroup and several examples are presented. Also,we study some types of ideals in this concept such as S-ideal,k- ideal and P-ideal.The relations between these types of ideals are discussed and few results for product S-ideals of product KU-semigroups are given. Furthermore, few results of some ideals in KU-semigroup under homomorphism are discussed.

The aim of this paper is to study the Zariski topology of a commutative KU-algebra. Firstly, we introduce new concepts of a KU-algebra, such as KU-lattice, involutory ideal and prime ideal and investigate some basic properties of these concepts. Secondly, the notion of the topology spectrum of a commutative KU-algebra is studied and several properties of this topology are provided. Also, we study the continuous map of this topological space.

In This paper, we introduce the associated graphs of commutative KU-algebra. Firstly, we define the KU-graph which is determined by all the elements of commutative KU-algebra as vertices. Secondly, the graph of equivalence classes of commutative KU-algebra is studied and several examples are presented. Also, by using the definition of graph folding, we prove that the graph of equivalence classes and the graph folding of commutative KU-algebra are the same, where the graph is complete bipartite graph.

In this work, we apply the notion of a filter of a KU-Algebra and investigate several properties. The paper defined some filters such as strong filter, n-fold filter and P-filter and discussed a few theorems and examples.

In this ˑwork, we present theˑ notion of the ˑgraph for a KU-semigroup as theˑundirected simple graphˑ with the vertices are the elementsˑ of and weˑˑstudy the ˑgraph ofˑ equivalence classesˑofˑ which is determinedˑ by theˑ definition equivalenceˑ relation ofˑ these verticesˑ, andˑ then some related ˑproperties areˑ given. Several examples are presented and some theorems are proved. Byˑ usingˑ the definitionˑ ofˑ isomorphicˑ graph, ˑwe showˑ thatˑ the graphˑ of equivalence ˑclasses ˑand the ˑgraphˑof ˑa KU-semigroup ˑ areˑ theˑ sameˑ, in special cases.