Title :
Associativity Test in Hypergroupoids
Author :
Miyakawa, Masahiro ; Rosenberg, Ivo G. ; Tatsumi, Hisayuki
Author_Institution :
Tsukuba University of Technology, Japan
Abstract :
To test whether a groupoid is a semigroup can be tedious and the same difficulty arises for partial hypergroupoids. We adapt Light’s associativity test to partial hypergroupoids and for finite hypergroupoids express it in matricial terms.
Keywords :
associativity; hypergroupoid; Logic; Testing; associativity; hypergroupoid;
Conference_Titel :
Multiple-Valued Logic, 2006. ISMVL 2006. 36th International Symposium on
Print_ISBN :
0-7695-2532-6
DOI :
10.1109/ISMVL.2006.12
