• DocumentCode
    3449797
  • Title

    Fuzzy reasoning and fuzzy logic

  • Author

    Wang, Gun-Jun

  • Author_Institution
    Shaanxi Normal Univ., Xi´´an, China
  • fYear
    1996
  • fDate
    11-14 Dec 1996
  • Firstpage
    478
  • Lastpage
    483
  • Abstract
    Fuzzy reasoning and fuzzy logic are two related but different research fields such that both are fruitful but have not yet been well linked. The aim of the paper is to: (i) prove that it is impossible to keep all theorems in classical propositional calculus to be tautologies in fuzzy propositional calculus; (ii) establish a so called quasi-formal deduction system and prove the corresponding soundness theorem; and (iii) revise, clear and set a logic foundation for the concepts of fuzzy modus ponens and fuzzy modus tollens
  • Keywords
    fuzzy logic; inference mechanisms; theorem proving; classical propositional calculus; fuzzy logic; fuzzy modus ponens; fuzzy modus tollens; fuzzy propositional calculus; fuzzy reasoning; logic foundation; quasi-formal deduction system; soundness theorem proving; tautologies; theorems; Calculus; Chromium; Cost accounting; Fuzzy logic; Fuzzy reasoning; Fuzzy sets; Fuzzy systems; Zirconium;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Fuzzy Systems Symposium, 1996. Soft Computing in Intelligent Systems and Information Processing., Proceedings of the 1996 Asian
  • Conference_Location
    Kenting
  • Print_ISBN
    0-7803-3687-9
  • Type

    conf

  • DOI
    10.1109/AFSS.1996.583672
  • Filename
    583672
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3449797