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

格值命题逻辑公式及其L真(假)性

徐扬  
【摘要】:正 本文讨论了格值命题逻辑公式,给出了一般的格值命题逻辑公式L恒真(假)的合适定义,解决了格中无中界元时无法定义命题逻辑公式L真(假)性的问题,从而把布尔命题逻辑、Fuzzy命题逻辑、语言值命题逻辑和含分界元的格值命题逻辑的恒真(假)性作了合理的统一,为进一步深入研究格值命题逻辑奠定了一个重要的基础。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李杰民;;高师数学专业数理逻辑教学的一些思考[J];高师理科学刊;2011年04期
2 张利民;;基于云模型的框架推理[J];科技信息;2011年20期
3 谢志强;;讲好离散数学的第一次课[J];计算机教育;2011年16期
4 隋云云;;逻辑系统L_4~2中公式的相似度[J];潍坊学院学报;2011年04期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 徐扬;;格值命题逻辑公式及其L真(假)性[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
2 花强;黄冬梅;;语言值选取在模糊决策树归纳学习中的重要性[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
3 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年
4 李丹菁;陶振麟;;在预测控制中使用命题逻辑及其应用[A];2001中国控制与决策学术年会论文集[C];2001年
5 刘社军;;命题逻辑之判定层次及其判定方法[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
6 夏梦;;逻辑真理的特点[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
7 李娜;;我讲《数理逻辑》课程的方法[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
8 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年
9 孙炳哲;;《肇论》对时空真假的认识——以《物不迁论》与《不真空论》为中心的探讨[A];诠释与建构——汤一介先生75周年华诞暨从教50周年纪念文集[C];2001年
10 陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
中国博士学位论文全文数据库 前10条
1 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
2 贾春华;基于命题逻辑的《伤寒论》方证理论体系研究[D];北京中医药大学;2006年
3 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年
4 殷明浩;自动推理和智能规划中若干问题研究[D];吉林大学;2008年
5 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年
6 钟小梅;基于格值逻辑的α-准锁语义归结自动推理研究[D];西南交通大学;2012年
7 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年
8 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年
9 杜卫锋;粗糙集理论在中文文本分类中的应用[D];西南交通大学;2006年
10 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
中国硕士学位论文全文数据库 前10条
1 常瑞琴;二元组语言值聚合算子及其在电磁环境评价中的应用[D];西华大学;2011年
2 黄拙;一阶逻辑模型搜索问题研究[D];中国科学院研究生院(软件研究所);2004年
3 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年
4 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年
5 黄冲;组合优化中的命题逻辑[D];华中科技大学;2011年
6 张玉庆;武器库存信息系统模糊信息应用研究[D];中国工程物理研究院北京研究生部;2003年
7 刘加昆;转折句“p∧q”的逻辑分析[D];广西师范大学;2007年
8 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年
9 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年
10 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年
中国重要报纸全文数据库 前10条
1 佟芳;首届生命基因高峰论坛举行[N];科技日报;2009年
2 佟佳芳;奋斗攻关四十载 自主创新结硕果[N];科技日报;2009年
3 高南生(作者单位:秦安县教师进修学校);中学数学学习指南[N];甘肃日报;2005年
4 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年
5 陈波;逻辑学与理性精神[N];光明日报;2003年
6 贾春华 王永炎;“方证论治系统”原理论思考[N];中国中医药报;2006年
7 哲科;哲学所举办第二届青年学术论坛[N];中国社会科学院院报;2008年
8 中国科学院计算技术研究所 常亮史忠植;语义Web的逻辑基础[N];计算机世界;2007年
9 林圭;固有不然必无不至[N];人民日报海外版;2001年
10 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978