Moisil逻辑中相互排斥的真理细微差别
逻辑
2014-12-10 v1
摘要
Moisil逻辑，其代数对应物为Łukasiewicz-Moisil代数，基于以下原理提供了一种推理模糊信息的替代方法：一个多值事件由一族布尔事件来刻画。然而，使用Łukasiewicz-Moisil代数的原始定义，该原理不适用于子代数。在本文中，我们为n值Łukasiewicz-Moisil代数找到了一个替代且等价的定义，其中确定原理对于任意子代数也成立，这些子代数由一个布尔代数和一族布尔理想来刻画。作为推论，我们从其布尔中心的偶空间出发，证明了n值Łukasiewicz-Moisil代数的一个对偶性结果。这引导我们得到MV_n-代数的对偶性，因为MV_n-代数等价于n值Łukasiewicz-Moisil代数的一个子类。
引用
@article{arxiv.1412.3008,
title = {Mutually exclusive nuances of truth in Moisil logic},
author = {Denisa Diaconescu and Ioana Leustean},
journal= {arXiv preprint arXiv:1412.3008},
year = {2014}
}