Search

This paper pursues an investigation on groups equipped with an $L$-ordered relation, where $L$ is a fixed complete complete Heyting algebra. First, by the concept of join and meet on an $L$-ordered set, the notion of an $L$-lattice is introduced and some related results are obtained. Then we applied them to define an $L$-lattice ordered group. We also introduce convex $L$-subgroups to construct a quotient $L$-ordered group. At last, a relation between the positive cone of an $L$-ordered group and special type of elements of $L^G$ is found, where $G$ is a group.

In the paper, we define the notion of a state BCK-algebra and a state-morphism BCK-algebra extending the language of BCK-algebras by adding a unary operator which models probabilistic reasoning. We present a relation between state operators and state-morphism operators and measures and states on BCK-algebras, respectively. We study subdirectly irreducible state (morphism) BCK-algebras. We introduce the concept of an adjoint pair in BCK-algebras and show that there is a one-to-one correspondence between adjoint pairs and state-morphism operators. In addition, we show the generators of quasivarieties of state-morphism BCK-algebras.