系统Hα中的子代数的广义重言式理论

doi:10.3778/j.issn.1002-8331.2010.08.011

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (8): 37-39.DOI: 10.3778/j.issn.1002-8331.2010.08.011

系统H_α中的子代数的广义重言式理论

李顺琴¹，王国俊²

1.延安大学数学与计算机科学学院，陕西延安 716000
2.陕西师范大学数学研究所，西安 710062

收稿日期:2009-03-09 修回日期:2009-04-27 出版日期:2010-03-11 发布日期:2010-03-11
通讯作者: 李顺琴

Theory of generalized tautology in subalgebras of system H_α

LI Shun-qin¹，WANG Guo-jun²

1.College of Mathematics and Computer Science，Yan’an University，Yan’an，Shaanxi 716000，China
2.Institute of Mathematics，Shaanxi Normal University，Xi’an 710062，China

Received:2009-03-09 Revised:2009-04-27 Online:2010-03-11 Published:2010-03-11
Contact: LI Shun-qin

摘要/Abstract

摘要： 将多值逻辑系统H_α（0≤α≤1）中的广义重言式理论进行推广，讨论其序稠密子代数的广义重言式理论，利用可达广义重言式概念在系统H_1/2的序稠密子代数中给出F（S）的一个分划，并把系统H_1/2中的相关结论推广到系统H_α（0≤α≤1）中。

中图分类号:

O141.1

李顺琴¹，王国俊². 系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用, 2010, 46(8): 37-39.

LI Shun-qin¹，WANG Guo-jun². Theory of generalized tautology in subalgebras of system H_α[J]. Computer Engineering and Applications, 2010, 46(8): 37-39.

[1]	关晓红，刘晓. £ukasiewicz三值命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(6): 37-41.
[2]	于西昌¹，谭桂梅²，张兴芳³. 命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(5): 40-43.
[3]	李骏¹，李彩红¹，周艳². 命题逻辑中广义MP问题的合理解[J]. 计算机工程与应用, 2010, 46(1): 37-38.
[4]	韩邦合^1，2，李永明^1，3. 计量逻辑学中的收敛理论[J]. 计算机工程与应用, 2009, 45(30): 4-5.
[5]	于西昌¹，谭桂梅²，张兴芳³. 连续值命题逻辑系统中公式的条件概率真度[J]. 计算机工程与应用, 2009, 45(28): 55-59.
[6]	张兴芳. 解释模型类理论及其极小三I-算法[J]. 计算机工程与应用, 2009, 45(26): 30-33.
[7]	于西昌¹，张兴芳². 连续值命题逻辑中公式的概率真度及相似度[J]. 计算机工程与应用, 2009, 45(24): 36-39.

系统H_α中的子代数的广义重言式理论

Theory of generalized tautology in subalgebras of system H_α

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 7

编辑推荐

Metrics

系统Hα中的子代数的广义重言式理论

Theory of generalized tautology in subalgebras of system Hα

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 7

编辑推荐

Metrics

系统H_α中的子代数的广义重言式理论

Theory of generalized tautology in subalgebras of system H_α