10.3778/j.issn.1002-8331.2011.05.015
G(o)del逻辑系统中1/2-子代数上的广义重言式理论
将Godel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统否中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在的三类子代数中给出F(S)关于,同余的一个分划.
G(o)del逻辑系统、广义重言式、子代数、分划
47
O141.1(数理逻辑、数学基础)
广西壮族自治区教育厅科研基金桂教科研[2006]26号
2011-06-20(万方平台首次上网日期,不代表论文的发表时间)
共4页
43-45,100