Abstract
A fundamental result in rewriting is:
1. is Birkhoff’s theorem expressing that semantic consequence coincides with syntactic consequence.
2. expresses that equality in equational logic (=) coincides with convertability in rewriting, a property known as logicality.
We show that the result can be extended to hold for several sub-equational logics by restricting the first and
... read more