Internal states on equality algebras (Q344089): Difference between revisions

The internal states and the state-morphism operators on equality algebras and on their corresponding BCK-meet-semilattices are studied. The main result consists of proving that any state-morphism on a linearly ordered equality algebra is an internal state on it. Moreover, any internal state on a linearly ordered BCK-meet-semilattice satisfying the distributivity condition is also an internal state on its corresponding equality algebra and a state-morphism on a BCK-meet-semilattice satisfying the distributivity condition is also a state-morphism on its corresponding equality algebra.