IMTL逻辑系统的一种新扩张形式

发布时间：2017-12-12 01:18

  本文关键词：IMTL逻辑系统的一种新扩张形式

  更多相关文章： 模糊逻辑 IMTL逻辑系统 Lukasiewicz逻辑系统 逻辑系统L* IMTL*逻辑系统 蕴涵表示

【摘要】：提出了一种新的模糊逻辑系统IMTL*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且Lukasiewicz逻辑系统和逻辑系统L*都是它的模型扩张,应用这些结论给出了Lukasiewicz逻辑系统和逻辑系统L*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。
【作者单位】： 河西学院数学与统计学院;陕西师范大学数学与信息科学学院;
【基金】：国家自然科学基金资助项目(11171196) 中央高校基本科研业务费专项基金项目(GK201501001)
【分类号】：O141.1
【正文快照】： 0引言錢ukasiew icz逻辑系统、乘积逻辑系统和G¨odel逻辑系统是最早提出的三种多值逻辑系统[1]。1998年H錰jek教授基于对这几种著名模糊命题演算系统的共同特征提出了基础模糊命题演算系统BL和基础逻辑代数BL[2]。王国俊教授于1997年建立了模糊命题演算形式演绎系统L*,随后又

【相似文献】

中国期刊全文数据库 前10条

1 王飓安;对开放逻辑系统的哲学思考[J];自然辩证法研究;1995年02期

2 王霞,郭嗣琮;有限状态模糊思辨逻辑系统及其数学模型[J];辽宁工程技术大学学报(自然科学版);1998年06期

3 童雪;由鈦ω_1ω诱导的几个逻辑系统[J];现代电力;1998年03期

4 王霞;模糊思辨逻辑系统[J];辽宁工程技术大学学报(自然科学版);1999年01期

5 冯玉琳;程序验证的一个逻辑系统[J];自然杂志;1980年11期

6 马华孝;;2~3值逻辑系统的基本运算规则与物理模型[J];成都科技大学学报;1986年03期

7 熊天义;Lukasiewicz蕴涵[J];淮北煤师院学报(自然科学版);1996年03期

8 王霞;模糊思辨逻辑系统[J];辽宁工程技术大学学报(自然科学版);1999年02期

9 裴道武;基于正规剩余格的一个逻辑系统及其完备性[J];淮阴师范学院学报(自然科学版);2002年01期

10 施庆生，张东摩;基于中介逻辑的多模态逻辑系统[J];南京航空航天大学学报;1996年01期

中国重要会议论文全文数据库 前9条

1 裴道武;;基本逻辑系统中一个定理的新证明(英文)[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

2 ;贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会在花溪召开[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

3 王霞;郭嗣琮;;一种TDLS的初步探讨[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

4 陈永义;;NF逻辑系统[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

5 刘军;马骏;;格值逻辑系统LP(X)的推理性质讨论[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

6 钱磊;;中介逻辑系统MF的Gentzen系统[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

7 褚智萍;;命题的辩证唯物论真假观[A];2013年“获取新知”专题研讨会——弘扬获取新知的思想 开发振兴贵州的智慧论文集[C];2013年

8 张清宇;;名辞逻辑系统MC[A];科学发展：文化软实力与民族复兴——纪念中华人民共和国成立60周年论文集（下卷）[C];2009年

9 王培;;概称句的生成与评价(英文)[A];2004年逻辑研究专辑[C];2004年

中国博士学位论文全文数据库 前2条

1 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

2 冯彦波;合并逻辑方法研究[D];南开大学;2010年

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

1 孟艳平;扰动模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

2 刘欢;粗糙逻辑及其计量化研究[D];西安工程大学;2012年

3 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

4 栗文国;基于未确知逻辑系统的业务过程诊断方法研究[D];河北工程大学;2009年

5 束媛媛;格值模型理论与格值逻辑系统的现状研究[D];淮北师范大学;2011年

6 吴凤干;直觉模糊命题逻辑系统的语义[D];辽宁师范大学;2005年

7 李立峰;Lukasiewicz逻辑系统中的模糊推理及模糊概念格的属性约简[D];陕西师范大学;2006年

8 雷冲;Curry悖论研究[D];华中科技大学;2013年

9 王小敏;L～*系统中的模糊演绎定理与R_0代数性质的新探索[D];陕西师范大学;2007年

，

本文编号：1280636