何塞·梅塞盖尔 成员代数作为方程式规范的逻辑框架。 （英语） Zbl 0903.08009号 Parisi Presicce，Francesco（编辑），代数开发技术的最新趋势。1997年6月3日至7日，第12届国际研讨会，WADT’97，意大利塔基尼亚。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1376, 18-61 (1998). 摘要：本文提出了成员关系等式逻辑——一种Horn逻辑，其中基本谓词是等式（t=t’）和成员断言（t:s），表示术语（t）属于一种类型–作为一个逻辑框架，在这个框架中可以自然地表示各种各样的全部和部分方程规范形式。这种逻辑的主要特征包括：简单、自由和等式特征；支持下层、超载、错误和偏袒方面的通用性和表达性；以及在Maude等系统中的高效可实现性。本文介绍了逻辑及其模型的基本性质，并详细讨论了其中可以表示多少种全部和部分等式规格说明形式，包括有序代数和部分隶属度等式逻辑，以及这为其他语言（包括CASL）带来的工具重用方面的实际好处。关于整个系列，请参见[Zbl 0889.00030号]. 引用于125文件 MSC公司： 08A70号 泛代数在计算机科学中的应用 第68季度第65季度 抽象数据类型；代数规范 关键词：部分隶属代数;隶属方程逻辑;喇叭逻辑;偏袒;方程规范形式;有序代数 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，莱克特。注释计算。科学。1376、18-61（1998年；Zbl 0903.08009）