命题集约简相关论文
基于计量逻辑学公式真度理论给出了n值Lukasiewicz命题集的真度约简方法和计量逻辑学中近似推理的模式,讨论了真度约简与近似推理......
求命题集所有可能的约简是二值命题逻辑的一个重要课题.目前的算法都是逐一求单个约简,汇总起来得到所有可能约简.文中应用形式概念的......