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
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;
Conference_Titel :
Knowledge Acquisition and Modeling (KAM), 2010 3rd International Symposium on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-8004-3
DOI :
10.1109/KAM.2010.5646326
