一个关于常见草地的Fracterm演算的完整有限等式公理化
摘要：具有错误概念的数值结构的抽象数据类型的分析 一种关注带有错误标志的算术数据类型的主要目的是始终返回除法值。 在环和域中添加除法运算符$x/y$并研究一类称为“common meadows”的代数结构， 其中$x/0=ot$。满足所有common meadows的等式集被称为“fracterm calculus of common meadows”。 我们提供了common meadows的有限等式公理化，并证明了它的完备性和fracterm calculus的可判定性。
作者：Jan A Bergstra and John V Tucker
论文ID：2307.04270
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-11