Term Rewriting in a Logic of Special Relations

Autor:	W. Marco Schorlemmer
Rok vydání:	1998
Předmět:	Discrete mathematics Algebra TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computer science Binary relation Computer Science::Logic in Computer Science Confluence Formal specification Rewriting Equational logic Term (logic) Operational semantics
Zdroj:	Algebraic Methodology and Software Technology ISBN: 9783540654629 AMAST
Popis:	Although there exist logics that extend the expressiveness of order-sorted equational logic using additional binary relations besides equality in their logical theories, standard equational rewriting is still the foundation of their operational semantics. But rewriting is not necessarily restricted to the replacement of equals by equals only, and can be generalized to other 'special' binary relations. I show in this paper that by applying rewrite techniques to logical theories considered as instances of a general 'logic of special relations' we can unify and hence simplify the computational analysis within these theories.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9b2ddfa8d25f86f1af10e285779fe70c https://doi.org/10.1007/3-540-49253-4_15 Zobrazit plný text záznamu