欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
NML代数是柳代数和NM（R0）代数的共同基础，其系统在几类重要的逻辑系统中居于承上启下的地位，在NML代数中引入滤子（理想）这个工具以后，可以证明许多代数系统具有可嵌入性，从而为这些形式系统具有完备性作了准备．讨论了NML代数的性质，并且在NML代数上引入MP-滤子与MP-理想以及布尔MP-滤子的概念，并利用布尔MP-滤子建立了NML代数的结构：若F是布尔滤子，则M／～F是布尔代数，即NML代数的商代数是布尔代数．
英文摘要：
NML algebras is the common base of MV-algebras and R0-algebras. After introducing filters（ideals） in NML algebras, it is proved that many algebras systems have the property of embedding. Therefore, it is the foundation of the formal systems which have the property of completeness. Its properties are discussed in the present paper. The concepts of MP-filters （MP-ideal） and Boolean MP-filters （ideals） in NML algebras are introduced in this paper, and by using MP-filters, the structure of NML algebras are established： If F is the Boolean filters, then M/～F is the Boolean algebras, i.e. the quotient algebra of NML algebras is obtained.
同期刊论文项目
同项目期刊论文
期刊信息
位置：