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
Link To Document