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

带有语言量词的逻辑系统MTL_Q的弱完备性定理

张小红  曾旭  
【摘要】:基于左连续t-模,Esteva与Godo建立了模糊命题逻辑系统MTL。作为MTL系统的扩展,并以应明生教授创建的语言量词积分模型为基本语义,一个带有语言量词的一阶逻辑系统MTLQ被建立。本文进一步修正了逻辑系统MTLQ的定义(明确了它具有可数个命题常量、增添了book-keeping公理),讨论了MTLQ中赋值的封闭性,证明了系统MTLQ的弱完备性定理。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 孟彪龙;;多值逻辑代数的一个注记[J];高等数学研究;2008年04期
2 潘正华;中介命题逻辑MP的完备性[J];自然杂志;1989年07期
3 刘作述;关于Fuzzy弱收敛的完备性定理[J];四川大学学报(自然科学版);1980年04期
4 唐同诰;一阶时态逻辑(带等词)的一个完备性定理[J];中国科学A辑;1985年01期
5 王国俊;一阶逻辑完备性定理的代数证明[J];陕西师范大学学报(自然科学版);2002年04期
6 邹晶;中介逻辑的命题演算系统的可判定性[J];自然杂志;1989年08期
7 成伟君;;歌德尔不完备性定理的初步探究[J];佳木斯教育学院学报;2010年04期
8 潘正华;;中介谓词逻辑MF完备性的一些结果[J];曲阜师范大学学报(自然科学版);1988年04期
9 魏代俊;陆炳新;彭越;;蛛网模型稳定性条件的推广[J];湖北民族学院学报(自然科学版);2005年04期
10 罗昊;;可靠性与完备性定理中描述形式等价性证明以及应用的讨论[J];福建电脑;2009年08期
中国重要会议论文全文数据库 前8条
1 张小红;曾旭;;带有语言量词的逻辑系统MTL_Q的弱完备性定理[A];Proceedings of 2010 International Conference on Circuit and Signal Processing & 2010 Second IITA International Joint Conference on Artificial Intelligence(Volume 2)[C];2010年
2 韩京清;;控制系统鲁棒性与Gdel不完备性定理[A];1995年中国控制会议论文集(上)[C];1995年
3 龚志伟;刘任任;;关于部分四值逻辑中3元正则可离关系的分类[A];2006年全国理论计算机科学学术年会论文集[C];2006年
4 刘新;;10FL中(μ,ν)-归结原理的完备性[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
5 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年
6 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
7 毛宇光;徐洁磐;刘滔;周勇;;用于不完全信息数据库的中介逻辑演算系统MP~M[A];第十八届全国数据库学术会议论文集(研究报告篇)[C];2001年
8 周华任;徐艳;李世楷;;集值平方可积鞅[A];2006“数学技术应用科学”[C];2006年
中国博士学位论文全文数据库 前5条
1 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年
2 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年
3 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
4 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
5 吴恒洋;概率计算与可能性计算的Domain语义[D];上海师范大学;2007年
中国硕士学位论文全文数据库 前10条
1 张琼;BL_△~*形式系统与NM(?)形式系统的研究[D];陕西师范大学;2010年
2 刘瑶;带Levy过程的BSDE以及带power-jump资产的Levy市场的完备性[D];山东科技大学;2007年
3 黄锋;部分四值逻辑中保完满对称关系函数集之最小覆盖的判定[D];湘潭大学;2006年
4 周小强;部分四值逻辑中保三、四元正则可离关系函数集最小覆盖之判定[D];湘潭大学;2007年
5 许芬;部分四值逻辑中保二元单纯可离关系函数集之最小覆盖的判定[D];湘潭大学;2006年
6 张红杰;BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论[D];陕西师范大学;2008年
7 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年
8 刘敏;关于逻辑代数与系统的若干问题研究[D];陕西师范大学;2007年
9 苗壮;基于DFS的手写数字识别模型及其应用研究[D];苏州大学;2007年
10 萧瑶;信念修正逻辑初探[D];西南大学;2008年
中国重要报纸全文数据库 前1条
1 李雾;“美国宪法有个漏洞”[N];南方周末;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978