Rewriting with associativity, commutativity and identity has been an open problem for a long time. In 1989, Baird, Peterson and Wilkerson introduced the notion of constrained rewriting, to avoid the problem of non-termination inherent to the use of identities. We build up on this idea in two ways: by giving a complete set of rules for completion modulo these axioms; by showing how to build appr...

We propose an alternative axiomatic description for non-commutative field theories (NCFT) based on some ideas by Soloviev to nonlocal quantum fields. The local commutativity axiom is replaced by the weaker condition that the fields commute at sufficiently large spatial separations, called asymptotic commutativity, formulated in terms of the theory of analytic functionals. The question of a poss...