• DocumentCode
    2144207
  • Title

    Implicative Pseudo-BCK Algebras and Implicative Pseudo-Filters of Pseudo-BCK Algebras

  • Author

    Zhang, Xiaohong ; Gong, Hongjuan

  • Author_Institution
    Dept. of Math., Shanghai Maritime Univ., Shanghai, China
  • fYear
    2010
  • fDate
    14-16 Aug. 2010
  • Firstpage
    615
  • Lastpage
    619
  • Abstract
    The notions of 1-type implicative pseudo-BCK algebra and 2-type implicative pseudo-BCK algebra are introduced, and the relations among 1-type (2-type) implicative pseudo-BCK algebras and implicative BCK-algebras. Moreover, the notion of implicative pseudo-filter is introduced, and a characterization of bounded 1-type (2-type) implicative pseudo-BCK algebra is obtained by implicative pseudo-filter.
  • Keywords
    Boolean algebra; implicative BCK algebras; implicative pseudo BCK algebras; implicative pseudo filters; Algebra; Fuzzy logic; Fuzzy systems; Lattices; Noise measurement; Sufficient conditions;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Granular Computing (GrC), 2010 IEEE International Conference on
  • Conference_Location
    San Jose, CA
  • Print_ISBN
    978-1-4244-7964-1
  • Type

    conf

  • DOI
    10.1109/GrC.2010.62
  • Filename
    5576013
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2144207