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

在经典逻辑和t-模基础逻辑中提出了排中律与拟排中律的新概念，说明经典逻辑（带对偶非的MTL）满足排中律（拟排中律），证明了[Godel]模糊逻辑（Lukasiewicz（简称Luk）模糊逻辑）关于最小算子[∧]与最大算子（关于t-模与t-余模对补算子c）既不满足拟对偶性也不满足拟排中律，检验了Luk模糊逻辑关于Luk t-模与Luk t-余模对[?]算子满足拟对偶性和排中律。