六元语言真值模态命题逻辑及其归结自动推理研究
6-Element Linguistic Truth-Valued Modal Proposition Logic and Resolution Automated Reasoning
王诗慧：辽宁师范大学，数学学院，辽宁 大连；王艳芳：辽阳职业技术学院，计算机科学系，辽宁 辽阳；崔晓松：辽宁师范大学，计算机与信息技术学院，辽宁 大连
版权 © 2017 王诗慧, 王艳芳, 崔晓松。本期刊文章已获得知识共享署名国际组织(Creative Commons Attribution International License)的认证许可。您可以复制、发行、展览、表演、放映、广播或通过信息网络传播本作品；您必须按照作者或者许可人指定的方式对作品进行署名。