×

Asymmetric equivalences in fuzzy logic. (English) Zbl 1423.03081

Summary: We introduce a new class of operations called asymmetric equivalences. Several properties of asymmetric equivalence operations have been investigated. Based on the asymmetric equivalence, quasi-metric spaces are constructed on \([0,1]\). Finally, we discuss symmetrization of asymmetric equivalences.

MSC:

03B52 Fuzzy logic; logic of vagueness
54A40 Fuzzy topology

References:

[1] Esteva, F.; Godo, L.; Monoidal t-norm based logic: Towards a logic for left-continuous t-norms; Fuzzy Sets Syst.: 2001; Volume 124 ,271-288. · Zbl 0994.03017
[2] Hájek, P.; ; Metamathematics of Fuzzy Logic: Dordrecht, The Netherlands 1998; . · Zbl 0937.03030
[3] Georgescu, I.; Similarity of fuzzy choice functions; Fuzzy Sets Syst.: 2007; Volume 158 ,1314-1326. · Zbl 1301.91011
[4] Jin, J.; Li, Y.; Li, C.; Robustness of fuzzy reasoning via logically equivalence measure; Inf. Sci.: 2007; Volume 177 ,5103-5117. · Zbl 1126.68082
[5] Dai, S.; Pei, D.; Guo, D.; Robustness analysis of full implication inference method; Int. J. Approx. Reason.: 2013; Volume 54 ,653-666. · Zbl 1316.68175
[6] Wang, G.; Duan, J.; Two types of fuzzy metric spaces suitable for fuzzy reasoning; Sci. China Inf. Sci.: 2014; Volume 44 ,623-632.
[7] Duan, J.; Li, Y.; Robustness analysis of logic metrics on F(X); Int. J. Approx. Reason.: 2015; Volume 61 ,33-42. · Zbl 1343.68238
[8] Dyba, M.; Novák, V.; EQ-logic: Non-commutative fuzzy logic based on fuzzy equality; Fuzzy Sets Syst.: 2011; Volume 172 ,13-32. · Zbl 1229.03027
[9] Cintula, P.; The LΠ and LΠ 1 2 propositional and predicate logic; Fuzzy Sets Syst.: 2001; Volume 124 ,289-302. · Zbl 0994.03015
[10] Esteva, F.; Godo, L.; Montagna, F.; The LΠ and LΠ 1 2 logic: Two complete fuzzy systems joining Łukasiewicz and product logic; Arch. Math. Logic: 2001; Volume 40 ,39-67. · Zbl 0966.03022
[11] Megill, N.D.; Pavičićc, M.; Equations, state, and lattices of infinite-dimensional hilbert spaces; Int. J. Theor. Phys.: 2000; Volume 39 ,2337-2379. · Zbl 0981.81013
[12] Megill, N.D.; Pavičićc, M.; Equivalences, identities, symmetric differences, and congruences in orthomodular lattices; Int. J. Theor. Phys.: 2003; Volume 42 ,2797-2805. · Zbl 1042.81004
[13] Megill, N.D.; Pavičićc, M.; Deduction, ordering, and operations in quantum logic; Found. Phys.: 2002; Volume 32 ,357-378.
[14] Baczyński, M.; Jayaram, B.; ; Fuzzy Implications: Berlin/Heidelberg, Germany 2008; . · Zbl 1147.03012
[15] Klement, E.P.; Mesiar, R.; Pap, E.; ; Triangular Norms: Dordrecht, The Netherlands 2000; . · Zbl 0972.03002
[16] Fletcher, P.; Lindgren, W.F.; ; Quasi-Uniform Spaces: New York, NY, USA 1982; . · Zbl 0501.54018
[17] Pei, D.; Simplification and independence of axioms of fuzzy logic systems IMTL and NM; Fuzzy Sets Syst.: 2005; Volume 152 ,303-320. · Zbl 1072.03017
[18] Wang, S.; Wu, J.; Simplification of axiom systems of fuzzy logics NM and L∗; Fuzzy Syst. Math.: 2006; Volume 2 ,18-22. · Zbl 1333.03065
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.