• DocumentCode
    507245
  • Title

    One New Interpretation of Infinite Valued for Medium Proposition Logic

  • Author

    Zhang, Shengli ; Pan, Zhenghua

  • Author_Institution
    Dept. of Comput. Sci., Xingyi Normal Coll. for Nat., Xingyi, China
  • Volume
    6
  • fYear
    2009
  • fDate
    14-16 Aug. 2009
  • Firstpage
    363
  • Lastpage
    367
  • Abstract
    Since three-valued model of medium logic (ML) was established, ML has been affirmed one kind of three-valued logic by many scholars. However, for medium proposition logic (MP) being as kernel theory of ML, Pan gave out a model of infinite valued of MP, on which based, proved the theorems of completeness and reliability. Based on this, this paper sets up a new model of infinite valued of MP whose truth valued range is [0, ¿) ¿ (¿, 1] (¿ ¿ (0.5, 1)), some properties of the model are investigated, and the theorems of completeness and reliability are proved, also. This new model not only further shows that ¿medium proposition logic is one kind of three valued logic¿ is incorrect, but also rightly depicts the medium principle which is basic idea of MP, and offered foundation for MP used in more other fields.
  • Keywords
    theorem proving; kernel theory; medium proposition logic; theorem proving; three-valued logic model; Computer science; Cost accounting; Educational institutions; Electronic mail; Fuzzy logic; Fuzzy sets; Fuzzy systems; Kernel; Power capacitors; Reliability theory; completeness and soundness; infinite-valued model; medium proposition logic; three-valued model;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Fuzzy Systems and Knowledge Discovery, 2009. FSKD '09. Sixth International Conference on
  • Conference_Location
    Tianjin
  • Print_ISBN
    978-0-7695-3735-1
  • Type

    conf

  • DOI
    10.1109/FSKD.2009.55
  • Filename
    5359870