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.

中文翻译：

---

关于爆炸关系代数的构造

叉代数是关系代数的扩展，通过使用称为叉的二元运算符扩展逻辑符号集而获得。这类代数由 Haeberer 和 Veloso 在 90 年代初引入，旨在丰富关系代数，一种已经成功的程序规范语言，具有表达某种形式的并行计算的能力。对此类代数的进一步研究导致了许多有意义的结果，这些结果与关系代数的有趣特性有关，例如可表示性和有限公理化性等。同样在 90 年代，Veloso 引入了关系代数的一个子类，它可以扩展为分叉代数，允许大量非同构扩展，称为爆炸关系代数。