收藏本站
《吉林大学学报(理学版)》 2018年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

BL命题逻辑系统的强同余关系及演绎系统

崔艳丽  梁颖  吴洪博  
【摘要】:通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念,并引入强同余关系,讨论BL系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相互转换的还原性.

【相似文献】
中国期刊全文数据库 前10条
1 乔丙武;群的灰同余关系[J];河北师范大学学报;2001年04期
2 郑延履;软代数的理想和同余关系[J];模糊系统与数学;1994年02期
3 黎爱平;软代数的同余理想和同余关系[J];南昌大学学报(理科版);1996年02期
4 刘晓霞;模m同余关系的进一步讨论[J];陕西师范大学学报(自然科学版);1997年04期
5 王瑞;关于素幂模的组合同余律[J];数学研究与评论;2000年02期
6 杨云,梅汇海,肖怡安;分配P—代数上的同余关系[J];培训与研究(湖北教育学院学报);2000年02期
7 朱怡权,牛冀平;蕴涵格的滤子及同余关系[J];数学研究;2002年02期
8 木仁,韩荣梅,张昆龙;同余关系的一些性质[J];赤峰学院学报(自然科学版);2005年04期
9 党艳;辛小龙;;关于一族新的P-并超运算诱导的同余关系[J];重庆工学院学报(自然科学版);2009年01期
10 韩荣梅;;链的同余关系格研究[J];包头职业技术学院学报;2009年02期
中国重要会议论文全文数据库 前7条
1 刘蔚萍;;Fuzzy格的同余关系[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
2 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
3 汤建钢;胡卫敏;;半群的L-Fuzzy同余关系与同构定理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
4 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年
5 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年
6 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
7 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
中国博士学位论文全文数据库 前5条
1 肖旗梅;格上粗糙集研究[D];湖南大学;2013年
2 龙飞;Quantale的子结构及其性质[D];湖南大学;2007年
3 邹宇晰;基于BL-代数的几类代数结构的研究[D];西北大学;2017年
4 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
5 孙中举;Ockham代数及其同余关系[D];汕头大学;2010年
中国硕士学位论文全文数据库 前10条
1 韩荣梅;格论中的同余关系[D];内蒙古大学;2006年
2 党艳;关于一族新的p-并超运算的研究[D];西北大学;2009年
3 马丽娜;剩余格中的几类Fuzzy滤子和Fuzzy同余关系[D];陕西师范大学;2006年
4 邓鹏;命题逻辑中子句集的分类研究[D];西南交通大学;2015年
5 张志佳;基于有向超图的命题逻辑合取范式的约简[D];西南交通大学;2016年
6 马学玲;BL-代数的广义模糊滤子[D];华中师范大学;2008年
7 李娟;几类Quantale结构与Quantum frame范畴[D];陕西师范大学;2006年
8 王伟;EQ-代数上的内态算子及态BL-代数上的微分[D];西北大学;2017年
9 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年
10 刘小山;基本命题逻辑的模态扩张[D];西南大学;2014年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026