A novel type of fuzzy propositional logic

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.