Title :
Continuous-Valued Logic Algebra Studies on the Basic of Mathematical Dialectical Propositional Logic
Author :
He, Huacan ; Jia, Pentao ; Ma, Yingcang ; Ai, Lirong
Author_Institution :
Sch. of Comput. Sci., Northwestern Polytech. Univ., Xi´´an, China
Abstract :
Logic algebra is important to establish the basis of mathematical logic, so in this paper, complete continuous-valued logic algebra is proposed, the definitions of seven kinds of integrity cluster of logical operation model that may exist in continuous-valued propositional logic are given, which can directly include and deal with the four uncertainties that may exist in continuous-valued propositional logical operator model. They are the uncertainty of propositional true degree arising from true/false contradictions, the uncertainty of logical operator model arising from enemy/friends contradictions, the uncertainty of logical operator model arising from loose/strict contradictions, the uncertainty of logical operator model arising from familiar/unfamiliar contradictions. Continuous-valued logic algebra is the important basis for further establishment of continuous-valued of dialectical logic.
Keywords :
algebra; multivalued logic; complete continuous valued logic algebra; continuous valued propositional logic; integrity cluster; logical operator model uncertainty; mathematical dialectical propositional logic; Algebra; Boundary conditions; Educational institutions; Manganese; Mathematical model; Uncertainty; Intelligent Information Processing; Uncertainty; dialectical contradiction; dialectical logic; logic algebra; mathematical dialectical logic; mathematical logic;
Conference_Titel :
Granular Computing (GrC), 2010 IEEE International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
978-1-4244-7964-1
DOI :
10.1109/GrC.2010.28