Soundness and Completeness of Fuzzy Propositional Logic with Three Kinds of Negation
Soundness and Completeness of Fuzzy Propositional Logic with Three Kinds of Negation
复制标题
含三种否定的模糊命题逻辑的健全性和完备性
DOI：
10.1007/978-3-319-46206-6_8
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Zhenghua Pan
中科院分区：
文献类型：
--
作者：
Zhenghua Pan
为了区分和处理模糊知识的不同否定，我们提出了一种模糊命题逻辑，即矛盾否定、对立否定、中间否定和模糊命题逻辑。在本文中，我们进一步研究了FLcom的语义。基于FLcom的三值解释，证明了FLcomare的完备性定理和完备性定理。
In order to distinguish and deal with different negations of fuzzy knowledge, we have presented a fuzzy propositional logic with contradictory negation, opposite negation, medium negation, FScomfor short. In this paper, we further study semantics of FLcom. Based on the three-value interpretation of FLcom, the soundness theorem and completeness theorem for FLcomare proved.
登录
查看更多内容
DOI：
10.1007/978-3-319-99368-3
发表时间：
2018-10
期刊：
--
影响因子：
--
作者：
R. Efendi;Voni Apriana Dewi;Rahmadeni;Sri Basriati;Dadang Syarif
通讯作者：
R. Efendi;Voni Apriana Dewi;Rahmadeni;Sri Basriati;Dadang Syarif
DOI：
10.1007/978-3-540-24572-8_3
发表时间：
2003-12
影响因子：
3.3
作者：
Gerd Wagner
通讯作者：
Gerd Wagner
影响因子：
--
作者：
ZADEH, LA
通讯作者：
ZADEH, LA
DOI：
10.1007/978-94-011-5300-3
发表时间：
1998-08
期刊：
--
影响因子：
--
作者：
P. Hájek
通讯作者：
P. Hájek
DOI：
10.1049/pbpo161e_ch3
发表时间：
2021-07
期刊：
Artificial Intelligence for Smarter Power Systems: Fuzzy logic and neural networks
影响因子：
--
作者：
通讯作者：
--