Go backward to 4.1 Membership Equational Logic and Functional Modules
Go up to 4 The Semantics of Maude
Go forward to 4.3 Semantics of Object-Oriented and System Modules
4.2 Rewriting Logic
We first define rewrite theories and give the logic's rules of deduction.
Then, the models of rewrite theories, including initial and free models, are
discussed.