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
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;
Conference_Titel :
Granular Computing (GrC), 2010 IEEE International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
978-1-4244-7964-1
DOI :
10.1109/GrC.2010.62
