首页|期刊导航|计算机工程与应用|修正的G(o)del逻辑系统中子代数的广义重言式理论

修正的G(o)del逻辑系统中子代数的广义重言式理论

李顺琴王国俊

计算机工程与应用2008，Vol.44Issue(36)：58-60,72,4.

计算机工程与应用2008，Vol.44Issue(36)：58-60,72,4.DOI:10.3778/j.issn.1002-8331.2008.36.016

修正的G(o)del逻辑系统中子代数的广义重言式理论

Theory of generalized tautology in subalgebras of revised G(o)del logical system

李顺琴 ¹王国俊²

作者信息

1. 延安大学,数学与计算机科学学院,陕西,延安,716000
2. 陕西师范大学,数学研究所,西安,710062
折叠

摘要

关键词

修正的G(o)del逻辑系统/广义重言式/α-矛盾式/分划

分类

数理科学

引用本文复制引用

李顺琴,王国俊..修正的G(o)del逻辑系统中子代数的广义重言式理论[J].计算机工程与应用,2008,44(36):58-60,72,4.

基金项目

国家自然科学基金(the National Natural Science Foundation of China under Grant No.10331010) （the National Natural Science Foundation of China under Grant No.10331010）

延安大学基金(No.YDK2007-28). （No.YDK2007-28）

计算机工程与应用

OA北大核心CSCDCSTPCD

ISSN：1002-8331

访问量0

下载量0

段落导航