论文研究-逻辑系统中的拟对偶性与拟排中律.pdf

【文件属性】：
文件名称：论文研究-逻辑系统中的拟对偶性与拟排中律.pdf
文件大小：466KB
文件格式：PDF
更新时间：2022-09-26 18:40:19
论文研究 在经典逻辑和t-模基础逻辑中提出了排中律与拟排中律的新概念，说明经典逻辑（带对偶非的MTL）满足排中律（拟排中律），证明了[Godel]模糊逻辑（Lukasiewicz（简称Luk）模糊逻辑）关于最小算子[∧]与最大算子（关于t-模与t-余模对补算子c）既不满足拟对偶性也不满足拟排中律，检验了Luk模糊逻辑关于Luk t-模与Luk t-余模对[?]算子满足拟对偶性和排中律。