| Gainse-Rescher逻辑系统中子代数的广义矛盾式 |
| |
| 引用本文： | 李顺琴,惠小静. Gainse-Rescher逻辑系统中子代数的广义矛盾式[J]. 贵州大学学报(自然科学版), 2015, 32(2): 6-9 |
| |
| 作者姓名： | 李顺琴 惠小静 |
| |
| 作者单位： | 延安大学 数学与计算机科学学院,陕西延安,716000 |
| |
| 基金项目： | 国家自然科学基金项目资助，陕西省自然科学基金项目资助，陕西省科技计划社发攻关项目资助，延安大学自然科学专项基金项目资助 |
| |
| 摘 要： | 本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在Gr的序稠密子代数中给出公式集F(S)的一个分划。
|
| 关 键 词： | Gainse-Rescher逻辑系统 广义重言式 广义矛盾式 子代数 分划 |
Theory of Generalized Contradictory in Subalgebras of Gainse-Rescher Logic System |
| |
| LI Shun-qin,HUI Xiao-jing. Theory of Generalized Contradictory in Subalgebras of Gainse-Rescher Logic System[J]. Journal of Guizhou University(Natural Science), 2015, 32(2): 6-9 |
| |
| Authors: | LI Shun-qin HUI Xiao-jing |
| |
| Affiliation: | LI Shun-qin;HUI Xiao-jing;College of Mathematics and Computer Science,Yan’an University; |
| |
| Abstract: | |
| |
| Keywords: | Gainse-Rescher logic system generalized tautology generalized contradiction subalgebra partition |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
