摘要：在多值逻辑中存在类似的重排不等式，其中乘法和加法操作分别被各种 T-范数和 T-范式所取代。例如，我们证明了当 T-范式和 T-范数来自 Archimedean copulas 时，重排不等式成立。
作者：Chai Wah Wu
论文ID：2204.06051
分类：Logic
分类简称：math.LO
提交时间：2023-08-21
PDF 下载： 英文版 中文版pdf翻译中