【期刊论文】形式系统Β~＊的完备性及其应用

裴道武

，-0001，（）：

-1年11月30日

摘要

【期刊论文】一阶形式系统K~＊及其完备性

裴道武

，-0001，（）：

-1年11月30日

摘要

【期刊论文】形式系统L~＊的扩张L_n~＊及其完备性

裴道武

，-0001，（）：

-1年11月30日

摘要

【期刊论文】模糊推理全蕴涵算法及其还原性

裴道武

，-0001，（）：

-1年11月30日

摘要