ISSN:
1572-8730
Keywords:
algebraic logic
;
relation algebras
;
relativization
;
representation
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1005204532371
Permalink