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

命题逻辑系统SMTL中公式的积分真度理论

李骏  姚锦涛  
【摘要】:首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王伟,王国俊;伪度量L~*-Lindenbaum代数中基本运算的连续性[J];陕西师范大学学报(自然科学版);2005年02期
2 张星虎;关于经典超拓扑T_(12)[J];太原重型机械学院学报;1985年S1期
3 刘明学;随机伪度量族空间与随机拓扑空间[J];西南石油学院学报;1994年02期
4 梁学军;格上伪度量函数的分解[J];北京师范大学学报(自然科学版);1995年01期
5 陈庆祺;一致测度的扩张[J];浙江工业大学学报;1987年01期
6 梁基华;诱导空间的度量化问题[J];数学进展;1990年04期
7 吴从炘,吴健荣;Fuzzy双拓扑空间的拟伪度量化[J];模糊系统与数学;1992年01期
8 李庆国,陈学友,邓自克;德摩根一致代数的度量化[J];数学理论与应用;2003年02期
9 李立峰;王国俊;;Lukasie wicz命题集的积分真度、发散度与相容度的分布[J];陕西师范大学学报(自然科学版);2006年02期
10 袁学海;包孟红;;直觉相似关系和直觉模糊子群[J];辽宁师范大学学报(自然科学版);2007年01期
11 胡泊;张国华;;测度空间的拓扑序列熵(英文)[J];中国科学技术大学学报;2008年05期
12 崔美华;徐罗山;周纯阳;;逻辑系统′Luk中命题积分真度的若干等式与不等式[J];模糊系统与数学;2009年05期
13 李璧镜;王国俊;;逻辑伪度量空间中的孤立点[J];计算机工程与应用;2010年11期
14 张静;;Frink引理的注记[J];数学研究;2010年02期
15 张美;马盈仓;;Frank三角范数的一类模糊逻辑系统的真度理论[J];计算机工程与应用;2011年02期
16 刘应明;Fuzzy度量化——嵌入理论的一个应用[J];数学研究与评论;1984年03期
17 张锦豪;全纯域上的S度量[J];科学通报;1986年24期
18 陈志华;;关于Bloch映射与Bloch流形[J];上海交通大学学报;1986年04期
19 王贵君 ,王忠海;Fuzzy区间分布数与广义拟概率度量[J];大连教育学院学报;1996年03期
20 王贵君,李晓萍;Fuzzy—区间分布数与区间拟概率度量[J];通化师范学院学报;1997年07期
中国重要会议论文全文数据库 前1条
1 陈鹏;;模糊拓扑空间两组度量公理的等价性及度量化[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
中国博士学位论文全文数据库 前2条
1 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
2 史福贵;格上点式一致结构与点式度量理论及其应用[D];首都师范大学;2001年
中国硕士学位论文全文数据库 前10条
1 包孟红;直觉模糊关系及其应用[D];辽宁师范大学;2007年
2 张润莲;关于某类自仿射函数迭代系统的开集条件与强开集条件[D];华中师范大学;2008年
3 胡晓涛;自仿tile边界的维数[D];华中师范大学;2007年
4 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年
5 张红杰;BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论[D];陕西师范大学;2008年
6 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年
7 刘小燕;度规空间的理论及其应用[D];南京师范大学;2006年
8 李云丽;二维线性系统脉冲传递函数估计的渐近性质[D];北京交通大学;2007年
9 格日乐;关于取值于局部凸空间向量测度的进一步研究[D];内蒙古大学;2009年
10 李丽;几类广义凸规划的最优性和对偶性[D];延安大学;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978