Study monadic BL-algebras with a new operator
کد مقاله : 1085-CFIS (R1)
نویسندگان
سعیده ظهیری *1، ارشام برومند سعید2
1مرکز آموزش عالی اقلید
2بخش ریاضی دانشگاه شهید باهنر کرمان
چکیده مقاله
In this paper, we enlarge the language of
monadic BL-algebra by adding a unary operation
that describes properties of a state. Then, some
theorems that prove some of their elementary properties are given. It is shown that the kernel of a
state operator on a monadic BL-algebra is a state
monadic filter.
کلیدواژه ها
Monadic BL-algebra, State operator, State monadic filter.
وضعیت: پذیرفته شده برای ارائه شفاهی