修正的G?del系统的子代数中F(S)的分划及升级算法

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (26): 44-47.

修正的G?del系统的子代数中F(S)的分划及升级算法

魏海新1，李晨晖2

1.桂林航天工业学院信息工程系，广西桂林 541004
2.桂林航天工业学院电子工程系，广西桂林 541004

出版日期:2012-09-11 发布日期:2012-09-21

Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G?del system

WEI Haixin1, LI Chenhui2

1.Department of Information Engineering, Guilin University of Aerospace Technology, Guilin, Guangxi 541004, China
2.Department of Electronic Engineering, Guilin University of Aerospace Technology, Guilin, Guangxi 541004, China

Online:2012-09-11 Published:2012-09-21

摘要/Abstract

摘要： 将修正的G?del逻辑系统中广义矛盾式理论推广，讨论了修正的G?del逻辑系统中一类子代数上的广义矛盾式理论，进而在相应的子代数上给出了公式集[F(S)]的一种分划。

关键词: 修正的G?del系统, 广义矛盾式, 子代数, 分划

Abstract: The theory of generalized contradictory in revised G?del system is extended in this paper. The theory of generalized contradictory of a class subalgebra of G?del logical system is considered. Moreover, partitions on F（S） are given in corresponding subalgebras.

Key words: revised G?del system, generalized contradictory, subalgebra, partition

魏海新1，李晨晖2. 修正的G?del系统的子代数中F(S)的分划及升级算法[J]. 计算机工程与应用, 2012, 48(26): 44-47.

WEI Haixin1, LI Chenhui2. Partitions of F(S) and properties of its upgrade algorithm in subalgebras of revised G?del system[J]. Computer Engineering and Applications, 2012, 48(26): 44-47.

[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]	周建仁，吴洪博. MV代数的子代数及相关重言式之间的关系[J]. 计算机工程与应用, 2013, 49(9): 45-49.
[5]	刘春辉. BCK代数的区间值(∈,∈∨q)-模糊子代数[J]. 计算机工程与应用, 2012, 48(4): 33-36.
[6]	刘春辉. 关于IV-(∈,∈∨q)模糊格蕴涵子代数[J]. 计算机工程与应用, 2012, 48(26): 39-43.
[7]	李修清. Gödel逻辑系统中1/2-子代数上的广义重言式理论[J]. 计算机工程与应用, 2011, 47(5): 43-45.
[8]	于鸿丽1，吴洪博2. 逻辑系统RDP中子代数的广义重言式理论[J]. 计算机工程与应用, 2011, 47(32): 47-48.
[9]	李修清，魏海新. R_G-代数的子代数与广义重言式理论[J]. 计算机工程与应用, 2011, 47(29): 49-51.
[10]	邵迎超，秦克云. 软集与软RSL-代数[J]. 计算机工程与应用, 2011, 47(27): 15-18.
[11]	李顺琴¹，王国俊². 系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用, 2010, 46(8): 37-39.
[12]	魏海新. Gödel系统中一类子代数上的广义重言式理论[J]. 计算机工程与应用, 2010, 46(29): 56-57.
[13]	李绍勇，李成允. n值逻辑系统子代数个数之讨论[J]. 计算机工程与应用, 2009, 45(27): 62-65.
[14]	魏海新. 修正的Kleene系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2009, 45(22): 32-33.
[15]	颉永建¹,李永明^1,2. 部分可换半群的子代数与同余关系[J]. 计算机工程与应用, 2009, 45(11): 5-7.