zbMATH — the first resource for mathematics

On triangular norms and uninorms definable in Ł$$\Pi \frac{1}{2}$$. (English) Zbl 1189.03032
Summary: We investigate the definability of classes of t-norms and uninorms in the logic Ł$$\Pi \frac{1}{2}$$. In particular, we provide a complete characterization of definable continuous t-norms, weak nilpotent minimum t-norms, conjunctive uninorms continuous on $$[0, 1)$$, and idempotent conjunctive uninorms, and give both positive and negative results concerning definability of left-continuous t-norms (and uninorms). We show that the class of definable uninorms is closed under certain construction methods, such as annihilation, rotation and rotation-annihilation. Moreover, we prove that every logic based on a definable uninorm is in PSPACE, and that any finitely axiomatizable logic based on a class of definable uninorms is decidable. Finally, we show that the Uninorm Mingle Logic (UML) and the Basic Uninorm Logic (BUL) are finitely strongly standard complete w.r.t. the related class of definable left-continuous conjunctive uninorms.

MSC:
 03B52 Fuzzy logic; logic of vagueness
Full Text:
References:
 [1] Bochnak, J.; Coste, M.; Roy, M., Real algebraic geometry, (1998), Springer Heidelberg · Zbl 0633.14016 [2] J.F. Canny, Some algebraic and geometric computations in PSPACE, in: Proceedings of the 20th Symposium on Theory of Computing, 1988, pp. 460-467. [3] Cignoli, R.; Esteva, F.; Godo, L.; Montagna, F., On a class of left-continuous t-norms, Fuzzy sets and systems, 131, 282-296, (2002) · Zbl 1012.03032 [4] Cignoli, R.; Esteva, F.; Godo, L.; Torrens, A., Basic fuzzy logic is the logic of continuous t-norms and their residua, Soft computing, 4, 106-112, (2000) [5] Cintula, P., The $$Ł \operatorname{\Pi} \frac{1}{2}$$ and $$Ł \operatorname{\Pi} \frac{1}{2}$$ propositional and predicate logics, Fuzzy sets and systems, 124, 289-302, (2001) [6] Cintula, P., Advances in the łπ and ł$$\operatorname{\Pi} \frac{1}{2}$$ logics, Archive for mathematical logic, 42, 449-468, (2003) · Zbl 1026.03017 [7] Cintula, P., A note to the definition of the łπ-algebras, Soft computing, 9, 8, 575-578, (2005) · Zbl 1086.06008 [8] De Baets, B., Idempotent uninorms, European journal of operational research, 118, 631-642, (1999) · Zbl 0933.03071 [9] De Baets, B.; Fodor, J., Residual operators of uninorms, Soft computing, 3, 89-100, (1999) [10] Esteva, F.; Domingo, X., Sobre funciones de negación en [0,1], Stochastica, 4, 141-166, (1980) [11] Esteva, F.; Godo, L., Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy sets and systems, 124, 271-288, (2001) · Zbl 0994.03017 [12] Esteva, F.; Godo, L.; Montagna, F., The łπ and $$Ł \operatorname{\Pi} \frac{1}{2}$$ logics: two complete fuzzy logics joining łukasiewicz and product logic, Archive for mathematical logic, 40, 39-67, (2001) · Zbl 0966.03022 [13] J. Fodor, On rational uninorms, in: Proceedings of the First Slovakian-Hungarian Joint Symposium on Applied Machine Intelligence, Herlany, Slovakia, February 12-14, 2003, pp. 139-147. [14] Fodor, J.C.; Yager, R.R.; Rybalov, A., Structure of uninorms, International journal of uncertainty, fuzziness and knowledge-based systems, 5, 411-427, (1997) · Zbl 1232.03015 [15] Gabbay, D.; Metcalfe, G., Fuzzy logics based on [0,1)-continuous uninorms, Archive for mathematical logic, 46, 425-449, (2007) · Zbl 1128.03015 [16] Hájek, P., Metamathematics of fuzzy logic, (1998), Kluwer Academic Publisher Dordrecht, The Netherlands · Zbl 0937.03030 [17] Hájek, P.; Tulipani, S., Complexity of fuzzy probability logics, Fundamenta informaticae, 45, 1-7, (2001) [18] Hu, S.; Li, Z., The structure of continuous uninorms, Fuzzy sets and systems, 124, 43-52, (2001) [19] Jenei, S., New family of triangular norms via contrapositive symmetrization of residuated implications, Fuzzy sets and systems, 110, 157-174, (2000) · Zbl 0941.03059 [20] Jenei, S., Structure of left-continuous triangular norms with strong induced negations. I: rotation construction, Journal of applied non-classical logics, 10, 1, 83-92, (2000) · Zbl 1033.03512 [21] Jenei, S., Structure of left-continuous triangular norms with strong induced negations. II: rotation – annihilation construction, Journal of applied non-classical logics, 11, 3-4, 351-366, (2001) · Zbl 1037.03508 [22] Jenei, S., A note on the ordinal sum theorem and its consequence for the construction of triangular norms, Fuzzy sets and systems, 126, 199-205, (2002) · Zbl 0996.03508 [23] Jenei, S., A characterization theorem on the rotation construction for triangular norms, Fuzzy sets and systems, 136, 283-289, (2003) · Zbl 1020.03021 [24] Jenei, S., On the structure of rotation-invariant semigroups, Archive for mathematical logic, 42, 489-514, (2003) · Zbl 1028.06009 [25] Jenei, S.; De Baets, B., Rotation and rotation – annihilation construction of associative and partially compensatory aggregation operators, IEEE transactions on fuzzy systems, 12, 5, 606-614, (2004) [26] Jenei, S.; Montagna, F., A proof of standard completeness for esteva and godo’s logic MTL, Studia logica, 70, 183-192, (2002) · Zbl 0997.03027 [27] Jenei, S.; Montagna, F., On the continuity points of left-continuous t-norms, Archive for mathematical logic, 42, 797-810, (2003) · Zbl 1047.03016 [28] Klement, E.P.; Mesiar, R.; Pap, E., Triangular norms, (2000), Kluwer Academic Publisher Dordrecht, The Netherlands · Zbl 0972.03002 [29] Marchioni, E.; Montagna, F., Complexity and definability issues in $$Ł \operatorname{\Pi} \frac{1}{2}$$, Journal of logic and computation, 17, 2, 311-331, (2007) · Zbl 1142.03015 [30] Mesiar, R.; Mesiarová, A., Residual implications and left-continuous t-norms which are ordinal sums of semigroups, Fuzzy sets and systems, 143, 47-57, (2004) · Zbl 1036.03019 [31] G. Metcalfe, Uninorm based logics, in: De Baets et al. (Eds.), Proceedings of the EUROFUSE 2004, 2004, pp. 859-889. · Zbl 1066.03036 [32] Metcalfe, G.; Montagna, F., Substructural fuzzy logics, Journal of symbolic logic, 72, 3, 834-864, (2007) · Zbl 1139.03017 [33] Montagna, F.; Panti, G., Adding structures to MV-algebras, Journal of pure and applied algebra, 164, 365-387, (2001) · Zbl 0992.06012 [34] Mostert, P.S.; Shields, A.L., On the structure of semigroups on a compact manifold with boundary, Annals of mathematics, 65, 117-143, (1957) · Zbl 0096.01203 [35] Ruiz, D.; Torrens, J., Distributivity and conditional distributivity of a uninorm and a continuous t-conorm, IEEE transactions on fuzzy systems, 14, 2, 180-190, (2006) · Zbl 1355.03016 [36] Smutná, D., On a peculiar t-norm, Busefal, 75, 60-67, (1998) [37] Tarski, A., A decision method for elementary algebra and geometry, (1951), University of California Press Berkeley, CA · Zbl 0044.25102 [38] Trillas, E., Sobre funciones de negación en teoría de conjuntos difusos, Stochastica, 3, 1, 47-59, (1979) [39] Tsinakis, C.; Blount, K., The structure of residuated lattices, International journal of algebra and computation, 13, 4, 437-461, (2003) · Zbl 1048.06010 [40] Yager, R.; Rybalov, A., Uninorm aggregation operators, Fuzzy sets and systems, 80, 111-120, (1996) · Zbl 0871.04007 [41] Montagna, F., An algebraic approach to propositional fuzzy logic, Journal of logic, language, and information, 9, 91-124, (2000) · Zbl 0942.06006
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.