Internal states on equality algebras
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 60547009X | ||
| 003 | CHVBK | ||
| 005 | 20210128100326.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150401xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s00500-014-1494-3 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s00500-014-1494-3 | ||
| 100 | 1 | |a Ciungu |D Lavinia |u Department of Mathematics, University of Iowa, 14 MacLean Hall, 52242-1419, Iowa City, Iowa, USA |4 aut | |
| 245 | 1 | 0 | |a Internal states on equality algebras |h [Elektronische Daten] |c [Lavinia Ciungu] |
| 520 | 3 | |a This paper investigates properties of equality algebras introduced by Jenei as a possible algebraic semantic for fuzzy type theory. We define and study the pointed equality algebras and its subclass of compatible pointed equality algebras. We introduce and investigate the internal states and the state-morphism operators on equality algebras and on their corresponding BCK-meet-semilattices. We prove that any internal state (state-morphism) on an equality algebra is also an internal state (state-morphism) on its corresponding BCK-meet-semilattice, and we prove the converse for the case of linearly ordered equality algebras. Another main result consists of proving that any state-morphism on a linearly ordered equality algebra is an internal state on it. We show that 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. | |
| 540 | |a Springer-Verlag Berlin Heidelberg, 2014 | ||
| 690 | 7 | |a Equality algebra |2 nationallicence | |
| 690 | 7 | |a BCK-algebra |2 nationallicence | |
| 690 | 7 | |a Meet-semilattice |2 nationallicence | |
| 690 | 7 | |a Pointed equality algebra |2 nationallicence | |
| 690 | 7 | |a Compatible equality algebra |2 nationallicence | |
| 690 | 7 | |a Internal state |2 nationallicence | |
| 690 | 7 | |a State-morphism operator |2 nationallicence | |
| 773 | 0 | |t Soft Computing |d Springer Berlin Heidelberg |g 19/4(2015-04-01), 939-953 |x 1432-7643 |q 19:4<939 |1 2015 |2 19 |o 500 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s00500-014-1494-3 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s00500-014-1494-3 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 100 |E 1- |a Ciungu |D Lavinia |u Department of Mathematics, University of Iowa, 14 MacLean Hall, 52242-1419, Iowa City, Iowa, USA |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Soft Computing |d Springer Berlin Heidelberg |g 19/4(2015-04-01), 939-953 |x 1432-7643 |q 19:4<939 |1 2015 |2 19 |o 500 | ||