重言式相关论文
讨论剩余类蕴涵算子之一Godel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持......
研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重......
