摘要
将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在■的三类子代数中分别给出F(S)关于同余的一个分划。
The theory of generalized tautology in Gdel logical system is extended.The theory of generalized tautology for three kinds of infinite subalgebras of logical system -G is considered in this paper.Congruence partitions about-on F（S） have been given in three kinds of infinite subalgebras of logical system -G by utilizing the concepts of accessible generalized tautology.
出处
《模糊系统与数学》
CSCD
北大核心
2010年第6期42-47,共6页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目(10661006)
广西区教育厅科研基金资助项目(桂教科研[2006]26号)
