Weakly Associative Relation Algebras with Polyadic Composition Operations
Author: Stebletsova V.
Source: Studia Logica, Volume 66, Number 2, November 2000 , pp. 297-323(27)
In this paper we introduced various classes of weakly associative relation algebras with polyadic composition operations. Among them is the class RWA^∞ of representable weakly associative relation algebras with polyadic composition operations. Algebras of this class are relativized representable relation algebras augmented with an infinite set of operations of increasing arity which are generalizations of the binary relative composition. We show that RWA^∞ is a canonical variety whose equational theory is decidable.
Document Type: Regular paper
Publication date: 2000-11-01