G(o)del系统中一类子代数上的广义重言式理论

摘要：

将G(o)del辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于 -同余的一个分划.

关键词：G(o)del逻辑系统、广义重言式、子代数、分划

所属期刊栏目：46

分类号：TP18(自动化基础理论)

资助基金：广西壮族自治区教育厅科研基金桂教科研[2006]26号

在线出版日期：2011-01-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：56-57,62