Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
Under a Creative Commons license
open access
Key words
Reflection
reflective logics
universal theory
reflective rewriting logic
reflective membership equational logic
reflective Horn logic with equality
Cited by (0)
- 1
Partially supported by a CICYT Project TIC2002-01167.
- 2
Supported in part by ONR Grant N00014-02-1-0715.
- 3
Supported by a postgraduate fellowship by the Spanish Ministry for Science and Technology.
Copyright © 2004 Published by Elsevier B.V.