欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
将修正的Kleene系统中的广义重言式理论进行推广，讨论了其序稠密子代数的广义重言式理论，并利用可达广义重言式的概念在矿的序稠密子代数中给出F（S）关于同余的一个分划。
英文摘要：
The theory of generalized tautology in revised Kleene system is extended and theory of generalized tautology in order dense sub-algebras of the revised Kleene system is considered in this paper.Congruence partitions about 7 on F （S） have been given in order dense sub-algebras of system W by utilizing the concepts of accessible generalized tautology.
同期刊论文项目
同项目期刊论文
期刊信息
位置：