Generalized co-annihilator of BL-algebras

Abstract In BL-algebras we introduce the concept of generalized co-annihilators as a generalization of coannihilator and the set of the form x-1F where F is a filter, and study basic properties of generalized co-annihilators. We also introduce the notion of involutory filters relative to a filter F and prove that the set of all involutory filters relative to a filter with respect to the suit operations is a complete Boolean lattice and BL-algebra. We use the technology of generalized co-annihilators to give characterizations of prime filters and minimal prime filters, respectively. In particular, we give a representation of co-annihilators in the quotient algebra of a BL-algebra L via a filter F by means of generalized co-annihilators relative to F in L:

[1]  Zhang Xiao-hong.  On Fuzzy Filters and Fuzzy Ideals of BL-algebras , 2006 .

[2]  A. Dvurečenskij,et al.  On pseudo MV-algebras , 2001, Soft Comput..

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

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

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

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

[7]  Wieslaw A. Dudek,et al.  Filter theory of BL algebras , 2007, Soft Comput..

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

[9]  Anatolij Dvurecenskij,et al.  Every Linear Pseudo BL-Algebra Admits a State , 2007, Soft Comput..

[10]  Lluis Godo,et al.  Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[11]  E. Turunen.  BL-algebras of basic fuzzy logic , 1999 .

[12]  Antonio di Nola,et al.  Compact representations of BL-algebras , 2003, Arch. Math. Log..

[13]  George Georgescu,et al.  Pseudo-t-norms and pseudo-BL algebras , 2001, Soft Comput..

[14]  Lida Torkzadeh,et al.  Smarandache BL-algebra , 2010, J. Appl. Log..

[15]  A. Nola,et al.  Boolean products of BL-algebras , 2000 .

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

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