Comparing Meseguer's Rewriting Logic with the Logic CRWL

Miguel Palomino Tarjuelo

In Proc. of the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001) , Report No. 2017, University of Kiel


Meseguer's rewriting logic and the logic CRWL are two well known approaches to rewriting as logical deduction that, despite some clear similarities, were designed with different objectives. Here we study the relationships between them, both at a syntactic and at a semantic level. We also take advantage of the syntactic results to prove reflective properties of CRWL and to extended those already known for Meseguer's rewriting logic.