曼纽尔·克莱维尔 一般逻辑、重写逻辑和莫德的反思。 (英语) Zbl 0917.68108号 Kirchner,Claude(编辑)等人,重写逻辑及其应用国际研讨会。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。15,第21号电子文件(1998年)。 总结:本文是对我博士论文的总结,其中:基于一般逻辑理论,提出了反思逻辑和策略的一般公理概念;详细证明了重写逻辑满足反射逻辑的公理化定义;当一个反射逻辑被实现为一种反射声明语言时,这些概念的巨大实用价值通过相关的例子在广泛的应用领域中得到了说明,例如Maude这样的系统。有关整个系列,请参见[Zbl 0903.00070号]. 引用于2文件 MSC公司: 2012年第68季度 语法和重写系统 软件:莫德;ELAN公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel},in:I第二届重写逻辑及其应用国际研讨会,RWLW。。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔。第21号电子文件(1998;Zbl 0917.68108) 全文: 链接