• DocumentCode
    2147614
  • 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
  • fYear
    2010
  • fDate
    14-16 Aug. 2010
  • Firstpage
    194
  • Lastpage
    199
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Granular Computing (GrC), 2010 IEEE International Conference on
  • Conference_Location
    San Jose, CA
  • Print_ISBN
    978-1-4244-7964-1
  • Type

    conf

  • DOI
    10.1109/GrC.2010.28
  • Filename
    5576157