四川理工学院学报（自然科学版）
四川理工學院學報（自然科學版）
사천리공학원학보（자연과학판）
Journal of Sichuan University of Science & Engineering(Natural Sicence Edition)
2015年
5期
27-30
,共4页
自动推理%归结域%格值逻辑%格蕴涵代数
自動推理%歸結域%格值邏輯%格蘊涵代數
자동추리%귀결역%격치라집%격온함대수
讨论格值一阶逻辑系统LF (X)中α-语义归结方法和有序归结方法的相容性.给出了LF(X)中α-有序语义归结和α-有序语义归结演绎的概念,通过实例说明LF (X)中α-有序语义归结演绎的有效性和不完备性.
討論格值一階邏輯繫統LF (X)中α-語義歸結方法和有序歸結方法的相容性.給齣瞭LF(X)中α-有序語義歸結和α-有序語義歸結縯繹的概唸,通過實例說明LF (X)中α-有序語義歸結縯繹的有效性和不完備性.
토론격치일계라집계통LF (X)중α-어의귀결방법화유서귀결방법적상용성.급출료LF(X)중α-유서어의귀결화α-유서어의귀결연역적개념,통과실례설명LF (X)중α-유서어의귀결연역적유효성화불완비성.
