The Domination Relation Between Continuous T-Norms
|
|
- Lee McDowell
- 5 years ago
- Views:
Transcription
1 The Domination Relation Between Continuous T-Norms Susanne Saminger Department of Knowledge-Based Mathematical Systems, Johannes Kepler University Linz, Altenbergerstrasse 69, A-4040 Linz, Austria Bernard De Baets Department of Applied Mathematics, Biometrics, and Process Control, Ghent University, Coupure links 653, B-9000 Gent, Belgium Hans De Meyer Department of Applied Mathematics and Computer Science, Ghent University, Krijgslaan 8, B-9000 Gent, Belgium Abstract The present contribution deals with domination in the framework of continuous t-norms. Basic properties and recent results for continuous Archimedean and continuous ordinal sum t-norms are presented and discussed. The domination property within several families of t-norms is mentioned. Keywords: Domination, triangular norms. Introduction The property of domination has been introduced in the framework of probabilistic metric spaces as a relation on the class of all triangle functions [], soon generalized to operations on a partially ordered set []. Domination plays an important role in constructing Cartesian products of probabilistic metric spaces, but also for the preservation of several properties, most of them expressed by some inequality, during aggregation processes (see, e.g., [3, 4, 5]). Therefore, the concept of domination has been generalized to and studied in the framework of aggregation operators [3]. Investigating domination in the framework of t- norms, it can be certified quite easily that domination is a reflexive and antisymmetric property. The crucial but still open question is whether it is also transitive (see, e.g., []). By this contribution, the authors intend to provide an overview of and insight into important and new results, to recent advances about domination in the framework of continuous t-norms. 47 Preliminaries. Triangular norms Definition ([, 6]). A t-norm T is an increasing, associative, commutative binary operation on [0, ] with neutral element. Well-known examples of t-norms are the minimum T M, the product T P, the Lukasiewicz t-norm T L (x, y) = max(x+y, 0) and the drastic product { 0, if (x, y) [0, [, T D (x, y) = min(x, y), otherwise. Definition. Let (]a α, b α [) α I be a system of pairwise disjoint open subintervals of [0, ] and let (T α ) α I be a family of t-norms. Then the ordinal sum T = ( a α, b α, T α ) α I : [0, ] [0, ] is given by a α + (b α a α)t α( x aα b α a α, y aα b α a α ), T (x, y) = if (x, y) [a α, b α], min(x, y), otherwise and is again a t-norm. For any t-norm T, its isomorphic transform T ϕ : [0, ] [0, ] w.r.t. some order isomorphism ϕ: [0, ] [0, ] is defined by T ϕ (x, y) = ϕ (T (ϕ(x), ϕ(y))) and is again a t-norm. The class of all continuous t-norms is characterized in the following way: Proposition 3 ([6, 7]). A function T : [0, ] [0, ] is a continuous t-norm if and only if it is uniquely representable as an ordinal sum of continuous Archimedean t-norms, i.e., T = ( a α, b α, T α ) α I for some index set I.
2 . Property of domination Definition 4. Consider two t-norms T, T. We say that T dominates T, T T, if for all x, y, u, v [0, ] T (T (x, y), T (u, v)) T (T (x, u), T (y, v)) () Note that due to the fact that is the common neutral element of all t-norms, domination of two t-norms implies their order (see also [5]). The converse does not hold, not even for strict t-norms (see, e.g., [6]). Similarly to the ordering of t- norms, any t-norm T is dominated by itself and by T M, and moreover dominates T D. Further, domination of two t-norms is preserved (resp. reversed) if the involved t-norms are transformed by some order-preserving (resp. orderreversing) bijection. Proposition 5 ([3]). Consider two t-norms T and T. Then T dominates T if and only if for all order isomorphisms ϕ: [0, ] [0, ] it holds that (T ) ϕ dominates (T ) ϕ. Taking into account the results of Proposition 3 we will now focus on continuous Archimedean t- norms and will then turn to continuous ordinal sum t-norms. 3 Continuous Archimedean t-norms It is well known (see, e.g., [6]) that continuous Archimedean t-norms T are exactly those t-norms having a continuous additive generator, i.e., there exists a continuous, strictly decreasing function t: [0, ] [0, ] with t() = 0 which is uniquely determined up to a positive multiplicative constant, such that for all x, y [0, ] it holds that T (x, y) = t (min(t(0), t(x) + t(y))). Moreover, the class of all continuous Archimedean t-norms is partitioned into two parts the class of all strict t-norms, all of them being isomorphic to the product T P, and the class of all nilpotent t-norms, all of them being isomorphic to the Lukasiewicz t-norm T L (see also [6]). 3. Isomorphic transformations Suppose that the problem under investigation is whether T dominates some T with T, T being two continuous Archimedean t-norms. Since domination is preserved during transformations by order isomorphisms, this problem can be transformed into one of the following cases. If T is nilpotent and therefore possesses some zero divisor, necessarily also T has to be nilpotent. Moreover, there exist some order isomorphisms ϕ, ψ : [0, ] [0, ] such that (T ) ϕ = T L and (T ) ψ = T L leading to T T (T ) ψ T L T L (T ) ϕ. If T is strict, T can be either strict or nilpotent. In both cases there exist order isomorphisms ϕ, ψ : [0, ] [0, ] such that the problem of domination can be again equivalently formulated as T T (T ) ψ T L T P (T ) ϕ in case T is nilpotent, and if T is strict as T T (T ) ψ T P T P (T ) ϕ. Summarizing, it suffices to investigate the classes of t-norms dominating or being dominated either by T P or by T L. In the framework of aggregation operators, it has already been shown that there exists a close relationship between generated t-norms and subadditive aggregation operators which we briefly recall here for the reader s convenience. Theorem 6 ([3, 8]). Consider a continuous Archimedean t-norm T with additive generator t : [0, ] [0, ], t (0) = c. A t-norm T dominates T if and only if there exists a binary subadditive aggregation operator H : [0, c] [0, c] such that T (x, y) = t (H(t (x), t (y))) for all x, y [0, ]. Note that the binary aggregation operator H denotes a binary operation on the interval [0, c] which is increasing in each component and fulfils H(0, 0) = 0 and H(c, c) = c. Moreover, it is called subadditive on [0, c] if for all x, y, u, v [0, c] with x + y [0, c] and u + v [0, c] it holds that H(x + y, u + v) H(x, u) + H(y, v). Which conclusions can be drawn from this result for t-norms dominating, e.g., T L? Proposition 7. If a t-norm T dominates T L, then it is -Lipschitz, i.e., a -copula. 48
3 Note that being a -copula is a necessary (but not sufficient) condition for a t-norm T to dominate T L, but not all -copulas dominate T L. Consider, e.g., the -copula C(x, y) = max(0, min(x, y 3, 3 )) + max(0, min(x 3, y, 3 )) + max(0, min(x 3, y 3, 3 )). Then we get for x = u = v = y = 3 0 = C( 3, 3 ) = C(T L( 3, 3 ), T L( 3, 3 )) < T L (C( 3, 3 ), C( 3, 3 )) = T L( 3, 3 ) = 3 and therefore C does not dominate T L. Note that an Archimedean t-norm is a -copula if and only if its additive generator is convex []. 3. Investigation of additive generators Since all continuous Archimedean t-norms possess continuous additive generators, their influence on the property of domination has been studied. The first result deals with powers of additive generators. Proposition 8 ([6]). Consider a continuous Archimedean t-norm T with additive generator t. For each ]0, [ the function t : [0, ] [0, ], x (t(x)) is an additive generator of a continuous Archimedean t-norm denoted by T (). For, µ ]0, [ with > µ it holds that T () T (µ). Note that this proposition provides not only insight into the structure of domination but also an idea how to construct dominating t-norms. Moreover, it can be directly applied to prove domination within several families of t-norms. Example 9. Consider the family of Aczél-Alsina (T AA ) [0, ], for ]0, [ they are generated by t AA (x) = ( log(x)), clearly being powers of the additive generator of T P. Since T0 AA = T D and T AA = T M, which are dominated by resp. dominate all t-norms, it holds that for all, µ [0, ] with > µ it follows that T AA Tµ AA. Note that the members of the Aczél-Alsina family are strict for ]0, [. Example 0. The members of the Dombi family (T D ) [0, ] are for ]0, [ generated by 49 t D x (x) = ( x ) being powers of the additive generator of the Hamacher product. Once again, T0 D = T D and T D = T0 H such that for all, µ [0, ] with > µ it follows T D T µ D. Note that the members of the Dombi family are strict for ]0, [. Example. Consider the family of Yager t- norms (T Y) [0, ], for ]0, [ generated by the additive generators t Y (x) = ( x). One sees immediately that these additive generators are just powers of the additive generator of T L. Moreover, since T0 Y = T D and T Y = T M, for all, µ [0, ] with > µ, it holds that T Y T µ Y. Note that the members of the Yager family are nilpotent for ]0, [. The fact that continuous Archimedean t-norms are generated by some continuous additive generator can be even applied directly to the inequality of domination leading to the following result. Proposition. Consider two continuous Archimedean t-norms T, T with additive generators t, t. Then T dominates T if and only if h: [0, ] [0, ], x t t ( ) (x) fulfills the following inequality for all a, b, c, d [0, t (0)] h ( ) (h(a) + h(c)) + h ( ) (h(b) + h(d)) h ( ) (h(a + b) + h(c + d)) () Note that h ( ) = t t ( ) since the t-norms are continuous. Due to the induced order on the t-norms, necessarily t t : [0, t (0)] [0, ] has to be superadditive on [0, t (0)] (see also [6]). As a consequence, in case that T is nilpotent, h: [0, ] [0, ] has to be superadditive on [0, t (0)] and is constant for all x t (0), i.e., h(x) = t (0) for all x [t (0), ]. If T and T are two strict t-norms, h is a function on [0, ], moreover, () has to be fulfilled for all a, b, c, d [0, ] and is often referred to as the Mulholland inequality [9], being a generalization of the Minkowski inequality (see, e.g., [0]). This special case, h being a strictly increasing, continuous function on [0, ], has been treated extensively in the literature (see, e.g., [9, 0,, ]) mainly focussing on necessary and sometimes also
4 on sufficient conditions on h to fulfill the Mulholland Inequality. We just briefly recall two of them due to Mulholland and Tardiff, since although all the results might be of mathematical interest, domination within subclasses of t-norms most often has been proven or disproven by other methods. However, remarkable is that, also in this case, the close relationship between the domination property and convex or superadditive functions can be recognized, properties which can be easily visualized by corresponding plots. Proposition 3 ([0]). Let h: [0, [ [0, [ be a continuous, strictly increasing function fulfilling h(0) = 0. If h and log h exp are convex, then h fulfills h (h(a) + h(c)) + h (h(b) + h(d)) for all a, b, c, d [0, [. h (h(a + b) + h(c + d)) (3) Proposition 4 ([]). Let h: [0, [ [0, [ be a continuous, strictly increasing function fulfilling h(0) = 0. If h fulfills (3), then it is convex and thus superadditive. 3.3 Short remark on further families We have already introduced results for some families of t-norms and, for the sake of completeness, we would like to add some more. Remarkably and as already mentioned before, the proofs for these families although they contain subclasses of strict t-norms have not been achieved by applying the conditions for the Mulholland inequality but directly through some other techniques. In [3], Sherwood showed that in the Schweizer-Sklar family of t-norms (T SS) [, ] domination is reversely related to the parameter of the family, more precisely T SS Tµ SS if and only if µ. Note that the members of the Schweizer- Sklar family are strict for ], 0] and nilpotent for ]0, [. Sarkoci [4] has proven that the only possible cases of domination within the Frank family of t-norms (T F ) [0, ] are that for each t- norm T F only T F T F, T F 0 = T M T F and T F T F = T L hold. Note that all Frank t-norms with ]0, [ are strict. Moreover, since the rare occurrence of domination in this family, transitivity of domination within this family is fulfilled, expressing that is a (very sparse) partial order relation on the Frank family of t-norms. Sarkoci [4] has also shown that the same situation applies for the Hamacher family of t-norms (T H) [0, ], which are strict for ]0, [. For each member T H of the Hamacher family it just holds that T H T H, T H T H = T D, and T0 H T H. 4 Continuous ordinal sums Remember that an ordinal sum is continuous if and only if all its summands are continuous. When discussing domination among ordinal sum t-norms, we have to take into account the underlying structure of the ordinal sum. In case both involved ordinal sum t-norms are determined by the same family of non-empty, pairwise disjoint open subintervals, domination of the ordinal sums is based on the domination of all corresponding summand t-norms. Proposition 5. Let (]a α, b α [) α I be a family of non-empty, pairwise disjoint open subintervals of [0, ]. Further consider two families (T,α ) α I, (T,α ) α I of t-norms and build the corresponding ordinal sums T = ( a α, b α, T,α ) α I and T = ( a α, b α, T,α ) α I. Then T dominates T if and only if T,α dominates T,α for all α I. What if the structure of both ordinal sums is not the same? For these cases we provide some necessary conditions based on the order and on idempotent elements illustrating the problem of domination in this framework. Let us therefore assume that the involved ordinal sums are based on two at least partially different structures and families, i.e., T = ( a α, b α, T α ) α I and T = ( a β, b β, T β ) β J. Since for a continuous t-norm T the existence of a non-trivial idempotent element d is equivalent to being representable as an ordinal sum T = ( 0, d, T, d,, T ) of some t-norms T and T (see also [6]), we assume w.l.o.g. that the previous representations of T and T are chosen such 50
5 that there exists no T α T M resp. T β T M with a non-trivial idempotent element d ]a α, b α [ resp. d ]a β, b β [ left. As such we can still distinguish two different cases: Case. For all β J there exists some α, α I such that a α = a β and b α = b β or vice versa, expressing that the ordinal sums are based mainly on the same structure but one has at least one more summand not coinciding by structure with any of the summands of the other ordinal sum. Case. The elements a α, b α, α I, and a β, b β, β J, need not be related at all. As mentioned previously the domination property induces the order on t-norms, i.e., if T T then also T T. Moreover, since all t-norms are bounded from above by the minimum we can state the following lemma. Lemma 6. Consider two ordinal sum t-norms T = ( a α, b α, T α ) α I and T = ( a β, b β, T β ) β J. If T dominates T, necessarily T (x, y) = min(x, y) whenever T (x, y) = min(x, y). Although this lemma is trivial, it provides some insight into the structure of the involved ordinal sum t-norms. So if T dominates T it must necessarily consist of more regions where it acts as the minimum than T, meaning that necessarily in Case as introduced above it holds that I J. Focussing on the idempotent elements of ordinal sums, we note that for a continuous ordinal sum t- norm T = ( a α, b α, T α ) α A the set of idempotent elements ID T coincides with [0, ]\ α A ]a α, b α [. Which influence do these elements have on the property of domination? Proposition 7. Consider two ordinal sum t- norms, namely, T = ( a α, b α, T α ) α I and T = ( a β, b β, T β ) β J, and some element d [0, ]. If T dominates T then we get the following: (i) If d ID T, then also T (d, d) ID T. (ii) If d ID T, then also d ID T. What are the consequences of this proposition for the two different cases w.r.t. to the boundary elements of the families of the pairwise disjoint open 5 subintervals? Firstly, all boundary elements of T are idempotent elements of T, i.e., either boundary elements themselves or elements of some domain where T acts as T M. Secondly, for each idempotent element d of T we know that also d (n) T, n N, is an idempotent element of T, once again being either a boundary element itself or element of some domain where T acts as T M. Let us finally have a look at two families of t- norms being families of ordinal sum t-norms with only one summand but varying boundary elements. Example 8. The members of the family of Dubois-Prade t-norms, first introduced in [5], are defined by T DP (x, y) = ( 0,, T P ) and are ordinal sums with the product t-norm as a single summand. If = 0 the corresponding Dubois-Prade t-norm coincides with T M which dominates all t- norms. Therefore we assume that ]0, ]. Due to the induced order of the t-norms we necessarily have that if T DP T DP then. Is this condition also sufficient? If = the domination property is trivially fulfilled. Therefore, suppose that <. For better readability we will denote T DP (resp. T DP ) by T (resp. T ). For each T i, i {, }, the set of idempotent elements is given by ID Ti = {0} [ i, ] and necessarily for ID T also T (, ) ID T. But 0 T (, ) = T P (, ) = < due to the strict monotonicity of the involved T P. Therefore, T (, ) is not an element of ID T showing that there exists no domination property within the family in accordance with the involved parameter except for = 0, namely T M. Example 9. Similarly the family of Mayor- Torrens t-norms (T MT ) [0,] can be expressed as a family of ordinal sum t-norms ( 0,, T L ) [0,] [6]. Again as above T MT T MT implies. For our further investigations, we will denote by T (resp. T ) the involved T MT (resp. T MT ). The set of idempotent elements are of the following form ID Ti = {0} [ i, ]. We know that ID T and therefore necessarily also T (, ) ID T. Since
6 T (, ) T M (, ) = we can conclude that T (, ) = 0 or T (, ) = where the latter contradicts the fact that T L possesses only trivial idempotent elements. This leads us to T (, ) = 0 being equivalent to as a necessary condition for the domination property within this family. For all such t-norms choose some x fulfilling < x < + 4 and put u = v = y = x then T (T (x, y), T (u, v)) = 0 and T (T (x, u), T (y, v)) = x > 0 contradicting () for T T. Therefore, also in the Mayor-Torrens family of t-norms no domination appears except when T0 MT = T M is involved. Acknowledgments The support of this work by the EU COST Action 74 (TARSKI: Theory and Applications of Relational Structures as Knowledge Instruments) is gratefully acknowledged. References [] R.M. Tardiff. Topologies for probabilistic metric spaces, Pacific J. Math., vol. 65, pp. 33 5, 976. [] B. Schweizer and A. Sklar. Probabilistic Metric Spaces. North-Holland, New York, 983. [3] S. Saminger, R. Mesiar, and U. Bodenhofer. Domination of aggregation operators and preservation of transitivity, Internat. J. Uncertain. Fuzziness Knowledge-Based Systems, vol. 0/s, pp. 35, 00. [4] R. Mesiar and S. Saminger. Commuting aggregation operators, in Proceedings of EUSFLAT 003, Zittau (Germany), pp , 003. [5] S. Saminger. Aggregation in Evaluation of Computer-Assisted Assessment, volume C 44 of Schriftenreihe der Johannes-Kepler- Universität Linz. Universitätsverlag Rudolf Trauner, 005. [6] E.P. Klement, R. Mesiar, and E. Pap. Triangular Norms, volume 8 of Trends in Logic. Studia Logica Library. Kluwer Academic Publishers, Dordrecht, 000. [7] P.S. Mostert and A.L. Shields. On the structure of semigroups on a compact manifold with boundary, Ann. of Math., vol. 65, pp. 7 43, 957. [8] A. Pradera, E. Trillas, and E. Castiñeira. On the aggregation of some classes of fuzzy relations, in B. Bouchon-Meunier, J. Gutiérrez-Ríos, L. Magdalena, and R.R. Yager, editors, Technologies for Constructing Intelligent Systems : Tasks. Springer, 00. [9] W. Jarczyk and J. Matkowski. On mulholland s inequality, Proc. Amer. Math. Soc., vol. 30, pp , 00. [0] H.P. Mulholland. On generalizations of Minkowski s inequality in the form of a triangle inequality, Proc. London Math. Soc., vol. 5, pp , 950. [] R.M. Tardiff. On a functional inequality arising in the construction of the product of several metric spaces, Aequationes Math., vol. 0, pp. 5 58, 980. [] R.M. Tardiff. On a generalized Minkowski inequality and its relation to dominates for t-norms, Aequationes Math., vol. 7, pp , 984. [3] H. Sherwood. Characterizing dominates on a family of triangular norms, Aequationes Math., vol. 7, pp , 984. [4] P. Sarkoci. Domination in the families of Frank and Hamacher t-norms, Kybernetika, vol. 4, pp , 005. [5] D. Dubois and H. Prade. New results about properties and semantics of fuzzy settheoretic operators, in P.P. Wang and S.K. Chang, editors, Fuzzy Sets: Theory and Applications to Policy Analysis and Information Systems, pp Plenum Press, New York, 980. [6] G. Mayor and J. Torrens. On a family of t-norms, Fuzzy Sets and Systems, vol. 4, pp. 6 66, 99. 5
Domination of Aggregation Operators and Preservation of Transitivity
Technical Report FLLL TR 0207 SCCH TR 0237 Domination of Aggregation Operators and Preservation of Transitivity Susanne Saminger Fuzzy Logic Laboratorium Linz-Hagenberg saminger@flll.uni-linz.ac.at Radko
More informationDominance in the family of Sugeno-Weber t-norms
Dominance in the family of Sugeno-Weber t-norms Manuel KAUERS Research Institute for Symbolic Computation Johannes Kepler University Linz, Altenbergerstrasse 69, A-4040 Linz, Austria e-mail: mkauers@risc.jku.at
More informationKybernetika. Margarita Mas; Miquel Monserrat; Joan Torrens QL-implications versus D-implications. Terms of use:
Kybernetika Margarita Mas; Miquel Monserrat; Joan Torrens QL-implications versus D-implications Kybernetika, Vol. 42 (2006), No. 3, 35--366 Persistent URL: http://dml.cz/dmlcz/3579 Terms of use: Institute
More informationContinuous R-implications
Continuous R-implications Balasubramaniam Jayaram 1 Michał Baczyński 2 1. Department of Mathematics, Indian Institute of echnology Madras, Chennai 600 036, India 2. Institute of Mathematics, University
More informationS-MEASURES, T -MEASURES AND DISTINGUISHED CLASSES OF FUZZY MEASURES
K Y B E R N E T I K A V O L U M E 4 2 ( 2 0 0 6 ), N U M B E R 3, P A G E S 3 6 7 3 7 8 S-MEASURES, T -MEASURES AND DISTINGUISHED CLASSES OF FUZZY MEASURES Peter Struk and Andrea Stupňanová S-measures
More informationPreservation of t-norm and t-conorm based properties of fuzzy relations during aggregation process
8th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2013) Preservation of t-norm and t-conorm based properties of fuzzy relations during aggregation process Urszula Dudziak Institute
More informationAggregation and Non-Contradiction
Aggregation and Non-Contradiction Ana Pradera Dept. de Informática, Estadística y Telemática Universidad Rey Juan Carlos. 28933 Móstoles. Madrid. Spain ana.pradera@urjc.es Enric Trillas Dept. de Inteligencia
More informationDirectional Monotonicity of Fuzzy Implications
Acta Polytechnica Hungarica Vol. 14, No. 5, 2017 Directional Monotonicity of Fuzzy Implications Katarzyna Miś Institute of Mathematics, University of Silesia in Katowice Bankowa 14, 40-007 Katowice, Poland,
More informationAnalysis of additive generators of fuzzy operations represented by rational functions
Journal of Physics: Conference Series PAPER OPEN ACCESS Analysis of additive generators of fuzzy operations represented by rational functions To cite this article: T M Ledeneva 018 J. Phys.: Conf. Ser.
More informationASSOCIATIVE n DIMENSIONAL COPULAS
K Y BERNETIKA VOLUM E 47 ( 2011), NUMBER 1, P AGES 93 99 ASSOCIATIVE n DIMENSIONAL COPULAS Andrea Stupňanová and Anna Kolesárová The associativity of n-dimensional copulas in the sense of Post is studied.
More informationConditionally distributive real semirings
Conditionally distributive real semirings Dragan Jočić Department of Mathematics and Informatics, Faculty of Science, University of Novi Sad Trg D. Obradovića 4, 21000 Novi Sad, Serbia and Montenegro e-mail:drjocic@ptt.yu
More informationTriple Rotation: Gymnastics for T-norms
Triple Rotation: Gymnastics for T-norms K.C. Maes Department of Applied Mathematics, Biometrics and Process Control, Ghent University, Coupure links 653, B-9 Gent, Belgium Koen.Maes@Ugent.be B. De Baets
More informationKybernetika. Michał Baczyński; Balasubramaniam Jayaram Yager s classes of fuzzy implications: some properties and intersections
Kybernetika Michał Baczyński; Balasubramaniam Jayaram Yager s classes of fuzzy implications: some properties and intersections Kybernetika, Vol. 43 (2007), No. 2, 57--82 Persistent URL: http://dml.cz/dmlcz/35764
More informationREMARKS ON TWO PRODUCT LIKE CONSTRUCTIONS FOR COPULAS
K Y B E R N E T I K A V O L U M E 4 3 2 0 0 7 ), N U M B E R 2, P A G E S 2 3 5 2 4 4 REMARKS ON TWO PRODUCT LIKE CONSTRUCTIONS FOR COPULAS Fabrizio Durante, Erich Peter Klement, José Juan Quesada-Molina
More informationTRIANGULAR NORMS WITH CONTINUOUS DIAGONALS
Tatra Mt. Math. Publ. 6 (999), 87 95 TRIANGULAR NORMS WITH CONTINUOUS DIAGONALS Josef Tkadlec ABSTRACT. It is an old open question whether a t-norm with a continuous diagonal must be continuous [7]. We
More informationCopulas with given diagonal section: some new results
Copulas with given diagonal section: some new results Fabrizio Durante Dipartimento di Matematica Ennio De Giorgi Università di Lecce Lecce, Italy 73100 fabrizio.durante@unile.it Radko Mesiar STU Bratislava,
More informationReducing t-norms and augmenting t-conorms
Reducing t-norms and augmenting t-conorms Marcin Detyniecki LIP6 - CNRS -University of Paris VI 4, place Jussieu 75230 Paris Cedex 05, France Marcin.Detyniecki@lip6.fr Ronald R. Yager Machine Intelligence
More informationDecomposition of the transitivity for additive fuzzy preference structures
Decomposition of the transitivity for additive fuzzy preference structures Susana Díaz, Susana Montes 1 Bernard De Baets 1.Dept. of Statistics and O.R., University of Oviedo Oviedo, Spain.Dept. of Applied
More informationLeft-continuous t-norms in Fuzzy Logic: an Overview
Left-continuous t-norms in Fuzzy Logic: an Overview János Fodor Dept. of Biomathematics and Informatics, Faculty of Veterinary Sci. Szent István University, István u. 2, H-1078 Budapest, Hungary E-mail:
More informationOn the Intersections of QL-Implications with (S, N)- and R-Implications
On the Intersections of QL-Implications with (S, N)- and R-Implications Balasubramaniam Jayaram Dept. of Mathematics and Computer Sciences, Sri Sathya Sai Institute of Higher Learning, Prasanthi Nilayam,
More informationFUZZY H-WEAK CONTRACTIONS AND FIXED POINT THEOREMS IN FUZZY METRIC SPACES
Gulf Journal of Mathematics Vol, Issue 2 203 7-79 FUZZY H-WEAK CONTRACTIONS AND FIXED POINT THEOREMS IN FUZZY METRIC SPACES SATISH SHUKLA Abstract. The purpose of this paper is to introduce the notion
More information1. M. Dibala, S. Saminger-Platz, R. Mesiar, E.P. Klement. Defects and transformations of quasicopulas,
List of Publications 1 Susanne Saminger-Platz The publications are grouped according to categories. Within these categories, the papers are in chronological order starting with the most recent publications.
More informationAssociativity of triangular norms in light of web geometry
Associativit of triangular norms in light of web geometr Milan Petrík 1,2 Peter Sarkoci 3 1. Institute of Computer Science, Academ of Sciences of the Czech Republic, Prague, Czech Republic 2. Center for
More informationComparison of two versions of the Ferrers property of fuzzy interval orders
Comparison of two versions of the Ferrers property of fuzzy interval orders Susana Díaz 1 Bernard De Baets 2 Susana Montes 1 1.Dept. Statistics and O. R., University of Oviedo 2.Dept. Appl. Math., Biometrics
More informationCyclic Evaluation of Transitivity of Reciprocal Relations
Social Choice and Welfare manuscript No. (will be inserted by the editor) Cyclic Evaluation of Transitivity of Reciprocal Relations B. De Baets 1, H. De Meyer 2, B. De Schuymer 2, S. Jenei 3 1 Department
More informationAggregation functions: construction methods, conjunctive, disjunctive and mixed classes
Author manuscript, published in "Information Sciences 181, 1 (2011) 23-43" DOI : 10.1016/j.ins.2010.08.040 Aggregation functions: construction methods, conjunctive, disjunctive and mixed classes Michel
More informationAveraging Operators on the Unit Interval
Averaging Operators on the Unit Interval Mai Gehrke Carol Walker Elbert Walker New Mexico State University Las Cruces, New Mexico Abstract In working with negations and t-norms, it is not uncommon to call
More informationFURTHER DEVELOPMENT OF CHEBYSHEV TYPE INEQUALITIES FOR SUGENO INTEGRALS AND T-(S-)EVALUATORS
K Y BERNETIK VOLUM E 46 21, NUMBER 1, P GES 83 95 FURTHER DEVELOPMENT OF CHEBYSHEV TYPE INEQULITIES FOR SUGENO INTEGRLS ND T-S-EVLUTORS Hamzeh gahi, Radko Mesiar and Yao Ouyang In this paper further development
More informationThe problem of distributivity between binary operations in bifuzzy set theory
The problem of distributivity between binary operations in bifuzzy set theory Pawe l Drygaś Institute of Mathematics, University of Rzeszów ul. Rejtana 16A, 35-310 Rzeszów, Poland e-mail: paweldr@univ.rzeszow.pl
More informationA Deep Study of Fuzzy Implications
A Deep Study of Fuzzy Implications Yun Shi Promotor: prof. dr. Etienne E. Kerre Copromotor: prof. dr. Da Ruan Dissertation submitted to Faculty of Science of Ghent University in fulfillment of the requirements
More informationPreservation of graded properties of fuzzy relations by aggregation functions
Preservation of graded properties of fuzzy relations by aggregation functions Urszula Dudziak Institute of Mathematics, University of Rzeszów, 35-310 Rzeszów, ul. Rejtana 16a, Poland. e-mail: ududziak@univ.rzeszow.pl
More informationConstruction of Interval-valued Fuzzy Preference Relations from Ignorance Functions and Fuzzy Preference Relations. Application to Decision Making
Construction of Interval-valued Fuzzy Preference Relations from Ignorance Functions and Fuzzy Preference Relations. Application to Decision Making Edurne Barrenechea a, Javier Fernandez a, Miguel Pagola
More informationThe General Nilpotent System
The General Nilpotent System József Dombi 1,2 Orsolya Csiszár 1 1 Óbuda University, Budapest, Hungary 2 University of Szeged, Hungary FSTA, Liptovský Ján, 2014 csiszar.orsolya@nik.uni-obuda.hu The General
More informationWeakly S-additive measures
Weakly S-additive measures Zuzana Havranová Dept. of Mathematics Slovak University of Technology Radlinského, 83 68 Bratislava Slovakia zuzana@math.sk Martin Kalina Dept. of Mathematics Slovak University
More information(S, N)- and R-implications: A state-of-the-art survey
Fuzzy Sets and Systems 159 (2008) 1836 1859 www.elsevier.com/locate/fss (S, N)- and R-implications: A state-of-the-art survey Michał Baczyński a,, Balasubramaniam Jayaram b a Institute of Mathematics,
More informationCONSERVATIVE AND DISSIPATIVE FOR T-NORM AND T-CONORM AND RESIDUAL FUZZY CO-IMPLICATION
Bulletin of Mathematical Analysis and Applications ISSN: 1821-1291, URL: http://www.bmathaa.org Volume 8 Issue 4(2016), Pages 78-90. CONSERVATIVE AND DISSIPATIVE FOR T-NORM AND T-CONORM AND RESIDUAL FUZZY
More informationGeneralized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics Carles Noguera Dept. of Mathematics and Computer Science, University of Siena Pian dei Mantellini 44,
More informationFinitely Valued Indistinguishability Operators
Finitely Valued Indistinguishability Operators Gaspar Mayor 1 and Jordi Recasens 2 1 Department of Mathematics and Computer Science, Universitat de les Illes Balears, 07122 Palma de Mallorca, Illes Balears,
More informationUnderstanding (dis)similarity measures
Understanding (dis)similarity measures Lluís A. Belanche School of Computer Science Technical University of Catalonia Jordi Girona, 1-3. 08034 Barcelona, Catalonia, Spain belanche@lsi.upc.edu Abstract
More informationEXTRACTING FUZZY IF-THEN RULE BY USING THE INFORMATION MATRIX TECHNIQUE WITH QUASI-TRIANGULAR FUZZY NUMBERS
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LIV, Number 3, September 2009 EXTRACTING FUZZY IF-THEN RULE BY USING THE INFORMATION MATRIX TECHNIQUE WITH QUASI-TRIANGULAR FUZZY NUMBERS ZOLTÁN MAKÓ Abstract.
More informationAggregation on bipolar scales
Author manuscript, published in "Theory and Applications of Relational Structures as Knowledge Instruments II, Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens (Ed.) (2006) 355-371" Aggregation
More informationSOME FIXED POINT RESULTS FOR ADMISSIBLE GERAGHTY CONTRACTION TYPE MAPPINGS IN FUZZY METRIC SPACES
Iranian Journal of Fuzzy Systems Vol. 4, No. 3, 207 pp. 6-77 6 SOME FIXED POINT RESULTS FOR ADMISSIBLE GERAGHTY CONTRACTION TYPE MAPPINGS IN FUZZY METRIC SPACES M. DINARVAND Abstract. In this paper, we
More informationKey Renewal Theory for T -iid Random Fuzzy Variables
Applied Mathematical Sciences, Vol. 3, 29, no. 7, 35-329 HIKARI Ltd, www.m-hikari.com https://doi.org/.2988/ams.29.9236 Key Renewal Theory for T -iid Random Fuzzy Variables Dug Hun Hong Department of Mathematics,
More informationIntuitionistic Fuzzy Sets - An Alternative Look
Intuitionistic Fuzzy Sets - An Alternative Look Anna Pankowska and Maciej Wygralak Faculty of Mathematics and Computer Science Adam Mickiewicz University Umultowska 87, 61-614 Poznań, Poland e-mail: wygralak@math.amu.edu.pl
More informationAn Algorithm to compute a T-transitive approximation of a reflexive and symmetric fuzzy relation
An Algorithm to compute a T-transitive approximation of a reflexive and symmetric fuzzy relation Luis Garmendia Facultad de Informática Dept. Sistemas Informáticos y Programación Universidad Complutense
More informationGENERAL AGGREGATION OPERATORS ACTING ON FUZZY NUMBERS INDUCED BY ORDINARY AGGREGATION OPERATORS
Novi Sad J. Math. Vol. 33, No. 2, 2003, 67 76 67 GENERAL AGGREGATION OPERATORS ACTING ON FUZZY NUMBERS INDUCED BY ORDINARY AGGREGATION OPERATORS Aleksandar Takači 1 Abstract. Some special general aggregation
More informationMetrics and -Equalities
Journal of Mathematical Analysis and Applications 267, 531 547 (2002) doi:10.1006/jmaa.2001.7786, available online at http://www.idealibrary.com on Metrics and -Equalities Bernard De Baets Department of
More informationA continuous operator extending fuzzy ultrametrics
A continuous operator extending fuzzy ultrametrics I. Stasyuk, E.D. Tymchatyn November 30, 200 Abstract We consider the problem of simultaneous extension of fuzzy ultrametrics defined on closed subsets
More informationGENERAL RELATED JENSEN TYPE INEQUALITIES FOR FUZZY INTEGRALS
TWMS J. App. Eng. Math. V.8, N., 08, pp. -7 GENERAL RELATED JENSEN TYPE INEQUALITIES FOR FUZZY INTEGRALS B. DARABY, Abstract. In this paper, related inequalities to Jensen type inequality for the seminormed
More information(, q)-fuzzy Ideals of BG-algebras with respect to t-norm
NTMSCI 3, No. 4, 196-10 (015) 196 New Trends in Mathematical Sciences http://www.ntmsci.com (, q)-fuzzy Ideals of BG-algebras with respect to t-norm Saidur R. Barbhuiya Department of mathematics, Srikishan
More informationA fixed point theorem in probabilistic metric spaces with a convex structure Tatjana»Zikić-Do»senović Faculty oftechnology, University ofnovi Sad Bule
A fixed point theorem in probabilistic metric spaces with a convex structure Tatjana»Zikić-Do»senović Faculty oftechnology, University ofnovi Sad Bulevar Cara Lazara 1, 21000 Novi Sad, Serbia tatjanad@tehnol.ns.ac.yu
More informationSome Characterizations based on Double Aggregation Operators*
Some Characterizations based on Double Aggregation Operators* T. Calvo A. Pradera Department of Computer Science Dept. of Experimental Sciences and Engineering University of Alcald Rey Juan Carlos University
More informationFLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS
FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS HANFENG LI Abstract. We construct examples of flabby strict deformation quantizations not preserving K-groups. This answers a question of Rieffel negatively.
More informationarxiv: v1 [math.pr] 9 Jan 2016
SKLAR S THEOREM IN AN IMPRECISE SETTING IGNACIO MONTES, ENRIQUE MIRANDA, RENATO PELESSONI, AND PAOLO VICIG arxiv:1601.02121v1 [math.pr] 9 Jan 2016 Abstract. Sklar s theorem is an important tool that connects
More informationarxiv: v1 [math.gm] 20 Oct 2014
arxiv:1410.5748v1 [math.gm] 20 Oct 2014 A CHARACTERIZATION OF CAUCHY SEQUENCES IN FUZZY METRIC SPACES AND ITS APPLICATION TO FUZZY FIXED POINT THEORY MORTAZA ABTAHI Abstract. We introduce the concept of
More informationarxiv: v1 [math.lo] 30 Aug 2018
arxiv:1808.10324v1 [math.lo] 30 Aug 2018 Real coextensions as a tool for constructing triangular norms Thomas Vetterlein Department of Knowledge-Based Mathematical Systems Johannes Kepler University Linz
More informationGENERATED FUZZY IMPLICATIONS IN FUZZY DECISION MAKING
BRNO UNIVERSITY OF TECHNOLOGY Faculty of Electrical Engineering and Communication Department of Mathematics Mgr. Vladislav Biba GENERATED FUZZY IMPLICATIONS IN FUZZY DECISION MAKING GENEROVANÉ FUZZY IMPLIKÁTORY
More informationHomomorphisms on The Monoid of Fuzzy Implications
Homomorphisms on The Monoid of Fuzzy mplications Nageswara Rao Vemuri and Balasubramaniam Jayaram Department of Mathematics ndian nstitute of Technology Hyderabad Yeddumailaram, A.P 502 205 Email: {ma10p001,
More informationAGING FUNCTIONS AND MULTIVARIATE NOTIONS OF NBU AND IFR
Probability in the Engineering and Informational Sciences, 24, 2010, 263 278. doi:10.1017/s026996480999026x AGING FUNCTIONS AND MULTIVARIATE NOTIONS OF NBU AND IFR FABRIZIO DURANTE Department of Knowledge-Based
More informationVariations of non-additive measures
Variations of non-additive measures Endre Pap Department of Mathematics and Informatics, University of Novi Sad Trg D. Obradovica 4, 21 000 Novi Sad, Serbia and Montenegro e-mail: pape@eunet.yu Abstract:
More informationSklar s theorem in an imprecise setting
Sklar s theorem in an imprecise setting Ignacio Montes a,, Enrique Miranda a, Renato Pelessoni b, Paolo Vicig b a University of Oviedo (Spain), Dept. of Statistics and O.R. b University of Trieste (Italy),
More informationOn (Weighted) k-order Fuzzy Connectives
Author manuscript, published in "IEEE Int. Conf. on Fuzzy Systems, Spain 2010" On Weighted -Order Fuzzy Connectives Hoel Le Capitaine and Carl Frélicot Mathematics, Image and Applications MIA Université
More informationA note on fuzzy predicate logic. Petr H jek 1. Academy of Sciences of the Czech Republic
A note on fuzzy predicate logic Petr H jek 1 Institute of Computer Science, Academy of Sciences of the Czech Republic Pod vod renskou v 2, 182 07 Prague. Abstract. Recent development of mathematical fuzzy
More informationA linguistic fuzzy model with a monotone rule base is not always monotone
EUSFLAT - LFA 25 A linguistic fuzzy model with a monotone rule base is not always monotone Ester Van Broekhoven and Bernard De Baets Department of Applied Mathematics, Biometrics and Process Control Ghent
More informationEQ-algebras: primary concepts and properties
UNIVERSITY OF OSTRAVA Institute for Research and Applications of Fuzzy Modeling EQ-algebras: primary concepts and properties Vilém Novák Research report No. 101 Submitted/to appear: Int. Joint, Czech Republic-Japan
More informationFleas and fuzzy logic a survey
Fleas and fuzzy logic a survey Petr Hájek Institute of Computer Science AS CR Prague hajek@cs.cas.cz Dedicated to Professor Gert H. Müller on the occasion of his 80 th birthday Keywords: mathematical fuzzy
More informationInterval Valued Fuzzy Sets from Continuous Archimedean. Triangular Norms. Taner Bilgic and I. Burhan Turksen. University of Toronto.
Interval Valued Fuzzy Sets from Continuous Archimedean Triangular Norms Taner Bilgic and I. Burhan Turksen Department of Industrial Engineering University of Toronto Toronto, Ontario, M5S 1A4 Canada bilgic@ie.utoronto.ca,
More informationA Formal Model of Interpretability of Linguistic Variables
A Formal Model of Interpretability of Linguistic Variables Ulrich Bodenhofer 1 and Peter Bauer 2 1 Software Competence Center Hagenberg A-4232 Hagenberg, Austria e-mail: ulrich.bodenhofer@scch.at 2 COMNEON
More informationComputing a Transitive Opening of a Reflexive and Symmetric Fuzzy Relation
Computing a Transitive Opening of a Reflexive and Symmetric Fuzzy Relation Luis Garmendia and Adela Salvador 2 Facultad de Informática, Dpto. de Lenguajes y Sistemas Informáticos, Universidad Complutense
More informationEfficient Approximate Reasoning with Positive and Negative Information
Efficient Approximate Reasoning with Positive and Negative Information Chris Cornelis, Martine De Cock, and Etienne Kerre Fuzziness and Uncertainty Modelling Research Unit, Department of Applied Mathematics
More informationSTRICTLY ORDER PRIMAL ALGEBRAS
Acta Math. Univ. Comenianae Vol. LXIII, 2(1994), pp. 275 284 275 STRICTLY ORDER PRIMAL ALGEBRAS O. LÜDERS and D. SCHWEIGERT Partial orders and the clones of functions preserving them have been thoroughly
More informationFuzzy Sets. Mirko Navara navara/fl/fset printe.pdf February 28, 2019
The notion of fuzzy set. Minimum about classical) sets Fuzzy ets Mirko Navara http://cmp.felk.cvut.cz/ navara/fl/fset printe.pdf February 8, 09 To aviod problems of the set theory, we restrict ourselves
More informationMax-min (σ-)additive representation of monotone measures
Noname manuscript No. (will be inserted by the editor) Max-min (σ-)additive representation of monotone measures Martin Brüning and Dieter Denneberg FB 3 Universität Bremen, D-28334 Bremen, Germany e-mail:
More informationOn the Law of Importation. in Fuzzy Logic. J.Balasubramaniam, Member IEEE. Abstract
BALASUBRAMANIAM: On the Law of Importation in fuzzy logic 1 On the Law of Importation (x y) z (x (y z)) in Fuzzy Logic J.Balasubramaniam, Member IEEE Abstract The law of importation, given by the equivalence
More informationAggregation on Finite Ordinal Scales by Scale Independent Functions
Aggregation on Finite Ordinal Scales by Scale Independent Functions Jean-Luc MARICHAL (jean-luc.marichal[at]uni.lu) Faculty of Law, Economics, and Finance, University of Luxembourg 162A, avenue de la Faïencerie,
More informationGödel Negation Makes Unwitnessed Consistency Crisp
Gödel Negation Makes Unwitnessed Consistency Crisp Stefan Borgwardt, Felix Distel, and Rafael Peñaloza Faculty of Computer Science TU Dresden, Dresden, Germany [stefborg,felix,penaloza]@tcs.inf.tu-dresden.de
More informationA Complete Description of Comparison Meaningful Functions
A Complete Description of Comparison Meaningful Functions Jean-Luc MARICHAL Radko MESIAR Tatiana RÜCKSCHLOSSOVÁ Abstract Comparison meaningful functions acting on some real interval E are completely described
More informationON CHARACTERISTIC 0 AND WEAKLY ALMOST PERIODIC FLOWS. Hyungsoo Song
Kangweon-Kyungki Math. Jour. 11 (2003), No. 2, pp. 161 167 ON CHARACTERISTIC 0 AND WEAKLY ALMOST PERIODIC FLOWS Hyungsoo Song Abstract. The purpose of this paper is to study and characterize the notions
More informationPartial cubes: structures, characterizations, and constructions
Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes
More informationA Common Fixed Point Theorems in Menger(PQM) Spaces with Using Property (E.A)
Int. J. Contemp. Math. Sciences, Vol. 6, 2011, no. 4, 161-167 A Common Fixed Point Theorems in Menger(PQM) Spaces with Using Property (E.A) Somayeh Ghayekhloo Member of young Researchers club, Islamic
More informationOn the design of metric relations
On the design of metric relations Lluís A Belanche, Jorge Orozco On the design of metric relations Lluís A Belanche* Corresponding author, Jorge Orozco Languages and Systems Information Department Technical
More information(T; N) and Residual Fuzzy Co-Implication in Dual Heyting Algebra with Applications
Preprints (www.preprints.org) O PEER-REVIEWED Posted: 3 August 2016 Article (; ) Residual Fuzzy Co-Implication in Dual Heyting Algebra with Applications Iqbal H. ebril Department of Mathematics cience
More informationarxiv: v1 [math.fa] 30 Sep 2007
A MAZUR ULAM THEOREM IN NON-ARCHIMEDEAN NORMED SPACES arxiv:0710.0107v1 [math.fa] 30 Sep 007 MOHAMMAD SAL MOSLEHIAN AND GHADIR SADEGHI Abstract. The classical Mazur Ulam theorem which states that every
More information1. To be a grandfather. Objects of our consideration are people; a person a is associated with a person b if a is a grandfather of b.
20 [161016-1020 ] 3.3 Binary relations In mathematics, as in everyday situations, we often speak about a relationship between objects, which means an idea of two objects being related or associated one
More informationA special class of fuzzy operators and its application in modelling effects and decision problems
UNIVERSITY OF SZEGED Faculty of Science and Informatics Department of Computer Algorithms and Artificial Intelligence PhD School in Computer Science A special class of fuzzy operators and its application
More informationEconomics 204 Fall 2011 Problem Set 1 Suggested Solutions
Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.
More informationLarge deviation convergence of generated pseudo measures
Large deviation convergence of generated pseudo measures Ljubo Nedović 1, Endre Pap 2, Nebojša M. Ralević 1, Tatjana Grbić 1 1 Faculty of Engineering, University of Novi Sad Trg Dositeja Obradovića 6,
More informationMaximum asymmetry of copulas revisited
Maximum asymmetry of copulas revisited Noppadon Kamnitui Juan Fernández-Sánchez Wolfgang Trutschnig January 0, 08 Abstract Motivated by the nice characterization of copulas A for which d A, A t ) is maximal
More informationLogic of approximate entailment in quasimetric and in metric spaces
Logic of approximate entailment in quasimetric and in metric spaces Thomas Vetterlein Department of Knowledge-Based Mathematical Systems Johannes Kepler University Linz Altenberger Straße 69, 4040 Linz,
More informationSELECTION THEOREMS FOR MULTIFUNCTIONS IN PARTIALLY ORDERED SETS
SELECTION THEOREMS FOR MULTIFUNCTIONS IN PARTIALLY ORDERED SETS M. A. KHAMSI Abstract. It is shown that an order preserving multivalued mapping T of a complete lattice X which takes values in the space
More informationTowards Formal Theory of Measure on Clans of Fuzzy Sets
Towards Formal Theory of Measure on Clans of Fuzzy Sets Tomáš Kroupa Institute of Information Theory and Automation Academy of Sciences of the Czech Republic Pod vodárenskou věží 4 182 08 Prague 8 Czech
More informationMath 421, Homework #9 Solutions
Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and
More informationLinguistic Hedges: a Quantier Based Approach
Linguistic Hedges: a Quantier Based Approach Martine DE COCK Dept. of Applied Mathematics and Computer Science Ghent University, Krijgslaan 28 (S9), B-9 Gent, Belgium Martine.DeCock@rug.ac.be, http://fuzzy.rug.ac.be
More informationConditional Belief Functions: a Comparison among Different Definitions
Conditional Belief Functions: a Comparison among Different Definitions Giulianella Coletti Marcello Mastroleo Dipartimento di Matematica e Informatica University of Perugia (coletti,mastroleo)@dipmat.unipg.it
More informationA Fuzzy Formal Logic for Interval-valued Residuated Lattices
A Fuzzy Formal Logic for Interval-valued Residuated Lattices B. Van Gasse Bart.VanGasse@UGent.be C. Cornelis Chris.Cornelis@UGent.be G. Deschrijver Glad.Deschrijver@UGent.be E.E. Kerre Etienne.Kerre@UGent.be
More informationWHEN LAGRANGEAN AND QUASI-ARITHMETIC MEANS COINCIDE
Volume 8 (007, Issue 3, Article 71, 5 pp. WHEN LAGRANGEAN AND QUASI-ARITHMETIC MEANS COINCIDE JUSTYNA JARCZYK FACULTY OF MATHEMATICS, COMPUTER SCIENCE AND ECONOMETRICS, UNIVERSITY OF ZIELONA GÓRA SZAFRANA
More informationCommutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)
Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013) Navid Alaei September 17, 2013 1 Lattice Basics There are, in general, two equivalent approaches to defining a lattice; one is rather
More informationBandler-Kohout Subproduct with Yager s classes of Fuzzy Implications
Bandler-Kohout Subproduct with Yager s classes of Fuzzy Implications Sayantan Mandal and Balasubramaniam Jayaram, Member, IEEE Abstract The Bandler Kohout Subproduct BKS inference mechanism is one of the
More informationSup-t-norm and inf-residuum are a single type of relational equations
International Journal of General Systems Vol. 00, No. 00, February 2011, 1 12 Sup-t-norm and inf-residuum are a single type of relational equations Eduard Bartl a, Radim Belohlavek b Department of Computer
More informationIRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT
IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y
More information