• DocumentCode
    460765
  • Title

    A Propositional Formal Deductive System UL-hϵ[0.75,1] Of Universal Logic

  • Author

    Ma, Yingcang

  • Author_Institution
    Sch. of Sci., Xi´´an Polytech. Univ.
  • Volume
    1
  • fYear
    2006
  • fDate
    3-6 Nov. 2006
  • Firstpage
    109
  • Lastpage
    112
  • Abstract
    The aim of this paper is the partial axiomatization of universal logic. A propositional calculus formal deductive system UL-hϵ[0.75,1] for 1-level universal AND operator is built up. The corresponding algebra ΠG- is introduced. We prove the system UL-hϵ[0.75,1] is sound and complete.
  • Keywords
    process algebra; axiomatization; propositional calculus formal deductive system; universal logic; Algebra; Artificial intelligence; Calculus; Fuzzy logic; Fuzzy reasoning; Helium; Lattices; Logic functions; Uncertainty;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Intelligence and Security, 2006 International Conference on
  • Conference_Location
    Guangzhou
  • Print_ISBN
    1-4244-0604-8
  • Electronic_ISBN
    1-4244-0605-6
  • Type

    conf

  • DOI
    10.1109/ICCIAS.2006.294100
  • Filename
    4072053
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=460765