Abstract

By means of theory of truth degrees of formulas, according to deduction theorems and completeness theorems, the new concepts of consistency degrees and polar index for general theories in Lukasewicz fuzzy and n-valued propositional logic systems are introduced. Moreover, sufficient and necessary conditions for a theory Gamma to be consistent, inconsistent and fully divergent are obtained. Finally, Some important properties of truth degree of formula are proposed.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call