Gödel区间值逻辑系统的广义拟重言式

doi:10.3778/j.issn.1002-8331.2009.06.017

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (6): 57-59.DOI: 10.3778/j.issn.1002-8331.2009.06.017

Gödel区间值逻辑系统的广义拟重言式

卫利萍,薛占熬,岑枫

河南师范大学计算机与信息技术学院，河南新乡 453007

收稿日期:2008-01-31 修回日期:2008-04-07 出版日期:2009-02-21 发布日期:2009-02-21
通讯作者: 卫利萍

Generalized quasi-tautology of Gödel interval-valued logic system

WEI Li-ping,XUE Zhan-ao,CEN Feng

College of Computer and Information Technology，Henan Normal University，Xinxiang，Henan 453007，China

Received:2008-01-31 Revised:2008-04-07 Online:2009-02-21 Published:2009-02-21
Contact: WEI Li-ping

摘要/Abstract

摘要： 吴洪博博士将王国俊教授在R0逻辑系统中的广义重言式理论推广到Gödel逻辑系统中，通过定义两个同构映射，得到其逻辑系统F（S）的一个分划。将这一理论推广到区间值模糊命题逻辑系统中，定义了两个新的区间同构映射，最终得到区间值逻辑系统F（S）的一个分划。

关键词: 广义拟重言式, 广义重言式, 模糊逻辑, 命题演算

Abstract: Ph.D WU Hong-bo generalized Professor WANG Guo-jun’s theory about R0-logic system generalized tautology into Gödel logic system.He has obtained the partition by introducing the two concept of isomorphic mapping on Gödel logic system of F（S）.In this paper，the authors generalize Ph.D WU’s theory into interval-valued fuzzy propositional logic system，introduce the two new concept of interval isomorphic mapping，and also obtain the partition on interval-valued logic system of F（S） in the end.

Key words: generalized quasi-tautology, generalized tautology, fuzzy logic, propositional logic

卫利萍,薛占熬,岑枫. Gödel区间值逻辑系统的广义拟重言式[J]. 计算机工程与应用, 2009, 45(6): 57-59.

WEI Li-ping,XUE Zhan-ao,CEN Feng. Generalized quasi-tautology of Gödel interval-valued logic system[J]. Computer Engineering and Applications, 2009, 45(6): 57-59.

[1]	袁顺杰，程辉，叶贞成，程培鑫. SOM-T2 FLS在股市预测中的应用研究[J]. 计算机工程与应用, 2020, 56(7): 130-136.
[2]	王伦磊，吴洪博. IMTL-代数的零化算子和[⊕]理想及其相互关系[J]. 计算机工程与应用, 2017, 53(9): 57-62.
[3]	李庆，郑力新，潘书万，张裕坤，谢一首. 使用单目视觉的移动机器人导航方法[J]. 计算机工程与应用, 2017, 53(4): 223-227.
[4]	师肖静，张兴芳. 概率逻辑、不确定逻辑和模糊逻辑之比较[J]. 计算机工程与应用, 2017, 53(12): 50-52.
[5]	周建仁1，2，吴洪博2. [BL?]系统和IMTL系统等价性的语构证明[J]. 计算机工程与应用, 2016, 52(5): 41-46.
[6]	吕新知. FAST-SR-UKF算法及其在组合导航系统中的应用[J]. 计算机工程与应用, 2015, 51(6): 254-259.
[7]	李顺琴，惠小静. Gainse-Rescher系统基于子代数的广义重言式[J]. 计算机工程与应用, 2015, 51(19): 53-55.
[8]	李顺琴，惠小静. 修正的RDP逻辑系统中子代数的广义重言式理论[J]. 计算机工程与应用, 2015, 51(12): 49-52.
[9]	王红旗，毛啊敏. 不确定平面二级倒立摆的鲁棒自适应控制[J]. 计算机工程与应用, 2015, 51(11): 31-34.
[10]	李顺琴，惠小静. 修正的RDP逻辑系统中的广义矛盾式[J]. 计算机工程与应用, 2015, 51(11): 50-54.
[11]	徐伟华. 基于模糊参数的高斯边缘检测模型方法研究[J]. 计算机工程与应用, 2014, 50(7): 166-169.
[12]	刘春辉. FI代数的模糊素MP滤子与模糊超MP滤子[J]. 计算机工程与应用, 2014, 50(23): 77-81.
[13]	刘春辉. Fuzzy蕴涵代数的正则滤子[J]. 计算机工程与应用, 2014, 50(20): 41-44.
[14]	周建仁，吴洪博. MV代数的子代数及相关重言式之间的关系[J]. 计算机工程与应用, 2013, 49(9): 45-49.
[15]	孙晓玲，王宁. 基于直觉模糊Petri网的加权直觉模糊推理[J]. 计算机工程与应用, 2013, 49(4): 50-53.

Gödel区间值逻辑系统的广义拟重言式

Generalized quasi-tautology of Gödel interval-valued logic system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics