RG-代数的子代数与广义重言式理论

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (29): 49-51.

R_G-代数的子代数与广义重言式理论

李修清，魏海新

桂林航天工业高等专科学校计算机系，广西桂林 541004

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-10-11 发布日期:2011-10-11

Subalgebras of R_G-algebra and theory of generalized tautology

LI Xiuqing，WEI Haixin

Guilin College of Aerospace Technology，Guilin，Guangxi 541004，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-10-11 Published:2011-10-11

摘要/Abstract

摘要： 对Godel逻辑系统中的广义重言式理论进行推广，讨论了R_G-代数的各类无限子代数上的广义重言式，证明了在子R_G-代数中，Godel逻辑系统中存在着可数多个不同的广义重言式。

关键词: Godel逻辑系统, 广义重言式, 子R_G-代数, 分划

Abstract: The theory of generalized tautology in Godel logical system is extended.The theory of generalized tautology for all kinds of infinite subalgebras of R_G-algebra is considered.It is proved that，in R_G-subalgebras，the G?del logical system has countable different generalized tautology.

Key words: Godel logical system, generalized tautology, R_G-subalgebra, partition

李修清，魏海新. R_G-代数的子代数与广义重言式理论[J]. 计算机工程与应用, 2011, 47(29): 49-51.

LI Xiuqing，WEI Haixin. Subalgebras of R_G-algebra and theory of generalized tautology[J]. Computer Engineering and Applications, 2011, 47(29): 49-51.

[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]	李顺琴¹，王国俊². 系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用, 2010, 46(8): 37-39.
[8]	魏海新. Gödel系统中一类子代数上的广义重言式理论[J]. 计算机工程与应用, 2010, 46(29): 56-57.
[9]	于鸿丽¹，吴洪博². 逻辑系统H_α中广义语义MP规则证明的改进[J]. 计算机工程与应用, 2010, 46(22): 52-53.
[10]	卫利萍,薛占熬,岑枫. Gödel区间值逻辑系统的广义拟重言式[J]. 计算机工程与应用, 2009, 45(6): 57-59.
[11]	魏海新. 修正的Kleene系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2009, 45(22): 32-33.
[12]	李顺琴¹,王国俊². 修正的Gödel逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2008, 44(36): 58-60.
[13]	马盈仓何华灿薛占熬. 基于零级泛与运算的泛逻辑中的广义重言式理论[J]. 计算机工程与应用, 2007, 43(3期): 16-16.
[14]	田立¹，刘振丙²，刘小茂². 一种改进的线性SVM[J]. 计算机工程与应用, 2007, 43(20): 173-176.