期刊文章详细信息
修正的Gdel逻辑系统中三类无限子代数及其F(S)的分划
Three Kinds of Infinite Subalgebras of Gdel Logical System and Partitions of F(S)
文献类型：期刊文章
机构地区：[1]桂林航天工业高等专科学校计算机系,广西桂林541004 [2]桂林理工大学数理系,广西桂林541004
基 金：国家自然科学基金资助项目(10661006);广西区教育厅科研基金资助项目(桂教科研[2006]26号)
年 份：2010
卷 号：24
期 号：6
起止页码：42-47
语 种：中文
收录情况：BDHX、BDHX2008、CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、核心刊
摘 要：将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在■的三类子代数中分别给出F(S)关于同余的一个分划。
关 键 词：Godel逻辑系统 广义重言式 子代数 分划
分 类 号：O141[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
