论文信息 - A new filter in BL-algebras

A new filter in BL-algebras

In this paper we introduce the notion of obstinate filter in BL-algebra A and we state and prove some theorems which determine the relationship between this notion and other types of filters of a BL-algebra and by some examples we show that this notion is different. Also, we prove that if F is an obstinate filter, then F is a Boolean filter hence A/F is a Boolean algebra. Finally, we construct some algorithms for studying the structure of the finite BL-algebras and filters in finite BL-algebras.

Arsham Borumand Saeid | Somayeh Motamed

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

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

[3] Arsham Borumand Saeid,et al. Some results in BL ‐algebras , 2009, Math. Log. Q..

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

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

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

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

[8] Afrodita Iorgulescu. On BCK Algebras - Part III: Classes of Examples of Proper MVAlgebras, BLAlgebras and Divisible Bounded Residuated Lattices, with or without Condition (WNM) , 2010, J. Multiple Valued Log. Soft Comput..

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

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

[11] Dana Piciu,et al. On the lattice of deductive systems of a BL-algebra , 2003 .