Lattice implication algebra is an algebraic structure that is established by combining lattice and implicative algebra. It originated from the study on lattice-valued logic. In this paper, we characterize two special ...
After paper [1] introduced BE-Algebras, paper [2] obtained homomorphism and isomorphism theorems of such BE-Algebras. In the basis of Eli, [2], this paper abstracts the concept of BCK-Algebras with operators in paper ...
A Class of rings is said to be weakly hereditary if 0≠I△R∈ implies 0≠I^n∈ for some positive integer n, which generalizes the concept of heredity but other than that of regularity. In §2 the properties of such c...