@MISC{Stebletsova_weaklyassociative, author = {V. Stebletsova}, title = {Weakly Associative Relation Algebras with Polyadic Composition Operations}, year = {} }
Bookmark
OpenURL
Abstract
We consider n-ary relative products j n on subsets of a reflexive and symmetric binary relation and define a variety of weakly associative relation algebras with polyadic composition operations (WA 1 ). A theorem that any A2 WA 1 is representable over a reflexive and symmetric relation is proved. We also show that the equational theory of WA 1 is decidable.