四种命题逻辑中公式的相对Γ-重言度理论

发布时间：2017-03-20 03:08

  本文关键词：四种命题逻辑中公式的相对Γ-重言度理论，由笔耕文化传播整理发布。

【摘要】：基于广义重言式理论,在四种重要的命题逻辑系统Lukasiewicz系统,L*系统,Godel系统和Π系统中,引入了公式的相对Γ-重言度概念,给出了相对Γ-重言度的若干性质。利用公式的相对Γ-重言度,定义了公式间的Γ-相似度,进而导出了命题集F(S)上的一种伪距离。最后讨论了命题集F(S)上统一的近似推理理论,得到了三种类型的近似推理模式之间的内在联系。
【作者单位】： 陕西师范大学数学与信息科学学院 陕西师范大学数学与信息科学学院
【关键词】： 命题逻辑 相对Γ-重言度 性质 Γ-相似度 伪距离 近似推理
【基金】：国家自然科学基金(10331010)
【分类号】：O141.1
【正文快照】： 作为经典二值逻辑的自然延伸，多值命题逻辑(包括模糊命题逻辑)在理论和应用两个方面都有了较大的发展l卜4]。其中受到广泛关注的多值逻辑系统有Lukas化切记:系统，L*系统，，G蒯el系统和n系统。近年来众多的学者针对这四种逻辑系统做了系统而深入地研究。从某种角度来看，有关

【参考文献】

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

1 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期

2 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

3 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

4 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑;2002年02期

5 裴道武;形式演绎系统L~*中的懔运算与演绎定理[J];模糊系统与数学;2001年01期

6 韩诚,周红军;关于形式系统L~*(强)完备性证明的注记[J];陕西师范大学学报(自然科学版);2005年02期

7 杨晓斌,张文修;Lukasiewicz系统中的广义重言式理论[J];陕西师范大学学报(自然科学版);1998年04期

【共引文献】

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

1 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

2 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

3 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

4 胡明娣;王国俊;;基础R_0代数的结构研究[J];纺织高校基础科学学报;2006年03期

5 王国俊;关于模糊推理的若干基本问题[J];工程数学学报;2000年S1期

6 辛晓东;非线性格值逻辑系统鄀_6[J];工程数学学报;2000年S1期

7 王向云;赋值为R_0-模糊集的逻辑系统[J];工程数学学报;2001年01期

8 吴洪博,阎满富;G銉del逻辑系统中F(S)的一个分划及其应用[J];工程数学学报;2001年04期

9 裴道武;模糊逻辑中的自然演绎系统[J];工程数学学报;2002年03期

10 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

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

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

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

1 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

2 覃锋;模糊逻辑中若干问题的研究[D];四川大学;2004年

3 周斌;焦化炉对环境污染的优化控制研究[D];吉林大学;2006年

4 马盈仓;命题泛逻辑的演算理论及推理研究[D];西北工业大学;2006年

5 曾晓松;面向个性化定制的控制类柜体机电产品设计知识重用方法研究[D];重庆大学;2007年

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

1 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

2 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

3 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

4 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

5 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

6 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

7 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

8 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

9 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

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

【二级参考文献】

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

1 裴道武;模糊逻辑中的自然演绎系统[J];工程数学学报;2002年03期

2 裴道武,王三民;形式系统L~*(n)的完备性[J];高校应用数学学报A辑(中文版);2001年03期

3 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学A辑;2001年11期

4 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

5 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

6 王国俊;三I方法与区间值模糊推理[J];中国科学E辑;2000年04期

7 王国俊;适用于多种蕴涵算子的赋值空间上的测度与积分理论[J];中国科学E辑;2001年01期

8 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑;2002年01期

9 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑;2003年04期

10 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

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

1 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

【相似文献】

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

1 诸葛殷同;命题逻辑的推理规则[J];思维与智慧;1982年04期

2 诸葛殷同;重言式[J];思维与智慧;1982年05期

3 何应灿;真值表的判定方法[J];思维与智慧;1982年06期

4 汤军;麦加拉—斯多葛逻辑[J];思维与智慧;1984年03期

5 陈亚明;做过“浆洗工”的逻辑学家——德奥夫拉斯特简介[J];思维与智慧;1984年04期

6 马兵;真假值、蕴涵与基本规律[J];厦门大学学报(哲学社会科学版);1986年01期

7 蔡曙山;一个与卢卡西维兹不同的亚里士多德三段论形式系统[J];哲学研究;1988年04期

8 程仲棠;一个古典的自然推理系统——论斯多葛命题逻辑[J];广东社会科学;1990年01期

9 郭泽深;现代逻辑对亚里士多德逻辑的重新解释[J];华南师范大学学报(社会科学版);1990年04期

10 帅宝强;命题逻辑的引入与形式逻辑教材的改进[J];九江师专学报;1990年01期

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

1 徐扬;;格值命题逻辑公式及其L真(假)性[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

2 陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

3 林邦瑾;;够用的无衍系统Cm[A];全国逻辑讨论会论文选集[C];1979年

4 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年

5 王学刚;;量词与字母[A];1993年逻辑研究专辑[C];1993年

6 郑文辉;;欧美逻辑学说史的研究领域、历史分期和发展特点[A];1993年逻辑研究专辑[C];1993年

7 李小五;;逻辑教学现代化的一次尝试——《新逻辑教程》评介[A];1993年逻辑研究专辑[C];1993年

8 王东临;;关于逻辑的几个问题[A];1994年逻辑研究专辑[C];1994年

9 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年

10 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年

中国重要报纸全文数据库 前10条

1 林圭;固有不然必无不至[N];人民日报海外版;2001年

2 金_g;IT自考学习资源大搜索（一）[N];中国电脑教育报;2002年

3 陈波;逻辑学与理性精神[N];光明日报;2003年

4 李晚莲;中国逻辑的史诗[N];中华读书报;2004年

5 高南生（作者单位：秦安县教师进修学校）;中学数学学习指南[N];甘肃日报;2005年

6 吴晓露;应以“审查监督侦查”取代“检察引导侦查”[N];江苏法制报;2006年

7 贾春华 王永炎;“方证论治系统”原理论思考[N];中国中医药报;2006年

8 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年

9 中国科学院计算技术研究所 常亮邋史忠植;语义Web的逻辑基础[N];计算机世界;2007年

10 哲科;哲学所举办第二届青年学术论坛[N];中国社会科学院院报;2008年

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

1 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

2 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

3 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

4 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

5 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年

6 邓文胜;城镇群体空间结构演化的信息机制[D];武汉大学;2005年

7 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年

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

1 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

2 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

3 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

4 陈文丽;修正的Atanassov命题逻辑及其广义重言式[D];辽宁师范大学;2003年

5 王华;命题泛逻辑学的包容性研究[D];西北工业大学;2004年

6 黄拙;一阶逻辑模型搜索问题研究[D];中国科学院研究生院（软件研究所）;2004年

7 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年

8 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

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

10 茹永梅;经典逻辑系统（？）中的MT问题及公式的真度理论[D];陕西师范大学;2006年

  本文关键词：四种命题逻辑中公式的相对Γ-重言度理论，由笔耕文化传播整理发布。

本文编号：257060