We consider the variety of Dynamic Relation Algebras V(DRA). We show
that the monoid of an algebra in this variety determines dynamic negation
uniquely
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.