Filter theory of BL algebras |
| |
Authors: | Michiro Kondo Wiesław A Dudek |
| |
Affiliation: | (1) School of Information Environment, Tokyo Denki University, Inzai 270-1382, Japan;(2) Institute of Mathematics, Wroclaw University of Technology, 50-370 Wroclaw, Poland |
| |
Abstract: | 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. |
| |
Keywords: | (Positive) implicative filter Boolean filter Fantastic filter BL algebra |
本文献已被 SpringerLink 等数据库收录! |
|