四值命题逻辑系统相关硕士博士期刊学术论文 - 搜论网

四值命题逻辑系统相关论文

四值非链格值命题逻辑系统L_4P（X）的语义归结方法

为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归......

期刊

格蕴涵代数自动推理语义归结方法四值命题逻辑系统 lattice implication algebra automated reasoning sem

看过本文同时还关注