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

doi:10.3778/j.issn.1002-8331.2008.36.016

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

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

李顺琴¹,王国俊²

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

收稿日期:2008-06-24 修回日期:2008-09-25 出版日期:2008-12-21 发布日期:2008-12-21
通讯作者: 李顺琴

Theory of generalized tautology in subalgebras of revised Gödel logical system

LI Shun-qin¹,WANG Guo-jun²

1.College of Mathematics and Computer Science，Yan’an University，Yan’an，Shaanxi 716000，China
2.Institute of Mathematics，Shaanxi Normal University，Xi’an 710062，China

Received:2008-06-24 Revised:2008-09-25 Online:2008-12-21 Published:2008-12-21
Contact: LI Shun-qin

摘要/Abstract

摘要： 将修正的Gödel逻辑系统中的广义重言式理论进行推广，讨论其序稠密子代数的广义重言式理论，并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F（S）关于┐同余的一个分划.

关键词: 修正的Gö, del逻辑系统, 广义重言式, α-矛盾式, 分划

Abstract: The theory of generalized tautology in revised Gödel logical system is extended and theory of generalized tautology in order dense sub-algebras of the revised Gödel logical system is considered in this paper.Congruence partitions about ┐ on F（S） have been given in order dense sub-algebras of logic system G by utilizing the concepts of accessible generalized tautology and α-contradiction.

Key words: revised Gö, del logical system, generalized tautology, α-contradiction, partition

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

LI Shun-qin¹,WANG Guo-jun². Theory of generalized tautology in subalgebras of revised Gödel logical system[J]. Computer Engineering and Applications, 2008, 44(36): 58-60.

[1]	李顺琴，惠小静. Gainse-Rescher系统基于子代数的广义重言式[J]. 计算机工程与应用, 2015, 51(19): 53-55.
[2]	李顺琴，惠小静. 修正的RDP逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2015, 51(12): 49-52.
[3]	李顺琴，惠小静. 修正的RDP逻辑系统中的广义矛盾式[J]. 计算机工程与应用, 2015, 51(11): 50-54.
[4]	魏海新1，李晨晖2. 修正的G?del系统的子代数中F(S)的分划及升级算法[J]. 计算机工程与应用, 2012, 48(26): 44-47.
[5]	李修清. Gödel逻辑系统中1/2-子代数上的广义重言式理论[J]. 计算机工程与应用, 2011, 47(5): 43-45.
[6]	于鸿丽1，吴洪博2. 逻辑系统RDP中子代数的广义重言式理论[J]. 计算机工程与应用, 2011, 47(32): 47-48.
[7]	李修清，魏海新. R_G-代数的子代数与广义重言式理论[J]. 计算机工程与应用, 2011, 47(29): 49-51.
[8]	李顺琴¹，王国俊². 系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用, 2010, 46(8): 37-39.
[9]	魏海新. Gödel系统中一类子代数上的广义重言式理论[J]. 计算机工程与应用, 2010, 46(29): 56-57.
[10]	于鸿丽¹，吴洪博². 逻辑系统H_α中广义语义MP规则证明的改进[J]. 计算机工程与应用, 2010, 46(22): 52-53.
[11]	卫利萍,薛占熬,岑枫. Gödel区间值逻辑系统的广义拟重言式[J]. 计算机工程与应用, 2009, 45(6): 57-59.
[12]	魏海新. 修正的Kleene系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2009, 45(22): 32-33.
[13]	马盈仓何华灿薛占熬. 基于零级泛与运算的泛逻辑中的广义重言式理论[J]. 计算机工程与应用, 2007, 43(3期): 16-16.
[14]	田立¹，刘振丙²，刘小茂². 一种改进的线性SVM[J]. 计算机工程与应用, 2007, 43(20): 173-176.

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

Theory of generalized tautology in subalgebras of revised Gödel logical system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 14

编辑推荐

Metrics