## Rewriting Logic as a Logical and Semantic Framework (1993)

### Cached

### Download Links

- [maude.csl.sri.com]
- [maude.csl.sri.com]
- [mozart.sip.ucm.es]
- [maude.cs.uiuc.edu]
- [maude.csl.sri.com]
- DBLP

### Other Repositories/Bibliography

Citations: | 147 - 52 self |

### BibTeX

@MISC{Martí-Oliet93rewritinglogic,

author = {Narciso Martí-Oliet and José Meseguer},

title = {Rewriting Logic as a Logical and Semantic Framework},

year = {1993}

}

### Years of Citing Articles

### OpenURL

### Abstract

Rewriting logic [72] is proposed as a logical framework in which other logics can be represented, and as a semantic framework for the specification of languages and systems. Using concepts from the theory of general logics [70], representations of an object logic L in a framework logic F are understood as mappings L ! F that translate one logic into the other in a conservative way. The ease with which such maps can be defined for a number of quite different logics of interest, including equational logic, Horn logic with equality, linear logic, logics with quantifiers, and any sequent calculus presentation of a logic for a very general notion of "sequent," is discussed in detail. Using the fact that rewriting logic is reflective, it is often possible to reify inside rewriting logic itself a representation map L ! RWLogic for the finitely presentable theories of L. Such a reification takes the form of a map between the abstract data types representing the finitary theories of...