• DocumentCode
    3227934
  • Title

    Hausdorff Metric and Consistency Degrees of Theories in n-Valued R0 Logical System

  • Author

    Li Jun ; Ma Teng

  • Author_Institution
    Sch. of Sci., Lanzhou Univ. of Technol., Lanzhou
  • Volume
    2
  • fYear
    2008
  • fDate
    20-22 Oct. 2008
  • Firstpage
    994
  • Lastpage
    997
  • Abstract
    Based on Hausdorff metric and the truth degrees of formulas, the present paper proposes an index reflecting the extent to which a general theory is consistent in n-valued R0 logical system Ln*.Sufficient and necessary conditions for theories being consistent or inconsistent are given.
  • Keywords
    formal logic; Hausdorff metric; n-valued R0 logical system; theory consistency degree; Algebra; Automation; Education; Fuzzy logic; Fuzzy systems; Military computing; Multivalued logic; Paper technology; Consistency degree; Hausdorff metric; Truth degree;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Computation Technology and Automation (ICICTA), 2008 International Conference on
  • Conference_Location
    Hunan
  • Print_ISBN
    978-0-7695-3357-5
  • Type

    conf

  • DOI
    10.1109/ICICTA.2008.141
  • Filename
    4659912
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3227934