NM<i>&#</i>321;系统的有限强完备性

PDF(239 KB)

电子学报 ›› 2010, Vol. 38 ›› Issue (6) : 1414-1418.

NMŁ系统的有限强完备性

作者信息 +

On the Finite Strong Completeness of NMŁ

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2010, 38(6): 1414-1418.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2010, 38(6): 1414-1418.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(239 KB)

Accesses

Citation

Detail

作者简介：

吴洪博男,1959年出生于陕西咸阳,博士,现为陕西师范大学教授,硕士生导师,主要从事格上拓扑与非经典数理逻辑的研究.E-mail: whbshanxi@yahoo.com.cn

张琼女,1985年出生于陕西咸阳,现为陕西师范大学硕士研究生,主要从事非经典数理逻辑的研究.
E-mail: zhangqiong.zhang@yahoo.com.cn

段落导航