Gainse-Rescher系统基于子代数的广义重言式

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (19): 53-55.

Gainse-Rescher系统基于子代数的广义重言式

李顺琴，惠小静

延安大学数学与计算机科学学院，陕西延安 716000

出版日期:2015-09-30 发布日期:2015-10-13

Theory of generalized tautology based on subalgebras of Gainse-Rescher system

LI Shunqin, HUI Xiaojing

College of Mathematics and Computer Science, Yan’an University, Yan’an, Shaanxi 716000, China

Online:2015-09-30 Published:2015-10-13

摘要/Abstract

摘要： 将Gainse-Rescher逻辑系统中的广义重言式理论进行推广，讨论其序稠密子代数中的广义重言式理论，并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集[F(S)]的一个分划。

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

Abstract: The theory of generalized tautology in Gainse-Rescher logic system is extended and theory of generalized tautology in order dense sub-algebras of the Gainse-Rescher logic system is considered in this paper. Partitions of [FS] have been given in order dense sub-algebras of the Gainse-Rescher logic system by utilizing the concepts of accessible generalized tautology.

Key words: Gainse-Rescher logic system, generalized tautology, subalgebra, partition

李顺琴，惠小静. Gainse-Rescher系统基于子代数的广义重言式[J]. 计算机工程与应用, 2015, 51(19): 53-55.

LI Shunqin, HUI Xiaojing. Theory of generalized tautology based on subalgebras of Gainse-Rescher system[J]. Computer Engineering and Applications, 2015, 51(19): 53-55.

[1]	李顺琴，惠小静. 修正的RDP逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2015, 51(12): 49-52.
[2]	李顺琴，惠小静. 修正的RDP逻辑系统中的广义矛盾式[J]. 计算机工程与应用, 2015, 51(11): 50-54.
[3]	周建仁，吴洪博. MV代数的子代数及相关重言式之间的关系[J]. 计算机工程与应用, 2013, 49(9): 45-49.
[4]	刘春辉. BCK代数的区间值(∈,∈∨q)-模糊子代数[J]. 计算机工程与应用, 2012, 48(4): 33-36.
[5]	刘春辉. 关于IV-(∈,∈∨q)模糊格蕴涵子代数[J]. 计算机工程与应用, 2012, 48(26): 39-43.
[6]	魏海新1，李晨晖2. 修正的G?del系统的子代数中F(S)的分划及升级算法[J]. 计算机工程与应用, 2012, 48(26): 44-47.
[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]	于鸿丽¹，吴洪博². 逻辑系统H_α中广义语义MP规则证明的改进[J]. 计算机工程与应用, 2010, 46(22): 52-53.
[14]	卫利萍,薛占熬,岑枫. Gödel区间值逻辑系统的广义拟重言式[J]. 计算机工程与应用, 2009, 45(6): 57-59.
[15]	李绍勇，李成允. n值逻辑系统子代数个数之讨论[J]. 计算机工程与应用, 2009, 45(27): 62-65.