الفهرس 
Chapter one: Basic concepts and Related WorkOnly 14 pages are availabe for public view
 |  | from | 106 |  |  |
| | | from | 106 | | |
Abstract
The notion of BCK-algebras was proposed by Iseki and Iami ([25], [31]) in 1966. Iseki [32] introduced the notion of a BCI-algebra, which is a generalization of BCK-algebra. Since the numerous mathematical papers have been written to investigate the algebraic properties of the BCK/BCI-algebras and their relationship with other structures ([13], [14], [15]). So, there is a great deal of literature which has been produced on the theory of BCK/BCI-algebras. In particular, emphasis seems to have been put on the ideal theory of BCK/BCI-algebras. For the general development of BCK/BCI-algebras the ideal theory plays an important role.
Prabpayak and Leerawat ([57], [58]) introduced a new algebraic structure which is called KU-algebras. They studied ideals and congruences in KU-algebras. Also, they introduced the concept of homomorphism of KU-algebra and investigated some related properties. Moreover, they derived some straightforward consequences of the relations between quotient KU-algebras and isomorphism. These algebras form an important class of logical algebras and have many applications to various domains of mathematics, such as, group theory, functional analysis, fuzzy sets theory, probability theory, topology, etc. BCK-algebras also form an important class of logical algebras introduced by Iseki ([28], [31], [32]) and were extensively investigated by several researchers. Iseki posed an interesting problem (solved by Wronski [68]) whether the class of BCK-algebras is a variety.
Coding theory is a very young mathematical topic. It started on the basis of transferring information from one place to another. For instance, suppose we are using electronic devices to transfer information (telephone, television, etc.). Here, information is converted into bits of 1’s and 0’s and sent through a channel, for example a cable or via satellite. Afterwards, the 1’s and 0’s are reconverted into information again. The idea of coding theory is to present a method of how to convert the information into bits, such that there are no mistakes in the received information, or such that at least some of them are corrected. One of the recent applications of BCK-algebras was presented in the Coding theory ([18], [33]). Jun et al [33] introduced the notion of BCK-valued functions and investigate several properties. Also, they established block-codes by using the notion of BCK-valued functions and presented that every finite BCK-algebra determines a block-code. Flaut [18] provided an algorithm which allows to find a BCK-algebra starting from a given binary block code. Saeid et al [60] presented some new connections between BCK- algebras and binary block codes. Over the last 70 years, algebraic coding has become one of the most important and widely applied aspects of abstract algebra. Coding theory forms the basis of all modern communication systems, and the key to another area of study that is Information Theory. Coding theory is the study of methods for efficient and accurate transfer of information from one party to another. Various types of codes and their connections with other mathematical objects have been intensively studied.