| Gödel逻辑系统中1/2-子代数上的广义重言式理论 |
| |
| 引用本文： | 李修清.Gödel逻辑系统中1/2-子代数上的广义重言式理论[J].计算机工程与应用,2011,47(5):43-45. |
| |
| 作者姓名： | 李修清 |
| |
| 作者单位： | 桂林航天工业高等专科学校计算机系,广西,桂林,541004 |
| |
| 基金项目： | 广西壮族自治区教育厅科研基金 |
| |
| 摘 要： | 将Gödel逻辑系统中的广义重言式理论进行推广，讨论了逻辑系统G中具有1/2聚点的三类无限子代数上的广义重言式理论，并利用可达广义重言式的概念在G的三类子代数中给出F（S）关于¬同余的一个分划。
|
| 关 键 词： | Gö del逻辑系统 广义重言式 子代数 分划 |
| 修稿时间： | |
Theory of generalized tautology in 1/2-subalgebras of G(o)del logical system |
| |
| LI Xiuqing.Theory of generalized tautology in 1/2-subalgebras of G(o)del logical system[J].Computer Engineering and Applications,2011,47(5):43-45. |
| |
| Authors: | LI Xiuqing |
| |
| Affiliation: | Guilin College of Aerospace Technology，Guilin，Guangxi 541004，China |
| |
| 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. |
| |
| Keywords: | Gödel logical system generalized tautology subalgebra partition
|
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
