• DocumentCode
    458918
  • Title

    A Propositional Deductive System Of Universal Logic with Projection Operator

  • Author

    Ma, Yingcang ; Li, Qiaoyan

  • Author_Institution
    Sch. of Sci., Xi´´an Polytech. Univ.
  • Volume
    1
  • fYear
    2006
  • fDate
    16-18 Oct. 2006
  • Firstpage
    996
  • Lastpage
    998
  • Abstract
    The aim of this paper is the partial axiomatization for universal logic which was proposed by Prof H.C. He in 2001. Firstly, a propositional calculus formal deductive system ULhisin(0,1) Delta for 0-level universal AND operator is built up. Secondly, the corresponding algebra LstrokPiGDelta is introduced. Finally, we prove the system ULh isin(0,1) Delta is sound and complete
  • Keywords
    mathematical operators; process algebra; partial axiomatization; projection operator; propositional calculus formal deductive system; universal logic; Algebra; Artificial intelligence; Calculus; Fuzzy logic; Helium; Intelligent systems; Lattices; Logic functions; Uncertainty;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Systems Design and Applications, 2006. ISDA '06. Sixth International Conference on
  • Conference_Location
    Jinan
  • Print_ISBN
    0-7695-2528-8
  • Type

    conf

  • DOI
    10.1109/ISDA.2006.77
  • Filename
    4021574
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=458918