Further Complete Solutions to Four Open Problems on Filter of Logical Algebras

This paper focuses on the investigation of filters of pseudo BCK-algebra and BL-algebra, important and popular generic commutative and non-commutative logical algebras. By characterizing Boolean filter and implicative filter in pseudo BCK-algebra, the essential equivalent relation between these two filters is revealed. An open problem that “In pseudo BCK-algebra or bounded pseudo BCK-algebra, is the notion of implicative pseudo-filter equivalent to the notion of Boolean filter?” is solved. Based on this, this paper explores the essential relations between the implicative (Boolean) filter and implicative pseudo BCK-algebra. A complete solution to an open problem that “Prove or negate that pseudo BCK-algebras is implicative BCK-algebras if and only if every filter of them is implicative filters (or Boolean filter)” is derived. This paper further characterizes the fantastic filter and normal filter in BL-algebra, then gets the equivalent relation between the two filters, and completely solves two open problems regarding the relationship between these two filters: 1. Under what suitable condition a normal filter becomes a fantastic filter? and 2. (Extension property for a normal filter) Under what suitable condition extension property for normal filter holds?

[1]  E. Turunen.  Mathematics Behind Fuzzy Logic , 1999 .

[2]  Anatolij Dvurecenskij,et al.  On pseudo-BL-algebras and pseudo-hoops with normal maximal filters , 2016, Soft Comput..

[3]  Xu Yang,et al.  On open problems based on fuzzy filters of pseudo BCK-algebras , 2015, J. Intell. Fuzzy Syst..

[4]  Xiaohong Zhang,et al.  Implicative Pseudo-BCK Algebras and Implicative Pseudo-Filters of Pseudo-BCK Algebras , 2010, 2010 IEEE International Conference on Granular Computing.

[5]  Wang Wei,et al.  Solutions to Open Problems on Fuzzy Filters of BL-algebras , 2015, Int. J. Comput. Intell. Syst..

[6]  Constantine Tsinakis,et al.  The Structure of Residuated Lattices , 2003, Int. J. Algebra Comput..

[7]  A. Dvurečenskij,et al.  On the Structure of Pseudo BL-algebras and Pseudo Hoops in Quantum Logics , 2010 .

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

[9]  Chris Cornelis,et al.  Filters of residuated lattices and triangle algebras , 2010, Inf. Sci..

[11]  Ideals and Filters in Pseudo-Effect Algebras , 2004 .

[12]  Kyoung-Ja Lee,et al.  SOME IDEALS OF PSEUDO BCI-ALGEBRAS , 2009 .

[13]  K. Iseki,et al.  AN INTRODUCTION TO THE THEORY OF THE BCK-ALGEBRAS , 1978 .

[14]  Esfandiar Eslami,et al.  Some types of filters in BL algebras , 2006, Soft Comput..

[15]  Yang Xu,et al.  On (M, N)-S I (implicative) filters in R0-algebras , 2014, Int. J. Comput. Intell. Syst..

[16]  A. Borumand Saeid,et al.  Normal Filters in BL-Algebras , 2009 .

[18]  Arsham Borumand Saeid,et al.  A new filter in BL-algebras , 2014, J. Intell. Fuzzy Syst..

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

[20]  Afrodita Iorgulescu,et al.  Iséki algebras. Connection with BL algebras , 2004, Soft Comput..

[21]  George Georgescu,et al.  Some classes of pseudo-BL algebras , 2002, Journal of the Australian Mathematical Society.

[22]  Y. Jun,et al.  On pseudo-bci ideals of pseudo-bci algebras , 2006 .

[23]  Wei Wang,et al.  On fuzzy filters of pseudo BL-algebras , 2011, Fuzzy Sets Syst..

[24]  Afrodita Iorgulescu.  ON PSEUDO-BCK ALGEBRAS AND PORIMS , 2004 .

[25]  Esko Turunen,et al.  Boolean deductive systems of BL-algebras , 2001, Arch. Math. Log..

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

[27]  Wang Wei.  Solution to open problems on fuzzy filters in logical algebras and secure communication encoding scheme on filters , 2018 .

[28]  Petr Hájek.  Observations on non-commutative fuzzy logic , 2003, Soft Comput..