10.3969/j.issn.1000-3428.2003.08.051
一种多值规则量词公式的tableau的方法
在多值逻辑中,含有量词的tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明.但是由于扩展后的分枝非常庞大,使机器实现非常困难.文章通过对规则量词公式与一阶经典量词公式的对应关系的研究,使二者使用统一的扩展规则.
多值规则公式、量词、tableau
29
P18(太阳系)
国家自然科学基金60073039;吉林省自然科学基金2000540
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共4页
128-130,136