• DocumentCode
    2457131
  • Title

    On the reliability of the predical calculus system (MF) of medium logic

  • Author

    Pan, Zhenhua

  • Author_Institution
    Xingyi Teachers´´ Coll., Gueizhou, China
  • fYear
    1989
  • fDate
    29-31 May 1989
  • Firstpage
    64
  • Lastpage
    69
  • Abstract
    Medium predical logic (MF) is the common theoretical foundation of classical mathematics and fuzzy mathematics. It has been formalized as a new theory of logic. The author deals with its reliability. The result shows that formal inference of MF consists of deductive inference, and that MF reliably reflects the deductive inference
  • Keywords
    fuzzy logic; inference mechanisms; classical mathematics; deductive inference; formal inference; fuzzy mathematics; medium logic; predical calculus system; reliability; Calculus; Cost accounting; Educational institutions; Fuzzy logic; Fuzzy sets; Hafnium; Mathematics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
  • Conference_Location
    Guangzhou
  • Print_ISBN
    0-8186-1947-3
  • Type

    conf

  • DOI
    10.1109/ISMVL.1989.37761
  • Filename
    37761