Paraconsistent Logic with Multiple Fuzzy Linguistic Truth-values

摘要

This paper extends the two-valued paraconsistent logic into an one in which a proposition takes a truth-value from a set of multiple fuzzy linguistic terms. More specifically, we propose the corresponding inference rule and semantics, and finally prove the soundness of our new fuzzy logical system and its completeness. Moreover, we use an example to illustrate the applicability of our logic system in real life.