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

doi:10.3778/j.issn.1002-8331.2009.06.017

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (6): 57-59.DOI: 10.3778/j.issn.1002-8331.2009.06.017

• 研究、探讨 • Previous Articles Next Articles

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

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

卫利萍,薛占熬,岑枫

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

通讯作者: 卫利萍

Abstract

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

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

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

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.

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

[1]	YUAN Shunjie, CHENG Hui, YE Zhencheng, CHENG Peixin. Application of SOM-T2 FLS in Stock Market Forecasting [J]. Computer Engineering and Applications, 2020, 56(7): 130-136.
[2]	NING Xinran, XU Yang, CAO Feng, WU Guanfeng. Clause Elimination Methods in First-Order Logic Lifted from Propositional Logic [J]. Computer Engineering and Applications, 2019, 55(5): 18-25.
[3]	WANG Yongyong, HUI Xiaojing. Average truth degree of Gödel[n]-valued propositional logic system with[Δ]operator [J]. Computer Engineering and Applications, 2018, 54(19): 68-71.
[4]	WANG Lunlei, WU Hongbo. Annihilator operators and[⊕]ideals of IMTL-algebra with their relationships [J]. Computer Engineering and Applications, 2017, 53(9): 57-62.
[5]	LI Qing, ZHENG Lixin, PAN Shuwan, ZHANG Yukun, XIE Yishou. Method of mobile robot navigation using monocular vision [J]. Computer Engineering and Applications, 2017, 53(4): 223-227.
[6]	HONG Zhiyong1, LIU Yi2，3, QIN Keyun4. Discussions on some kinds of inference rules in gradational lattice-valued propositional logic [J]. Computer Engineering and Applications, 2017, 53(24): 55-58.
[7]	SHI Xiaojing, ZHANG Xingfang. Comparing of probabilistic logic, uncertain logic and fuzzy logic [J]. Computer Engineering and Applications, 2017, 53(12): 50-52.
[8]	ZHU Naidiao, HUI Xiaojing, GAO Xiaoli, GAO Jiao. Theory of truth degree in Gödel [n]-valued propositional logic system [J]. Computer Engineering and Applications, 2017, 53(11): 67-72.
[9]	ZHOU Jianren1，2, WU Hongbo2. Syntactic proof of equivalence between [BL?] system and IMTL system [J]. Computer Engineering and Applications, 2016, 52(5): 41-46.
[10]	LIU Dongli. Solutions for [α]-reverse FMP and [α]-reverse FMT in [L?n] [J]. Computer Engineering and Applications, 2016, 52(11): 26-29.
[11]	LV Xinzhi. Theory and application of FAST-SR-UKF to integrated navigation systems [J]. Computer Engineering and Applications, 2015, 51(6): 254-259.
[12]	LI Shunqin, HUI Xiaojing. Theory of generalized tautology based on subalgebras of Gainse-Rescher system [J]. Computer Engineering and Applications, 2015, 51(19): 53-55.
[13]	LI Shunqin, HUI Xiaojing. Theory of generalized tautology in subalgebras of revised RDP logical system [J]. Computer Engineering and Applications, 2015, 51(12): 49-52.
[14]	WANG Hongqi, MAO Amin. Robust and adaptive control of uncertain planar double inverted pendulum [J]. Computer Engineering and Applications, 2015, 51(11): 31-34.
[15]	LI Shunqin, HUI Xiaojing. Generalized contradictory theory in revised RDP logical system [J]. Computer Engineering and Applications, 2015, 51(11): 50-54.

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

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics