تئوری فیلتر جبر BL

قیمت: 38,000 تومان

دانلود رایگان مقاله

خرید ترجمه مقاله

عنوان فارسی

تئوری فیلتر جبر BL

عنوان لاتین

Filter theory of BL algebras

در این مقاله ما مباحث اساسی انواع فیلنرها را در نظر می گیریم (بولین، ایجابی مثبت، فیلترهای ایجابی و فوق العاده) از جبر BL که توسط هاوشکی و همکاران (محاسبه نرم 10:657-664 ف 2006) و تورونن ( منطق قوس ریاضی 40:467-473 ، 2001) تعریف شده است. در کار هاوشکی و همکاران (2006) ثابت شده که اگر F مقدار بیشتینه و فیلتر ایجابی (مثبت) باشد پس یک فیلتر بولین است. در آن مقاله یک مساله باز وجود دارد. تحت چه شرایطی فیلترهای بولین فیلترهای مثبت ایجابی هستند؟ یکی از نتایج ما پاسخی به این مساله می دهد که این است، ما نیازی به شرایط بیشتری نداریم. علاوه بر این، ویژگی های ساده ای از آن فیلترها را با شناسایی ∀x, y(t (x, y) ∈ F) می دهیم که t (x, y) عبارتی شامل x و y هستند.

In this paper we consider fundamental properties of some types of filters (Boolean, positive implicative, implicative and fantastic filters) of BL algebras defined in Haveshki et al. (Soft Comput 10:657–664, 2006) and Turunen (Arch Math Logic 40:467–473, 2001). It is proved in Haveshki et al. (2006) that if F is a maximal and (positive) implicative filter then it is a Boolean filter. In that paper there is an open problem Under what condition are Boolean filters positive implicative filters? One of our results gives an answer to the problem, that is, we need no more conditions. Moreover, we give simple characterizations of those filters by an identity form ∀x, y(t (x, y) ∈ F), where t (x, y) is a term containing x, y