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

基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论

潘小东  徐扬  
【摘要】:基于 Pavelka 关于模糊命题逻辑的思想, 本文初步建立了一种基于[0,1]区间上 Lukasiewicz 蕴涵代数的模糊命题逻辑的语法理论。定义了程度化的形式证明的概念,并在此基础之上,定义了语法结论算子。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 R.A.Demillo;R.J.Lipton;A.J.Perlis;魏启彤;;社会过程和定理与程序的证明[J];计算机科学;1981年05期
2 熊明辉;;论直言推理中存在预设的合理性[J];学术研究;2010年12期
3 马永侠,武宏志;论谬误分析的工具[J];延安大学学报(哲学社会科学版);1997年01期
4 殷德京;命题演算的一种表述[J];湖北师范学院学报(自然科学版);2000年01期
5 孙明湘;论推理的有效性[J];自然辩证法研究;2004年11期
6 孙明湘;李建华;;论逻辑的有效性及其判定[J];湖南文理学院学报(社会科学版);2006年05期
7 张学立;休谟问题的一个特殊解[J];黔南民族师范学院学报;2005年02期
8 陈勇涛;;浅析多值逻辑证明论[J];求是学刊;2007年06期
9 魏燕侠;;正规模态逻辑完全性理论研究综述[J];华北水利水电学院学报(社科版);2007年05期
10 P.苏佩斯 ,宋文淦;李树琦:《逻辑导论》[J];哲学动态;1988年09期
11 龚启荣;吴春红;叶森;;传统形式逻辑与数理逻辑关系论[J];教育文化论坛;2009年02期
12 杨树森;用逻辑知识帮助学生理解问题[J];思维与智慧;1984年01期
13 李小五;模态系统的推理规则的强弱虚实[J];现代哲学;2004年04期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前6条
1 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年
2 党继胜;汪学明;;制约逻辑与BAN逻辑结合的研究[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
3 张锦文;;推理与计算[A];逻辑学文集[C];1978年
4 李小五;;逻辑教学现代化的一次尝试——《新逻辑教程》评介[A];1993年逻辑研究专辑[C];1993年
5 陈慕泽;;词项周延性的一阶语言定义[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
6 杜国平;;经典命题逻辑公理系统定理证明算法设计[A];2004年逻辑研究专辑[C];2004年
中国硕士学位论文全文数据库 前2条
1 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
2 秦一男;经典命题演算的能行方法研究[D];燕山大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978