On copulas, quasicopulas and fuzzy logic. (English) Zbl 1152.03018

Hájek, Petr; Mesiar, Radko

Soft Comput. 12, No. 12, 1239-1243 (2008).

The authors discuss the possibility to interpret the conjunction in fuzzy logics by a copula or a quasicopula. In contrast to t-norms, quasicopulas are not necessarily associative, and it is shown that associativity is exactly what makes the difference in logics: The logic of associative copulas and their corresponding residua is BL, the logic of continuous t-norms and their residua. Furthermore, an expansion of Łukasiewicz logic by an additional connective interpreted by a quasicopula is suggested. Strong finite standard completeness is shown. Finally, also the case of a further connective interpreted by the residuum corresponding to the quasicopula is considered.

Reviewer: Thomas Vetterlein (Wien)

MSC:

03B52	Fuzzy logic; logic of vagueness
62H05	Characterization and structure theory for multivariate probability distributions; copulas

Keywords:

fuzzy logics; quasicopulas

References:

[1]	Cicalese F, Mundici D (2008) Recent development of feedback coding and its relation to many-valued logic. In: van Benthem J, Parikh R, Ramanujam R, Gupta A (eds) Proceedings of the first Indian conference on logic and its applications, (FICL 2005) Bombay, India · Zbl 1319.03040
[2]	Cignoli RLO, Esteva F, Godo L, Torrens A (2000) Basic logic is the logic of continuous t-norms and thier residua. Soft Comput 4: 106–112 · Zbl 02181428
[3]	Durante F, Klement EP, Mesiar R, Sempi C (2007) Conjunctors and thei residual implicators: characterizations and construction methods. Mediterr J Math 4: 343–356 · Zbl 1139.03014
[4]	Fodor J, Keresztfalvi T (1995) Nonstandard conjunctions and implications in fuzzy logic. Int J Approx Reason 12: 69–84 · Zbl 0815.03017
[5]	Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht · Zbl 0937.03030
[6]	Hájek P (2003) Observations on non-commutative fuzzy logic. Soft Comput 8: 38–43 · Zbl 1075.03009
[7]	Hájek P, Cintula P (2006) On theories and models in fuzzy predicate logics. J Symbolic Logic 71: 863–880 · Zbl 1111.03030
[8]	Klement EP, Kolesárová A (2005) Extension to copulas and quasicopulas as special 1-Lipschitz aggregation operators. Kybernetika 41: 329–348 · Zbl 1249.60017
[9]	Nelsen RB (2005) Copulas and quasi-copulas: an introduction to their properties and applications. In: Klement EP, Mesiar R (eds) Logical, algebraic, analytic, and probabilistic aspects of triangular norms, Chap. 14. Elsevier, Amsterdam, pp 391-413
[10]	Nelsen RB (1999) An introduction to copulas. Springer, New York · Zbl 0909.62052
[11]	Novák V, Perfilieva I, Močkoř J (1999) Mathematical principles of fuzzy logic. Kluwer, Dordrecht · Zbl 0940.03028
[12]	Yang E Weakly associative monoidal (uninorm) logic: toward a fuzzy-relevance logic and a non-associative fuzzy logic. (submitted)