Lukasie wicz逻辑系统中的广义重言式理论

发布时间：2018-05-16 18:13

  本文选题：模糊逻辑 + 语义　； 参考：《西南交通大学学报(自然科学版)》2000年05期

【摘要】：将逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中 ,主要结果是 :得到了逻辑公式集F(S)在该系统中关于嗀同余的分划 ;证明了在该逻辑系统中对每个无理数α而言 ,不存在可达α 重言式 ,且对每个实数α而言 ,不存在可达α+ 重言式 ;给出了广义重言式、广义矛盾式各类之间的关系定理。
[Abstract]:......
【作者单位】： 四川大学数学系!四川成都610064 西南交通大学应用数学系!四川成都610031
【分类号】：O141.1

【参考文献】

相关期刊论文 前3条

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

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

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

【共引文献】

相关期刊论文 前10条

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

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

3 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

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

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 朱怡权;R_0代数的对偶代数[J];工程数学学报;2002年04期

相关会议论文 前1条

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

相关博士学位论文 前10条

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

2 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

3 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

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

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

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

7 徐蔚鸿;模糊智能系统中模糊推理研究[D];南京理工大学;2004年

8 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

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

10 姜保庆;关于弱比例规则的挖掘及推理研究[D];西南交通大学;2005年

相关硕士学位论文 前10条

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

2 高小军;模糊推理的新算法及基于模糊小波网络的自适应控制[D];西安电子科技大学;2002年

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

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

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

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

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

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

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

10 吴恒洋;模糊推理的数学结构及其应用[D];上海师范大学;2004年

【二级参考文献】

相关期刊论文 前3条

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

2 王国俊;一类代数上的逻辑学(Ⅱ)[J];陕西师范大学学报(自然科学版);1997年03期

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

【相似文献】

相关期刊论文 前10条

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

2 吴洪博,阎满富;Gainse-Rescher逻辑系统中的广义重言式理论[J];四川大学学报(自然科学版);2000年05期

3 裴道武;多值逻辑系统中的子代数与广义重言式[J];陕西师范大学学报(自然科学版);2000年02期

4 吴洪博,王国俊;Lukasie wicz逻辑系统中的广义重言式理论[J];西南交通大学学报(自然科学版);2000年05期

5 杨晓斌,张文修;Lukasiewicz多值逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年01期

6 吴洪博;G銉del逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年04期

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

8 李骏,韦奉岐,马盈仓;逻辑系统中重言式及广义重言式的关系[J];纺织高校基础科学学报;2001年01期

9 韩诚,王国俊;命题公式集F(S)的基于R_0-算子的16类分划[J];数学研究与评论;2005年03期

10 韩莹,陈森发;扰动模糊命题逻辑的代数结构及其广义重言式性质[J];高校应用数学学报A辑(中文版);2005年04期

相关会议论文 前1条

1 陈图云;吴凤干;汤服成;;直觉模糊命题逻辑的广义拟重言式及其分类[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

相关博士学位论文 前1条

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

相关硕士学位论文 前10条

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

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

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

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

5 张宇卓;区间值模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

6 韩莹;扰动模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年

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

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

9 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

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

，

本文编号：1897896