• DocumentCode
    3248385
  • Title

    On 1-type positive implicative pseudo-BCK/BCI algebras

  • Author

    Zhang, Xiaohong ; Lu, Yinfeng ; Mao, Xiaoyan

  • Author_Institution
    Dept. of Math., Shanghai Maritime Univ., Shanghai, China
  • fYear
    2010
  • fDate
    20-21 Oct. 2010
  • Firstpage
    71
  • Lastpage
    75
  • Abstract
    As a generalization of positive implicative BCK/BCI-algebras, the notions of 1-type positive implicative pseudo-BCK/BCI algebras are introduced, and some properties are investigated. By introducing the notions of 1-type positive implicative pseudo-BCK/BCI filter, 1-type positive implicative pseudo-BCK/BCI algebras are characterized.
  • Keywords
    process algebra; 1-type positive implicative pseudo-BCK/BCI algebras; 1-type positive implicative pseudo-BCK/BCI filter; Algebra; Integrated circuits; 1-type positive implicative pseudo-BCI filter; 1-type positive implicative pseudo-BCK/BCI algebra; Fuzzy logic; pseudo-BCI algebra; pseudo-BCK algebra;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Knowledge Acquisition and Modeling (KAM), 2010 3rd International Symposium on
  • Conference_Location
    Wuhan
  • Print_ISBN
    978-1-4244-8004-3
  • Type

    conf

  • DOI
    10.1109/KAM.2010.5646326
  • Filename
    5646326