Foundation of credibilistic logic

In this paper, credibilistic logic is introduced as a new branch of uncertain logic system by explaining the truth value of fuzzy formula as credibility value. First, credibilistic truth value is introduced on the basis of fuzzy proposition and fuzzy formula, and the consistency between credibilistic logic and classical logic is proved on the basis of some important properties about truth values. Furthermore, a credibilistic modus ponens and a credibilistic modus tollens are presented. Finally, a comparison between credibilistic logic and possibilistic logic is given.