Title :
A novel type of fuzzy propositional logic
Author_Institution :
Dept. of Comput. Sci., Xingyi Normal Univ. for Nat., Xingyi, China
Abstract :
Negative knowledge is considered as important as positive knowledge in the theory of knowledge processing, which is investigated by many researchers. In this paper, a novel fuzzy propositional logic calculus system equipped with three kinds of negations, say contradictory, opposite and medium negation, is established, and the soundness theorem of the system is proved.
Keywords :
fuzzy logic; fuzzy systems; theorem proving; contradictory negation; fuzzy propositional logic calculus system; knowledge processing theory; medium negation; negative knowledge; opposite negation; positive knowledge; soundness theorem proving; Algebra; Calculus; Fuzzy logic; Fuzzy systems; Knowledge discovery; Power capacitors; Snow; contradictory negation; fuzzy logic; medium fuzzy formula; medium negation; opposite negation;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery (FSKD), 2013 10th International Conference on
Conference_Location :
Shenyang
DOI :
10.1109/FSKD.2013.6816159
