格值命题逻辑系统中广义文字的正规性

格值命题逻辑系统中广义文字的正规性

何星星，徐扬，李莹芳，张家锋

On normal properties of generalized literals in LP（X）

HE Xingxing, XU Yang, LI Yingfang, ZHANG Jiafeng

计算机工程与应用 . 2012, (10): 43 -46 .