格值命题逻辑系统 <em>L</em> <sub>9</sub> <em>P</em>（ <em>X</em>）中的自动推理算法

格值命题逻辑系统 L ₉ P（ X）中的自动推理算法

李晓冰 ¹,邱小平 ²,徐扬 ¹

Automated reasoning algorithm of lattice-valued propositional logic L ₉ P（ X）

LI Xiao-bing ¹,QIU Xiao-ping ²,XU Yang ¹

计算机工程与应用 . 2008, (10): 6 -9 .