收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

Post代数的Fuzzy滤子和Fuzzy同余

陆秋君  吴望名  
【摘要】:[3]指出:在广义布尔代数中,Fuzzy理想格与Fuzzy同余格在格论意义下是同构的。这一结论当然对布尔代数也成立。对偶地,在布尔代数中,Fuzzy滤子格和Fuzzy同余格在格论意义下也是同构的。我们知道,布尔代数是相应于二值命题逻辑的代数系统。更一般地,相应于n值命题逻辑的代数系统是(n阶)Post代数,我们引入PoSt代数的Fuzzy正规滤子的概念,并指出Fuzzy正规滤子格与Fuzzy同余格在格论意义下是同构的。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘云丰;模糊布尔代数[J];自然杂志;1982年03期
2 赵萃魁;;布尔代数和补模格的特征[J];内蒙古大学学报(自然科学版);1983年03期
3 梁朴;满足■A_0∈PA(VA_0、V(A-A_0)■B→G_(A_0)=φ)的可数无穷非原子布尔代数的相对结构以及对可数无穷非原子布尔代数结构的探讨[J];数学研究与评论;1987年01期
4 庄云标;;布尔代数的一个等价性定义的证明[J];台州学院学报;2009年03期
5 朱秉涛;关于布尔代数公理的独立性问题[J];数学研究与评论;1987年01期
6 罗守山;阮传概;;布尔函数一致法的简化程序设计[J];北京邮电大学学报;1993年02期
7 侯维民;帛《易》八卦与布尔代数[J];甘肃高师学报;2000年02期
8 李选民,刘长安,张丽丽;关于原子、原子代数的一种新观点[J];纺织高校基础科学学报;2005年01期
9 施恩伟;分子格构成Fuzzy布尔代数的条件[J];自然杂志;1986年06期
10 查晓亚;布尔代数B_n中一类子集的LYM和对数凸性质[J];科学通报;1985年20期
11 史念东;递归原子集生成的布尔代数的分解[J];南京师大学报(自然科学版);1986年02期
12 李尚龙;;两类特殊格的刻画[J];科学技术与工程;2010年20期
13 杨志红;一阶逻辑紧致性定理在布尔代数中的强表现形式及等式逻辑中的紧致性[J];郑州航空工业管理学院学报;1994年02期
14 郑洲顺,黎奇升,陈国平;无限置换群上一布尔代数的性质[J];吉首大学学报(自然科学版);1998年01期
15 侯维民;伏羲卦图中的布尔代数[J];周易研究;1997年03期
16 孙绍权;谷文祥;;布尔代数上的Fuzzy同余关系[J];模糊系统与数学;2005年04期
17 邓秋红,赵连昌,王东霞;计算不交和的一个新算法[J];科学技术与工程;2003年06期
18 王培根;;布尔函数与布尔多项式[J];首都师范大学学报(自然科学版);2006年05期
19 杨光电;;浅谈布尔代数和逻辑推理之间的关系[J];今日科苑;2009年11期
20 李红刚;曾令淮;;布尔行列式及其性质[J];吉首大学学报(自然科学版);2009年03期
中国重要会议论文全文数据库 前10条
1 陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
2 孙德山;陈图云;郑宏亮;;不精确推理与归结原理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
3 钟业勋;;地图图像系统为布尔代数系的证明[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
4 孙爱国;赵立军;赵贵仁;;L-Fuzzy正规子群的刻划[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
5 罗懋康;李三江;;Locale理论研究进展[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
6 李娜;;模型~R△~(β)的一些性质[A];1997年逻辑研究专辑[C];1997年
7 徐扬;;格值命题逻辑公式及其L真(假)性[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
8 王保红;魏屹东;;对抽象代数的哲学审视[A];山西大学2008年全国博士生学术论坛(科学技术哲学)[C];2008年
9 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年
10 徐晓泉;李渝萍;;完备格的代数结构与完备格上的内蕴拓扑[A];中国中南地区模糊数学与系统分会第二届年会论文集[C];1993年
中国博士学位论文全文数据库 前10条
1 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
2 虞志坚;量子逻辑的代数结构与运算连续性[D];浙江大学;2006年
3 周湘南;与剩余格相关的几类逻辑代数系统的研究[D];湖南大学;2008年
4 陈益智;半环上矩阵的若干研究[D];西北大学;2012年
5 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年
6 潘小东;关于格值逻辑及其语言真值不确定性推理研究[D];西南交通大学;2010年
7 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年
8 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
9 雷强;量子逻辑的内蕴拓扑[D];哈尔滨工业大学;2008年
10 王伟;非可换逻辑代数的滤子及模糊化理论[D];西北大学;2010年
中国硕士学位论文全文数据库 前10条
1 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年
2 孙中品;布尔代数的广义Fuzzy子代数及其在Mizar系统中的实现[D];青岛科技大学;2007年
3 张金凤;R_0代数的两类特殊元及其应用[D];陕西师范大学;2011年
4 肖林荣;近代数字理论中的特殊运算及其应用研究[D];浙江大学;2005年
5 鲁静华;格及超格若干专题研究[D];西北大学;2006年
6 木仁;格和特殊格的不同条件等价定义[D];内蒙古大学;2006年
7 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年
8 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年
9 李兴宽;BCK代数与De Morgan等代数的关系研究[D];昆明理工大学;2006年
10 李毅君;广义格及广义格上的微分[D];西北大学;2009年
中国重要报纸全文数据库 前1条
1 张景中;《数学悖论与三次数学危机》序[N];中华读书报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978