对称蕴涵代数的多锥表示
Representations of Symmetric Implication Algebras as Multicubes
摘要：
证明了对称蕴涵代数簇是由三次蕴涵代数和布尔代数生成的。我们这样做是通过发展的概念，局部对称蕴涵代数，具有类似于三次蕴涵代数的性质，并提供了一个表示这些代数作为子代数的产品的三次蕴涵代数和蕴涵代数。然后我们证明了每个对称蕴涵代数都被一个局部对称蕴涵代数所覆盖。
英文摘要：
We show that the variety of symmetric implication algebras is generated from cubic implication algebras and Boolean algebras. We do this by developing the notion of a locally symmetric implication algebra that has properties similar to cubic implication algebras and provide a representation of these algebras as subalgebras of a product of a cubic implication algebra and an implication algebra. We then show that every symmetric implication algebra is covered by a locally symmetric implication algebra.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
