二值命题逻辑中的三种Γ近似推理模式及其等价性

【摘要】：在二值命题逻辑中引入了公式的Γ蕴涵真度,证明了全体有限理论的蕴涵真度值在[0,1]中稠密。在Γ蕴涵真度的基础上,定义了公式间的Γ蕴涵相似度及伪距离。最后讨论了基于Γ蕴涵真度的三种近似推理模式,得出了这三种近似推理模式之间是等价的结论。

下载App查看全文

下载全文更多同类文献个人查重>>智能排版>>

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	余玄冰;余维≤5的光滑函数在C~∞(R~n,R)中的稠密性[J];北京师范大学学报(自然科学版);1998年02期
2	阮国桢;Clarke导数的连续性与函数的严格可微性[J];湘潭大学自然科学学报;1991年04期
3	赵舜仁;序列空间Co(X)、l~p(X)的弱列紧性[J];青岛建筑工程学院学报;1999年02期
4	左卫兵;李艺星;;非线性序集逻辑系统L_4~2中命题真度值在[0,1]上的分布[J];华北水利水电学院学报;2007年04期
5	李忠宁;;关于R可积函数空间的完备化[J];河西学院学报;2010年05期
6	商朋见;可求长曲线的非零温度点[J];北方交通大学学报;1999年02期
7	李鹏同,鲁世杰;算子空间中秩一算子的稠密性[J];高校应用数学学报A辑(中文版);2001年02期
8	李鹏同,鲁世杰;完全分配格代数中秩一子代数的弱稠密性和套代数的一个特征[J];数学学报;2002年01期
9	李骏;李尧龙;黎锁平;;逻辑系统G_3中命题的真度值之集在[0，1]上的分布[J];数学研究与评论;2006年03期
10	梁新健;亚有界变差函数[J];嘉应大学学报;1995年01期
11	王晓;关于无理数的稠密性[J];绵阳师范高等专科学校学报;1997年S2期
12	潘杨友;;元周期函数的函数结构特征[J];阜阳师范学院学报(自然科学版);2007年01期
13	马丽娜;王国俊;;Lukasiewicz三值逻辑中命题的真度值之集在[0,1]上的分布[J];山东大学学报(理学版);2009年10期
14	全卫贞;;时标意义下delta微分性质的证明[J];山西大同大学学报(自然科学版);2009年06期
15	茹永梅;王国俊;;几个三值命题逻辑系统中命题真度的分布[J];陕西师范大学学报(自然科学版);2005年04期
16	邵琨;关于齐次群上Sobolev型空间的一点注记[J];华中理工大学学报;1999年06期
17	李庆国;德摩根拓扑代数的局部紧[J];模糊系统与数学;1999年03期
18	何志成;申世英;张跃辉;;广义Vitali不可测集的构造[J];西南大学学报(自然科学版);2007年10期
19	何昀昶;;关于圆周微分同胚的结构稳定性的讨论[J];重庆工学院学报(自然科学版);2008年03期
20	戚民驹;;关于勒贝格不可测集的再认识[J];上海电机学院学报;2007年02期

中国硕士学位论文全文数据库

前2条

1	折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年
2	刘江;对力迫公理A和自然数分拆的注记[D];四川大学;2005年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南