## Axiomatizing Reflective Logics and Languages (1996)

Venue: | Proceedings of Reflection'96 |

Citations: | 35 - 20 self |

### BibTeX

@INPROCEEDINGS{Clavel96axiomatizingreflective,

author = {Manuel G. Clavel and José Meseguer},

title = {Axiomatizing Reflective Logics and Languages},

booktitle = {Proceedings of Reflection'96},

year = {1996},

pages = {263--288}

}

### Years of Citing Articles

### OpenURL

### Abstract

The very success and breadth of reflective techniques underscores the need for a general theory of reflection. At present what we have is a wide-ranging variety of reflective systems, each explained in its own idiosyncratic terms. Metalogical foundations can allow us to capture the essential aspects of reflective systems in a formalismindependent way. This paper proposes metalogical axioms for reflective logics and declarative languages based on the theory of general logics [34]. In this way, several strands of work in reflection, including functional, equational, Horn logic, and rewriting logic reflective languages, as well as a variety of reflective theorem proving systems are placed within a common theoretical framework. General axioms for computational strategies, and for the internalization of those strategies in a reflective logic are also given. 1 Introduction Reflection is a fundamental idea. In logic it has been vigorously pursued by many researchers since the fundamental wor...