Gödel逻辑系统中1/2-子代数上的广义重言式理论

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (5): 43-45.

Gödel逻辑系统中1/2-子代数上的广义重言式理论

李修清

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

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

Theory of generalized tautology in 1/2-subalgebras of Gödel logical system

LI Xiuqing

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

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

摘要/Abstract

摘要： 将Gödel逻辑系统中的广义重言式理论进行推广，讨论了逻辑系统G中具有1/2聚点的三类无限子代数上的广义重言式理论，并利用可达广义重言式的概念在G的三类子代数中给出F（S）关于¬同余的一个分划。

关键词: Gö, del逻辑系统, 广义重言式, 子代数, 分划

Abstract: The theory of generalized tautology in Gödel logical system is extended.The theory of generalized tautology for three kinds of infinite subalgebras with 1/2-accumulation point of logical system G is considered.Congruence partitions about ¬ on F(S) have been given in three kinds of infinite sub algebras of logical system G by utilizing the concepts of accessible generalized tautology.

Key words: Gö, del logical system, generalized tautology, subalgebra, partition

李修清. Gödel逻辑系统中1/2-子代数上的广义重言式理论[J]. 计算机工程与应用, 2011, 47(5): 43-45.

LI Xiuqing. Theory of generalized tautology in 1/2-subalgebras of Gödel logical system[J]. Computer Engineering and Applications, 2011, 47(5): 43-45.

[1]	王勇勇，惠小静. 增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度[J]. 计算机工程与应用, 2018, 54(19): 68-71.
[2]	朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.
[3]	李顺琴，惠小静. Gainse-Rescher系统基于子代数的广义重言式[J]. 计算机工程与应用, 2015, 51(19): 53-55.
[4]	李顺琴，惠小静. 修正的RDP逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2015, 51(12): 49-52.
[5]	李顺琴，惠小静. 修正的RDP逻辑系统中的广义矛盾式[J]. 计算机工程与应用, 2015, 51(11): 50-54.
[6]	周建仁，吴洪博. MV代数的子代数及相关重言式之间的关系[J]. 计算机工程与应用, 2013, 49(9): 45-49.
[7]	刘春辉. BCK代数的区间值(∈,∈∨q)-模糊子代数[J]. 计算机工程与应用, 2012, 48(4): 33-36.
[8]	刘春辉. 关于IV-(∈,∈∨q)模糊格蕴涵子代数[J]. 计算机工程与应用, 2012, 48(26): 39-43.
[9]	魏海新1，李晨晖2. 修正的G?del系统的子代数中F(S)的分划及升级算法[J]. 计算机工程与应用, 2012, 48(26): 44-47.
[10]	于鸿丽1，吴洪博2. 逻辑系统RDP中子代数的广义重言式理论[J]. 计算机工程与应用, 2011, 47(32): 47-48.
[11]	李修清，魏海新. R_G-代数的子代数与广义重言式理论[J]. 计算机工程与应用, 2011, 47(29): 49-51.
[12]	邵迎超，秦克云. 软集与软RSL-代数[J]. 计算机工程与应用, 2011, 47(27): 15-18.
[13]	李顺琴¹，王国俊². 系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用, 2010, 46(8): 37-39.
[14]	魏海新. Gödel系统中一类子代数上的广义重言式理论[J]. 计算机工程与应用, 2010, 46(29): 56-57.
[15]	于鸿丽¹，吴洪博². 逻辑系统H_α中广义语义MP规则证明的改进[J]. 计算机工程与应用, 2010, 46(22): 52-53.