关于正则蕴涵算子

发布时间：2019-01-21 09:04

【摘要】：目的研究可与三角模构成伴随的蕴涵算子,即正则蕴涵算子。方法非经典数理逻辑的语义理论。结果对正则蕴涵算子的定义进行了简化,进而介绍了一种生成正则蕴涵算子的方法,最后就某些具有特殊性质的正则算子进行了研究,得到了相应的函数特征。结论正则蕴涵算子对于建立完备的逻辑系统至关重要。
[Abstract]:Aim to study the adjoint implication operator, the regular implication operator, which can be formed by trigonometric modules. Methods semantic theory of nonclassical mathematical logic. Results the definition of regular implication operator is simplified, and a method of generating regular implication operator is introduced. Finally, some regular operators with special properties are studied and the corresponding functional characteristics are obtained. Conclusion the regular implication operator is very important for the establishment of a complete logical system.
【作者单位】： 陕西师范大学数学与信息科学学院 陕西师范大学旅游与环境学院
【基金】：国家自然科学基金资助项目(10471083)
【分类号】：O141.1

【共引文献】

相关期刊论文 前10条

1 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

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

3 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

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

5 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年03期

6 张小红,薛占熬,马盈仓;R_0-代数(NM-代数)的布尔MP滤子与布尔MP理想[J];工程数学学报;2005年02期

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

8 张兴芳;孟广武;张安英;;蕴涵算子族及其应用[J];计算机学报;2007年03期

9 王国俊,许文艳;从事实逻辑到任务逻辑[J];模糊系统与数学;2004年01期

10 苏忍锁,王国俊;R_0代数的Fuzzy MP滤子[J];模糊系统与数学;2004年02期

相关博士学位论文 前7条

1 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

2 尚云;量子逻辑中有效代数与伪有效代数的研究[D];陕西师范大学;2005年

3 刘华文;直觉模糊与区间值模糊环境下的多准则决策与推理算法[D];山东大学;2005年

4 王小明;时态角色委托代理授权图模型及其分析研究[D];西北大学;2004年

5 陈树伟;基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究[D];西南交通大学;2006年

6 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

7 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年

相关硕士学位论文 前10条

1 许文艳;任务逻辑[D];陕西师范大学;2004年

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

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

4 刘振晗;基于广义归结的程序综合[D];大连理工大学;2005年

5 雷红轩;同步格值自动机和同步格值有限自动机[D];陕西师范大学;2005年

6 周湘南;理论的相容度及效应代数的滤子与商[D];陕西师范大学;2005年

7 姚卫;Heyting代数中的滤子与同构定理及其范畴Heyt[D];陕西师范大学;2005年

8 朱华;格蕴涵代数中滤子和理想的研究[D];西南交通大学;2005年

9 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

10 罗清君;IL型三I算法及其还原性和R_0代数中的滤子格[D];陕西师范大学;2006年

【相似文献】

相关硕士学位论文 前5条

1 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

2 李建生;n值逻辑系统中命题的绝对真度及其随机化理论[D];兰州理工大学;2008年

3 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

4 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

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

，

本文编号：2412502