逻辑系统RDP中子代数的广义重言式理论

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (32): 47-48.

逻辑系统RDP中子代数的广义重言式理论

于鸿丽1，吴洪博2

1.西安文理学院数学系，西安 710065
2.陕西师范大学数学与信息科学学院，西安 710062

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

Theory of generalized tautology in subalgebras of RDP logical system

YU Hongli1，WU Hongbo2

1.Department of Mathematics，Xi’an University of Arts and Science，Xi’an 710065，China
2.College of Mathematics and Information Science，Shaanxi Normal University，Xi’an 710062，China

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

摘要/Abstract

摘要： 将RDP逻辑系统中的广义重言式理论进行推广，给出RDP逻辑系统中子代数的广义重言式概念，并讨论其序稠密子代数的广义重言式理论

关键词: RDP逻辑系统, 广义重言式, 子代数

Abstract: The theory of generalized tautology in RDP logical system is extended，the concept of generalized tautology of sub-algebras in RDP is given，and the theory of generalized tautology in order dense sub-algebras of RDP logical system is considered in this paper.

Key words: RDP logical system, generalized tautology, subalgebra

于鸿丽1，吴洪博2. 逻辑系统RDP中子代数的广义重言式理论[J]. 计算机工程与应用, 2011, 47(32): 47-48.

YU Hongli1，WU Hongbo2. Theory of generalized tautology in subalgebras of RDP logical system[J]. Computer Engineering and Applications, 2011, 47(32): 47-48.

[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]	魏海新1，李晨晖2. 修正的G?del系统的子代数中F(S)的分划及升级算法[J]. 计算机工程与应用, 2012, 48(26): 44-47.
[8]	李修清. Gödel逻辑系统中1/2-子代数上的广义重言式理论[J]. 计算机工程与应用, 2011, 47(5): 43-45.
[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.