• DocumentCode
    2857020
  • Title

    Consistency Degrees of Theories in the Revised n-Valued Kleene Logical System

  • Author

    Li Jun ; Lan Qian

  • Author_Institution
    Sch. of Sci., Lanzhou Univ. of Technol., Lanzhou, China
  • Volume
    6
  • fYear
    2009
  • fDate
    14-16 Aug. 2009
  • Firstpage
    351
  • Lastpage
    354
  • Abstract
    Based on the truth degrees of formulas and the generalized deduction theorem, the present paper proposes an index reflecting the extent to which a general theory is consistent in the revised n-valued Kleene logical system. A sufficient and necessary condition for theories being consistent or inconsistent are given.
  • Keywords
    formal logic; consistency degrees; general theory; generalized deduction theorem; revised n-valued Kleene logical system; Algebra; Civil engineering; Fuzzy logic; Fuzzy sets; Fuzzy systems; Logic functions; Multivalued logic; Paper technology; Consistency degree; Hausdorff metric; Truth degree;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Natural Computation, 2009. ICNC '09. Fifth International Conference on
  • Conference_Location
    Tianjin
  • Print_ISBN
    978-0-7695-3736-8
  • Type

    conf

  • DOI
    10.1109/ICNC.2009.611
  • Filename
    5365769
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2857020