×

A survey of fuzzy implication algebras and their axiomatization. (English) Zbl 1308.03063

The paper reviews the main results concerning FI-algebras. Basic concepts and main properties of FI-algebras and RFI-algebras are discussed in Section 2, where, in addition, the relationships between FI-algebras and BCK-algebras are analyzed. The relationships between RFI-algebras and residuated lattices, MTL-algebras, BL-algebras, MV-algebras, G-algebras and \(\Pi\)-algebras are discussed in Section 3. Section 4 reviews the relationships between CFI-algebras and MV-algebras. An important property is that the classes of all MTL-algebras, BL-algebras and MV-algebras are subclasses of the class of all FI-algebras. The concepts of MP-filter, P-filter, Q-filter and C-filter are recalled in the last part of this section. Section 5 discusses main properties of HFI-algebras, another subclass of FI-algebras. Two other subclasses of FI-algebras, called PFI-algebras and \(W_d\)-FI-algebras, are analyzed in Section 6. A formal system for formalizing FI-algebras is given in Section 7. This system is extended to formalize some important subclasses of FI-algebras: RFI-algebras, CFI-algebras and HFI-algebras. Finally, some semantic extensions of the MTL formal system are pointed out.

MSC:

03G25 Other algebras related to logic
06D35 MV-algebras
06F35 BCK-algebras, BCI-algebras
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Baczynski, M., On two distributivity equations for fuzzy implications and continuous, Archimedean t-norms and t-conorms, Fuzzy Sets Syst., 211, 34-54 (2013) · Zbl 1268.03026
[2] Baczynski, M.; Jayaram, B., Fuzzy Implications (2008), Springer: Springer New York · Zbl 1147.03012
[3] Baczynski, M.; Qin, F., Some remarks on the distributive equation of fuzzy implication and the contrapositive symmetry for continuous, Archimedean t-norms, Int. J. Approx. Reason., 54, 290-296 (2013) · Zbl 1280.03029
[4] Chang, C. C., Algebraic analysis of many valued logic, Trans. Am. Math. Soc., 88, 467-490 (1958) · Zbl 0084.00704
[5] Chen, S. L., Rough sets and FI algebras, Comput. Eng. Sci., 31, 4, 134-136 (2009), (in Chinese)
[6] Chen, W., Some characters of regular fuzzy implication algebras, Fuzzy Syst. Math., 15, 4, 24-27 (2001), (in Chinese) · Zbl 1333.06065
[7] Cintula, P., Weakly implicative (fuzzy) logics I: basic properties, Arch. Math. Log., 45, 6, 673-704 (2006) · Zbl 1101.03015
[8] Cintula, P.; Hájek, P.; Horcik, R., Formal systems of fuzzy logic and their fragments, Ann. Pure Appl. Log., 150, 40-65 (2007) · Zbl 1140.03010
[9] (Cintula, P.; Hájek, P.; Noguera, C., Handbook of Mathematical Fuzzy Logics, vol. 1 (2011), Individual and College Publishers: Individual and College Publishers London) · Zbl 1284.03177
[10] Dai, J. Y.; Wu, H. B., Distributive fuzzy implication algebra, Fuzzy Syst. Math., 22, 1 (2008), (in Chinese) · Zbl 1333.06033
[11] Dai, S.; Pei, D.; Guo, D., Robustness analysis of full implication inference method, Int. J. Approx. Reason., 54, 653-666 (2013) · Zbl 1316.68175
[12] Deng, F. A.; Li, J. L., \(W_d\)-fuzzy implication algebras, J. Ha’erbin Norm. Univ. (Nat. Sci. Ed.), 12, 2, 18-21 (1996), (in Chinese)
[13] Dubois, D.; Prade, H., Fuzzy sets in approximate reasoning, Part 1, Fuzzy Sets Syst., 40, 143-202 (1991) · Zbl 0722.03017
[14] Esteva, F.; Godo, L., Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets Syst., 124, 271-288 (2001) · Zbl 0994.03017
[15] Font, J. M.; Rodríguez, A. J.; Torrens, A., Wajsberg algebras, Stochastica, 8, 5-31 (1984) · Zbl 0557.03040
[16] Galatos, N.; Jipsen, P.; Kowalski, T.; Ono, H., Residuated Lattices. An Algebraic Glimpse at Substructural Logics (2007), Elsevier: Elsevier New York · Zbl 1171.03001
[17] Gottwald, S., A Treatise on Many-Valued Logics (2001), Research Studies Press LTD: Research Studies Press LTD Baldock · Zbl 1048.03002
[18] Hájek, P., Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0937.03030
[19] Hu, B. Q., Equivalence of fuzzy implication algebras and bounded BCK-algebras, Appl. Math., 6, 2, 233-234 (1993), (in Chinese)
[20] Imai, Y.; Iséki, K., On axiom system of propositional calculi, Proc. Jpn. Acad., 42, 19-22 (1966) · Zbl 0156.24812
[21] Iséki, K., An algebra related with a propositional calculus, Proc. Jpn. Acad., 42, 26-29 (1966) · Zbl 0207.29304
[22] Iséki, K.; Tanaka, S., An introduction of the theory of BCK-algebras, Math. Jpn., 23, 1, 1-26 (1978) · Zbl 0385.03051
[23] Jiang, H.; Deng, F. A., Relations between fuzzy implications algebras and BCK-algebras, Fuzzy Syst. Math., 5, 1, 88-89 (1991), (in Chinese) · Zbl 1210.03041
[24] Johnstone, P. T., Stone Spaces (1982), Cambridge University Press: Cambridge University Press London · Zbl 0499.54001
[25] Jun, Y. B.; Lee, K. J.; Park, C. H., New types of fuzzy ideals in BCK/BCI-algebras, Comput. Math. Appl., 60, 771-785 (2010) · Zbl 1201.06011
[26] Klement, E. P.; Mesiar, R.; Pap, E., Triangular Norms (2000), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0972.03002
[27] Li, H. S., An Axiom System of BCI-algebras, Math. Jpn., 30, 3, 351-352 (1985) · Zbl 0571.03031
[28] Li, Z. W.; Li, G. H., Some properties of fuzzy implication algebras, Fuzzy Syst. Math., 14, SI, 19-21 (2000), (in Chinese)
[29] Li, Z. W.; Li, G. H., Structure properties of fuzzy implication algebras, J. Math., 28, 6, 701-705 (2008), (in Chinese) · Zbl 1199.03060
[30] Li, Z. W.; Sun, L. M.; Zheng, C. Y., Regular fuzzy implication algebra, Fuzzy Syst. Math., 16, 2, 22-26 (2002), (in Chinese) · Zbl 1333.03043
[31] Li, Z. W.; Zheng, C. Y., Relation between fuzzy implication algebra and MV algebra, J. Fuzzy Math., 9, 1, 201-205 (2001), (in Chinese) · Zbl 0981.06008
[32] Li, Z. W.; Zheng, C. Y., Heyting algebras and fuzzy implication algebras, J. Math., 22, 2, 237-240 (2002), (in Chinese) · Zbl 1038.03059
[33] Liu, C. H.; Wu, H. X.; Xu, L. S., On CFI-algebras, J. Yangzhou Univ. (Nat. Sci. Ed.), 10, 4, 1-4 (2007), (in Chinese) · Zbl 1164.03358
[34] Liu, C. H.; Xu, L. S., MP-filters of fuzzy implication algebras, Fuzzy Syst. Math., 23, 2, 1-6 (2009), (in Chinese) · Zbl 1264.03132
[35] Liu, C. H.; Xu, L. S., Various concepts of fuzzy filters in FI-algebras, Fuzzy Syst. Math., 24, 2, 21-27 (2010), (in Chinese) · Zbl 1332.54076
[36] Liu, L. Z.; Wang, G. J., Fuzzy implication algebras and MV-algebra, Fuzzy Syst. Math., 12, 1, 20-25 (1998), (in Chinese) · Zbl 1333.03252
[37] Mas, M.; Monserrat, M.; Torrens, J.; Trillas, E., A survey on fuzzy implication functions, IEEE Trans. Fuzzy Syst., 15, 6, 1107-1121 (2007)
[38] Massanet, S.; Mayor, G.; Mesiar, R.; Torrens, J., On fuzzy implications: an axiomatic approach, Int. J. Approx. Reason., 54, 1471-1482 (2013) · Zbl 1316.03032
[39] Meng, J.; Jun, Y. B.; Kim, H. S., Fuzzy implicative ideals of BCK-algebras, Fuzzy Sets Syst., 89, 243-248 (1997) · Zbl 0914.06009
[40] Novák, V.; Perfiliva, I.; Močkoř, J., Mathematical Principles of Fuzzy Logic (1999), Kluwer: Kluwer Boston
[41] Pavelka, J., On fuzzy logic III, Z. Math. Log. Grundl. Math., 25, 447-464 (1979) · Zbl 0446.03016
[42] Pei, D., The characterization of residuated lattices and regular residuated lattices, Acta Math. Sin., 45, 2, 271-278 (2002), (in Chinese) · Zbl 1010.03052
[43] Pei, D., \(R_0\) implication: characteristics and applications, Fuzzy Sets Syst., 131, 297-302 (2002) · Zbl 1015.03034
[44] Pei, D., On equivalent forms of fuzzy logic systems NM and IMTL, Fuzzy Sets Syst., 138, 187-195 (2003) · Zbl 1031.03047
[45] Pei, D., On the strict logic foundation of fuzzy reasoning, Soft Comput., 8, 539-545 (2004) · Zbl 1066.03039
[46] Pei, D., Fuzzy logic algebras on residuated lattices, Southeast Asian Bull. Math., 28, 519-531 (2004) · Zbl 1061.03078
[47] Pei, D., Simplification and independence of axioms of fuzzy logic systems IMTL and NM, Fuzzy Sets Syst., 152, 303-320 (2005) · Zbl 1072.03017
[48] Pei, D., Formalization of implication based fuzzy reasoning method, Int. J. Approx. Reason., 53, 837-846 (2012) · Zbl 1246.03049
[49] Pei, D.; Wang, G.-J., The completeness and applications of the formal system \(L^\ast \), Sci. China, Ser. F, 45, 40-50 (2002) · Zbl 1182.03053
[50] Pei, D.; Wang, G.-J., The extensions \(L_n^\ast\) of the system \(L^\ast\) and their completeness, Inf. Sci., 152, 155-166 (2003) · Zbl 1040.03022
[51] Pei, D.; Wang, S.-M.; Yang, R., Theory of fuzzy implication lattices, Appl. Math. J. Chin. Univ., 26, 3, 343-354 (2011), (in Chinese) · Zbl 1249.03126
[52] Pei, D. W.; Yang, R., Hierarchical structure and applications of fuzzy logical systems, Int. J. Approx. Reason., 54, 1483-1495 (2013) · Zbl 1316.03013
[53] Rasiowa, H., An Algebraic Approach to Non-Classical Logics (1974), North-Holland: North-Holland Amsterdam · Zbl 0299.02069
[54] Shi, T.; Xu, L. S., MP-ideals and normal MP-ideals of fuzzy implication algebras, Fuzzy Syst. Math., 23, 5, 1-6 (2009), (in Chinese) · Zbl 1264.03133
[55] Vemuri, N. R.; Jayaram, B., Representations through a monoid on the set of fuzzy implications, Fuzzy Sets Syst., 247, 51-67 (2014) · Zbl 1334.03028
[56] Wang, G.-J., On the logic foundation of fuzzy reasoning, Inf. Sci., 117, 47-88 (1999) · Zbl 0939.03031
[57] Wang, G.-J., Non-classical Mathematical Logic and Approximate Reasoning (2008), Science Press: Science Press Beijing, (in Chinese)
[58] Wang, G.-J., MV-algebras, BL-algebras, \(R_0\)-algebras, and multiple-valued logic, Fuzzy Syst. Math., 16, 2, 1-15 (2002), (in Chinese) · Zbl 1333.06029
[59] Ward, M.; Dilworth, R. P., Residuated lattices, Trans. Am. Math. Soc., 45, 3, 335-354 (1939) · JFM 65.0084.01
[60] Wei, H. X.; Li, X. Q., Rough set algebras and FI-algebras, Comput. Eng. Appl., 45, 18, 38-39 (2009), (in Chinese)
[61] Wu, D., Commutative fuzzy implication algebras, Fuzzy Syst. Math., 13, 1, 27-30 (1999), (in Chinese) · Zbl 1333.03257
[62] Wu, W.-M., Fuzzy implication algebras, Fuzzy Syst. Math., 4, 1, 56-64 (1990), (in Chinese)
[63] Xu, Y., Lattice implication algebras, J. Southwest Jiaotong Univ., 28, 1, 20-27 (1993), (in Chinese) · Zbl 0784.03035
[64] Xu, Y.; Ruan, D.; Qin, K.; Liu, J., Lattice-Valued Logic (2003), Springer-Verlag: Springer-Verlag Berlin
[65] Zhang, H. R.; Wang, L. C., Properties of LFI-algebras and residuated lattices, Fuzzy Syst. Math., 18, 4, 13-17 (2004), (in Chinese) · Zbl 1334.06052
[66] Zhu, Y. Q., On implication algebras and BCK algebras, Fuzzy Syst. Math., 16, 3, 31-37 (2002), (in Chinese) · Zbl 1333.06077
[67] Zhu, Y. Q., On the adjoint operators of regular FI-algebras, J. Ningxia Univ. (Nat. Sci. Ed.), 24, 4, 296-299 (2003), (in Chinese) · Zbl 1061.03079
[68] Zhu, Y. Q., A logic system based on FI-algebras and its completeness, Fuzzy Syst. Math., 19, 2, 25-29 (2005), (in Chinese) · Zbl 1333.03266
[69] Zhu, Y. Q., Some properties of the induced order in FI-algebras, Fuzzy Syst. Math., 20, 3, 54-58 (2006), (in Chinese) · Zbl 1334.06014
[70] Zhu, Y. Q., On lattice theory properties of PFI-algebras, J. Sichuan Norm. Univ. (Nat. Sci. Ed.), 30, 2, 181-184 (2007), (in Chinese) · Zbl 1150.03345
[71] Zhu, Y. Q., A first order predicate calculus based on FI-algebras, Fuzzy Syst. Math., 22, 4, 27-32 (2008), (in Chinese) · Zbl 1219.03034
[72] Zhu, Y. Q.; Cao, X. W., On PFI-algebras and residuated lattices, Adv. Math., 35, 2, 223-231 (2006), (in Chinese) · Zbl 1483.03038
[73] Zhu, Y. Q.; Li, Z. R., Relations between regular HFI-algebras and lattice H implication algebras, J. Sichuan Norm. Univ. (Nat. Sci. Ed.), 21, 2, 137-140 (1998), (in Chinese)
[74] Zou, T. R., FI-algebras, BCK-algebra and implication semigroup, Fuzzy Syst. Math., 13, 2, 64-70 (1999), (in Chinese)
[75] Zou, T. R., PFI-algebras and its filters, J. Math., 20, 3, 323-328 (2000), (in Chinese) · Zbl 0980.06019
[76] Zou, T. R.; Xiao, Y. P., Filters of FI-algebras, Fuzzy Syst. Math., 17, 3, 80-85 (2003), (in Chinese) · Zbl 1333.03267
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.