Internal states on equality algebras (Q344089)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Internal states on equality algebras |
scientific article |
Statements
Internal states on equality algebras (English)
0 references
22 November 2016
0 references
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.
0 references
internal state
0 references
equality algebra
0 references
BCK-algebra
0 references
state-morphism operator
0 references
