基于格值命题逻辑系统LP(X)的多元α-归结原理的注记 (Notes on Multi-ary α-Resolution Principle Based on Lattice-valued Logical System LP(X)).