修正的G(o)del逻辑系统中三类无限子代数及其F(S)的分划
将修正的G(o)del逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G-中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G-的三类子代数中分另q给出F(S)关于→同余的一个分划.
G(o)del逻辑系统、广义重言式、子代数、分划
24
O141(数理逻辑、数学基础)
国家自然科学基金资助项目10661006;广西区教育厅科研基金资助项目桂教科研[2006]26号
2011-04-13(万方平台首次上网日期,不代表论文的发表时间)
共6页
42-47