Title :
Resolution method of six-element linguistic truth-valued intuitionistic propositional logic
Author :
Zou, Li ; Sun, Fang ; Xu, Yang
Abstract :
Truth degree and falsity degree of intuitionistic fuzzy proposition are two truth values with linguistic hedge. In this paper, we constructed six-element intuitionistic linguistic truth-valued propositional logic(6 LTV-IP) based on the the framework of linguistic truth-valued propositional logic which can express both the comparable and incomparable truth values. With some special properties of 6 LTV-IP, we discussed the satisfiable problem of 6 LTV-IP and proposed a resolution method of 6 LTV-IP.
Keywords :
fuzzy logic; 6LTV-IP; falsity degree; intuitionistic fuzzy proposition; six-element linguistic truth-valued intuitionistic propositional logic; truth degree; Algebra; Fuzzy logic; Fuzzy sets; Information technology; Intelligent control; Intelligent systems; Knowledge engineering; Lattices; Logic functions; Multivalued logic;
Conference_Titel :
Intelligent System and Knowledge Engineering, 2008. ISKE 2008. 3rd International Conference on
Conference_Location :
Xiamen
Print_ISBN :
978-1-4244-2196-1
Electronic_ISBN :
978-1-4244-2197-8
DOI :
10.1109/ISKE.2008.4730914
