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

本文提出了格值命题逻辑系统LP（X）上的α-超归结原理，并证明了其可靠性和完备性。