多值规则公式相关硕士博士期刊学术论文

在多值逻辑中,含有量词的tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明.但是由于扩展后的分枝非常庞大,使机器实......