MV-代数及其超越的Priestley对偶
摘要：扩展的Priestley对偶性的一种新观点及其应用于具有二元双重拟算子的分配格类。在这种方法下，非格二元运算被表示为对偶空间上的一对偏二元运算。在这个丰富的环境中，对偶性的代数方程条件可以更多地被转化为对偶空间的一阶条件。特别地，我们将我们的一般结果专门应用于MV-代数的种类，得到一个对这些代数的对偶性，其中定义MV-代数的方程被对偶化为一阶条件。
作者：Wesley Fussner, Mai Gehrke, Sam van Gool, and Vincenzo Marra
论文ID：2002.12715
分类：Logic
分类简称：math.LO
提交时间：2023-07-24