Processing of the certain information, especially inferences based on certain information. Is based on classical two-valued logic. Due to strict and complete logical foundation (classical logic), making inference levels. Thus, it is natural and necessary to attempt to establish some rational logic system as the logical foundation for uncertain information processing. It is evident that this kin...

BCK and BCI-algebras, two classes of algebras of logic, were introduced by Imai and Iseki [1], Iseki [2] and Iseki and Tanaka [3] and have been extensively studied by various other researchers [4, 5]. It is known that the class of BCK-algebras is a proper subclass of the class of BCI-algebras. In [6, 7] a wider class of abstract algebras was introduced by Q.P.Hu and X.Li.They have shown that th...

We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x↓. For every element x of an orthocomplete homogeneous effect algebra and for every block B with x ∈ B, the interval [x↓, x] is a subset of B. For every meager element (that means, an element x with x↓ = 0), the interval [0, x] is a complete MV-effect algebra....

The foldness of PI( , , ⊆)BCK -ideals and PI(⊆, ⊆, ⊆)BCK -ideals is considered, and their properties are investigated. Hyper homomorphic inverse image of PI( , , ⊆)BCK -ideals, PI( , ⊆, ⊆)BCK -ideals, PI(⊆, ⊆, ⊆)BCK -ideals, and PI( , , )BCK -ideals are discussed.

We define the notion of radical in BCH-algebra and investigate the structure of [X; k], a viewpoint of radical in BCH-algebras. 1. Introduction. In 1966, Imai and Iséki [8] and Iséki [9] introduced two classes of abstract algebras: BCK-algebras and BCI-algebras. It is known that the class of BCK-algebras is a proper subclass of the class of BCI-algebras. In 1983, Hu and Li [5, 6] introduced a w...

Abstract The class of pseudo-M algebras contains pseudo-BCK, pseudo-BCI, pseudo-BCH, pseudo-BE, pseudo-CI and many other logic. In this paper, the notion deductive system in a algebra is introduced its elementary properties are investigated. Closed systems defined studied. homomorphic (closed) provided. concepts translation R-congruences It shown that there bijection between closed R-congruence...