Abstract
Some characterizations of fuzzy prime Boolean filters of IMT L-algebras are given. The lattice operations and the order-reversing involution on the set PB(M) of all fuzzy prime Boolean filters of IMT L-algebras are defined. It is showed that the set PB(M) endowed with these operations is a complete quasi-Boolean algebra (a distributive complete lattice with an order-reversing involution). It is derived that the algebra M=F, which is the set of all cosets of F, is isomorphic to the Boolean algebra {0; 1} if F is a fuzzy prime Boolean filter. By introducing an adjoint pair on PB(M), it is proved that the set PB(M) is also a residuated lattice.
Similar content being viewed by others
References
Görz G, Hölldobler S (1998) Advances in Artificial Intelligence. Lecture Notes in Artificial Intelligence. New York: Springer-Verlag
Shi C Y, Huang C N, Wang J Q (1998) Principle of Artificial Intelligence. Beijing: Tsinghua University Press
Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124: 271–288
Hájek P (1998) Metamathematics of Fuzzy Logic. Dordrecht: Kluwer Adacemic Publishers
Wang G J (1997) A formal deductive system for fuzzy propositional calculus. Chinese Science Bulletin 42(18): 1521–1526
Pei DW(2003) On equivalent forms of fuzzy logic systems NM and IMT L. Fuzzy Sets and Systems 138: 187–195
Chang C C (1958) Algebraic analysis of many valued logics. Trans. A.M.S 88: 467–490
Wang G J (2000) Theory of Non-classical Logic and Approximate Reasoning. Beijing: Science Press
Xu Y (1993) Lattice implication algebras. Journal Southwest Jiaotong University 1: 20–27
Wang G J (2002) MV-algebras, BL-algebras, IMT L-algebras and mutiple-valued logic. Fuzzy Systems and Mathematics 16(2): 1–15
Turunen E (1999) Mathematics Behind Fuzzy Logic. Heidelberg: Physica-Verlag
Turunen E (1999) BL-algebras and basic fuzzy logic. Mathware and Soft Computing 6: 49–61
Turunen E (2001) Boolean deductive systems of BL-algebras. Archive for Mathematical Logic 40: 467–473
Haveshki M, Saeid A B (2006) Some types of filters in BL-algebras. Soft Computing 10(8): 657–664
Kondo M, Dudek W A (2008) Filter theory of BL-algebras. Soft Computing 12(5): 419–423
Xu Y, Qin K Y (1993) On filters of lattice implication algebras. Journal Fuzzy Mathematics 1: 251–260
Liu Y L, Liu S Y, Xu Y, Qin K Y (2003) ILI-ideals and prime LI-ideals in lattice implication algebras. Information Sciences 155: 157–175
Jun Y B (2001) Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras. Fuzzy Sets and Systems 121: 353–357
Liu L Z, Li K T (2005) Fuzzy implicative and Boolean filters of R0-algebras. Information Sciences 171: 61–71
Liu L Z, Li K T (2005) Fuzzy filter of BL-algebras. Information Sciences 173: 141–154
Liu L Z, Li K T (2005) Fuzzy Boolean and positive implicative filters of BL-algebras. Fuzzy Sets and Systems 152: 333–348
Balbes R, Dwinger P (1974) Distributive Lattice, Columbia: University of Missouri Press
Zhang J L (2008) The Prime Boolean filters and their Operations in MV-algebras. Journal Fuzzy Mathematics 16(2): 457–467
Author information
Authors and Affiliations
Corresponding author
About this article
Cite this article
Zhang, Jl. Fuzzy prime Boolean filters and their operations in IMT L-algebras. Fuzzy Inf. Eng. 1, 401–419 (2009). https://doi.org/10.1007/s12543-009-0031-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12543-009-0031-z