Affiliations: Department of Mathematics, Shahid Bahonar University of Kerman, Kerman, Iran | Department of Mathematics, Islamic Azad University, Bandar Abbas Branch, Bandar Abbas, Iran
Note: [] Corresponding author. Arsham Borumand Saeid, Department of Mathematics, Shahid Bahonar University of Kerman, Kerman, Iran. Emails: arsham@mail.uk.ac.ir, somayeh.motamed@iauba.ac.ir
Abstract: 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.
