计算机工程与应用2009，Vol.45Issue(7)：44-45,51,3.DOI:10.3378/j.issn.1002-8331.2009.07.013
(L)ukasiewicz命题逻辑系统中有限命题集的约简理论
Reduction theory of finite proposition set in (L)ukasiewiez propositional logic
摘要
关键词
(L)ukasiewicz命题逻辑/完备性定理/T约简/形式背景分类
数理科学引用本文复制引用
李立峰,张建科,冯锋..(L)ukasiewicz命题逻辑系统中有限命题集的约简理论[J].计算机工程与应用,2009,45(7):44-45,51,3.基金项目
陕西省教育厅科研计划项目(No.08JK432). （No.08JK432）
