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

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.

[1]  Zhang Xiao-hong.  Fuzzy BIK~+-logic and Non-commutative Fuzzy Logics , 2009 .

[2]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[3]  Afrodita Iorgulescu.  Classes of pseudo-BCK algebras - Part II , 2006, J. Multiple Valued Log. Soft Comput..

[4]  Afrodita Iorgulescu,et al.  Classes of Pseudo-BCK algebras -Part I , 2006, J. Multiple Valued Log. Soft Comput..

[5]  Y. Jun,et al.  Fuzzy pseudo-ideals of pseudo-BCK algebras , 2003 .

[6]  Zhang Xiao-hong.  Boolean Filter and psMV-filter of Pseudo-BCK Algebras , 2011 .

[7]  Jan Kühr,et al.  Representable pseudo-BCK-algebras and integral residuated lattices , 2007 .

[8]  Afrodita Iorgulescu,et al.  Pseudo-Iséki Algebras. Connection with Pseudo-BL Algebras , 2005, J. Multiple Valued Log. Soft Comput..

[9]  IorgulescuAfrodita.  On BCK algebras , 2008, SOCO 2008.

[10]  Xiaohong Zhang,et al.  Commutative Weak t-Norm and Non-associative Residuated Lattices , 2009, 2009 Second International Symposium on Knowledge Acquisition and Modeling.

[11]  Zhang Xiao-hong.  Necessary and Sufficient Conditions for Residuated Lattice and Bounded psBCK-algebra to be Boolean algebra , 2010 .

[12]  Xiao-hong Zhang,et al.  On pseudo-BL algebras and BCC-algebras , 2006, Soft Comput..

[13]  George Georgescu,et al.  Pseudo-BCK Algebras: An Extension of BCK Algebras , 2001, DMTCS.

[14]  Yongquan Wang,et al.  Boolean Filters and Prime Filters of Residual Lattices , 2007, Fourth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2007).

[15]  Sylvia Pulmannová,et al.  New trends in quantum structures , 2000 .

[16]  Y B Jun,et al.  PSEUDO-IDEALS OF PSEUDO-BCK ALGEBRAS , 2003 .

[17]  Yang Xu,et al.  Pseudo-BCK algebras and PD-posets , 2007, Soft Comput..

[18]  K. Iseki.  An Algebra Related with a Propositional Calculus , 1966 .