乔尔·戈梅斯;维托·格里蒂;塞尔吉奥·马塞利诺;乔安·马科斯;翁贝托·里维奇奥 关于完备超定代数的逻辑。 arXiv:2106.09883 预印本，arXiv：2106.09883[math.LO]（2021）。 摘要：本研究展示了如何用一个完备算子来丰富De Morgan代数，该完备算子允许人们表达否定一致性和否定决定性的布尔属性。由此获得的完美聚烯烃代数的多样性（PP-代数）被证明与由R.Cignoli和M.Sagastume引入的对合Stone代数多样性等价，最近由M.Figallo-L.Cantü和S.Marcelino-U.Rivieccio从逻辑角度进行了研究。这种等价性在研究1-断言逻辑和与PP-代数相关的序-保逻辑中起着重要作用。后一种逻辑（这里称为PP<=）由一个6值矩阵表示，并被证明是形式不一致和形式不确定的逻辑。我们通过解析有限Hilbert-style演算将PP公理化，并且我们提出了一个公理化过程，该过程涵盖了与其他类De Morgan代数相对应的逻辑，这些代数通过完善算子进行了丰富。 BibTeX公司 引用 \textit{J.Gomes}等人，“关于完美超定代数的逻辑”，预印本，arXiv:2106.09883[math.LO]（2021） 全文： 内政部 arXiv公司 OA许可证 arXiv数据来自arXiv OAI-PMH API.如果你发现了错误，请直接向arXiv报告.