论文研究格值命题逻辑系统中广义文字的正规性.pdf

基于格蕴涵代数的格值命题逻辑系统能定性地刻画不可比较性和不精确性。广义文字是该系统中α-归结自动推理的核心概念，是α-归结中的最基本单元。公式的正规性是α-归结原理中保持完备性的重要条件，其语义性质是公式形式的重要反映。从语义角度研究了广义文字的正规性，给出了两种典型正规公式F1→F2和（F1→F2）'的真值情况。为讨论广义文字的形式及其α-可归结性提供了理论基础。