StudiesontheBasicofMathematicalDialecticalLogic.PDFVIP

Proceedings of the 4th IASME/WSEAS International Conference on CONTINUUM MECHANICS (CM09) Continuous-valued Logic Algebra Studies on the Basic of Mathematical Dialectical Logic HUACAN HE YINGCANG MA School of computer science School of Electronics and Information Northwestern Polytechnical University Northwestern Polytechnical University School of computer science School of Science University of Posts and Telecommunications Xi’an Polytechnic University P.R.CHINA P.R.CHINA hehuac@ mayingcang@126.com Abstract: - Firstly, we point out that logic is the basic rule of information world, so the key point of current logical development is to establish mathematical dialectical logic, and the one of ways to establish it is using the continuous-valued logic. Secondly, the four kinds of possible uncertainty factors that effect continuous-valued propositional logical operators are discussed. They are True/False contradictions; the Enemy/Friends contradictions; the Loose/Strict contradictions; the Familiar/Unfamiliar contradictions. Based on these, the four flexible parameters and adjustment functions are introduced, and the definitions of seven kinds of integrity cluster of logical operation model that may exist in continuous-valued propositional logic are given, moreover, continuous-value logic algebra are built. Lastly, uncertainty makes continuous-valued logic a logical spectrum,