A comparison between two logical formalisms for rewriting

Details A comparison between two logical formalisms for rewriting A comparison between two logical formalisms for rewriting

2006-01-06

arxiv.org/abs/cs/0601018v1

Computer Science

Logic in Computer Science

31 pages, 2 figures To appear in Theory and Practice of Logic Programming

Scientific paper

Meseguer's rewriting logic and the rewriting 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. Even though it is not possible to establish an entailment system map between them, both can be naturally simulated in each other. Semantically, there is no embedding between the corresponding institutions. Along the way, the notions of entailment and satisfaction in Meseguer's rewriting logic are generalized. We also use the syntactic results to prove reflective properties of CRWL.

Affiliated with

Also associated with

No associations

Rating

A comparison between two logical formalisms for rewriting does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A comparison between two logical formalisms for rewriting, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A comparison between two logical formalisms for rewriting will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-110209