DocumentCode
2109278
Title
A novel type of fuzzy propositional logic
Author
Shengli Zhang
Author_Institution
Dept. of Comput. Sci., Xingyi Normal Univ. for Nat., Xingyi, China
fYear
2013
fDate
23-25 July 2013
Firstpage
17
Lastpage
22
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems and Knowledge Discovery (FSKD), 2013 10th International Conference on
Conference_Location
Shenyang
Type
conf
DOI
10.1109/FSKD.2013.6816159
Filename
6816159
Link To Document