-
题名基础R_0_代数的正规MP-滤子和布尔MP-滤子
被引量：8
- 1
-
-
作者
胡明娣
王国俊
-
机构
陕西师范大学数学研究所
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第5期33-35,70,共4页
-
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.10331010
60272022)
2006 年安康学院科研基金(2006AKXY012)
-
文摘
BR0-代数是MV-代数和R0-代数的共同基础,论文引入了BR0-代数的正规MP-滤子和布尔MP-滤子,讨论了他们之间的关系,给出它们的特征性质,并且给出了刻画正规BR0-代数的特征定理。
-
关键词
BR0_代数
正规BR0_代数
正规mp-滤子
布尔mp-滤子
-
Keywords
Basic R0_algebras
normal Basic R0_algebras
normal mp-fiher
Boolean mp-filter
-
分类号
O141.1
[理学—基础数学]
-
-
题名NML代数的性质及其滤子与理想
被引量：1
- 2
-
-
作者
胡明娣
-
机构
陕西师范大学数学研究所
安康学院数学系
-
出处
《纺织高校基础科学学报》
CAS
2007年第3期223-226,245,共5页
-
基金
国家自然科学基金(10331010
60272022)
+1 种基金
2006年安康学院科研基金(2006AKXY012)
2007年陕西师范大学硕士创新基金(2007CXS016)
-
文摘
NML代数是MV代数和NM(R_0)代数的共同基础,其系统在几类重要的逻辑系统中居于承上启下的地位,在NML代数中引入滤子(理想)这个工具以后,可以证明许多代数系统具有可嵌入性,从而为这些形式系统具有完备性作了准备.讨论了NML代数的性质,并且在NML代数上引入MP-滤子与MP-理想以及布尔MP-滤子的概念,并利用布尔MP-滤子建立了NML代数的结构:若F是布尔滤子,则M/～_F是布尔代数,即NML代数的商代数是布尔代数.
-
关键词
NML代数IMV代数
NM(R0)代数
mp-滤子
mp-理想
布尔mp-滤子
-
Keywords
NML algebras
MV-algebras
NM（Ro）-algebra
mp-filter
mp-ideal
Boolean mp-filter
-
分类号
O141.1
[理学—基础数学]
-
