格值命题逻辑系统LP(X)的α-超归结原理  

作　　者：李晓冰[1] 

机构地区：[1]东北财经大学信息工程学院,辽宁大连116025

出　　处：《中国新技术新产品》2009年第24期234-234,共1页New Technology & New Products of China

摘　　要：本文提出了格值命题逻辑系统LP(X)上的α-超归结原理,并证明了其可靠性和完备性。

关 键 词：格值命题逻辑系统 归结自动推理 α-归结原理 α-超归结原理 

分 类 号：O141[理学—数学] TP18[理学—基础数学]