论文标题
关于爆炸关系代数的建设
On the construction of explosive relation algebras
论文作者
论文摘要
叉代代数是通过使用称为fork的二进制操作员扩展逻辑符号来获得的关系代数的扩展。 Haeberer和Veloso在90年代初期引入了这类代数，目的是丰富关系代数，这是一种已经成功的程序规范语言，具有表达某种形式的并行计算的能力。 对这类代数的进一步研究导致许多有意义的结果与关系代数的有趣特性，例如可表示性和有限的公理性性。同样在90年代，Veloso引入了一个相关代数的子类，该代数可扩展到叉代代数，承认大量的非同构膨胀，称为爆炸性关系代数。 在这项工作中，我们讨论了一些构建此类代数的通用技术。
Fork algebras are an extension of relation algebras obtained by extending the set of logical symbols with a binary operator called fork. This class of algebras was introduced by Haeberer and Veloso in the early 90's aiming at enriching relation algebra, an already successful language for program specification, with the capability of expressing some form of parallel computation. The further study of this class of algebras led to many meaningful results linked to interesting properties of relation algebras such as representability and finite axiomatizability, among others. Also in the 90's, Veloso introduced a subclass of relation algebras that are expansible to fork algebras, admitting a large number of non-isomorphic expansions, referred to as explosive relation algebras. In this work we discuss some general techniques for constructing algebras of this type.
