Search

We discuss the structure of idempotent uninorms defined on bounded lattices such that the set of all points incomparable with the neutral element contains at most one point. We show that the structure of idempotent uninorms on lattices with one point incomparable with the neutral element is much more complex than the structure of those defined on lattices where all points are comparable with the neutral element. In Part I of this two-part paper, we completely characterize idempotent uninorms defined on bounded lattices such that all points are comparable with the neutral element. Moreover, we show some basic properties and observations on idempotent uninorms on bounded lattices with one point incomparable with the neutral element and we completely characterize the class of internal uninorms on such lattices. In Part II, we will characterize two special classes of idempotent uninorms defined on bounded lattices with one point incomparable with the neutral element, including idempotent uninorms with annihilator incomparable with the neutral element, and by the composition of these special cases, we will show the complete characterization of idempotent uninorms on such lattices. [ABSTRACT FROM AUTHOR]

This paper introduces the concept of conditional monotonicity and other related relaxed monotonicities within the framework of intervals equipped with admissible orders. It generalizes the work of Sesma-Sara et al., who introduced weak/directional monotonicity on intervals endowed with the Kulisch–Miranker order, and the work of Santiago et al., who introduced the notion of g-weak monotonicity in the fuzzy setting. The paper also explores properties of conditional monotonicities, introduce the notion of ordinal sum for a family of functions and examines the connections between conditional monotonicity, ordinal sums and implications. [ABSTRACT FROM AUTHOR]

Aggregation operators have the important application in any fields where the fusion of information is processed. The dominance relation between two aggregation operators is linked to the fusion of fuzzy relations, indistinguishability operators and so on. In this paper, we deal with the weak dominance relation between two aggregation operators which is closely related with the dominance relation. Weak domination of isomorphic aggregation operators and ordinal sum of conjunctors is presented. More attention is paid to the weak dominance relation between ordered weighted averaging operators and Lukasiewicz t-norm. Furthermore, the relationships between weak dominance and some functional inequalities of aggregation operators are discussed. [ABSTRACT FROM AUTHOR]

In this paper, the class of S-generalized distances such that the involved t-conorms S are ordinal sums is discussed. It is shown that these S-generalized distances can be thought of as families of generalized distances with respect to some Archimedean t-conorms. We also deal with the S-generalized distance aggregations, which merge a family of Si-generalized distances into a new S-generalized distance. [ABSTRACT FROM AUTHOR]

We define several sorts of mappings on a poset like monotone, strictly monotone, upper cone preserving and variants of these. Our aim is to study in which posets some of these mappings coincide. We define special mappings determined by two elements and investigate when these are strictly monotone or upper cone preserving. If the considered poset is a semilattice then its monotone mappings coincide with semilattice homomorphisms if and only if the poset is a chain. Similarly, we study posets which need not be semilattices but whose upper cones have a minimal element. We extend this investigation to posets that are direct products of chains or an ordinal sum of an antichain and a finite chain. We characterize equivalence relations induced by strongly monotone mappings and show that the quotient set of a poset by such an equivalence relation is a poset again.

We introduce and characterize various gluing constructions for residuated lattices that intersect on a common subreduct, and which are subalgebras, or appropriate subreducts, of the resulting structure. Starting from the 1-sum construction (also known as ordinal sum for residuated structures), where algebras that intersect only in the top element are glued together, we first consider the gluing on a congruence filter, and then add a lattice ideal as well. We characterize such constructions in terms of (possibly partial) operators acting on (possibly partial) residuated structures. As particular examples of gluing constructions, we obtain the non-commutative version of some rotation constructions, and an interesting variety of semilinear residuated lattices that are 2-potent. This study also serves as a first attempt toward the study of amalgamation of non-commutative residuated lattices, by constructing an amalgam in the special case where the common subalgebra in the V-formation is either a special (congruence) filter or the union of a filter and an ideal. [ABSTRACT FROM AUTHOR]

In this paper, the ordinal sum of quantales is provided. Based on this, the ordinal sums of many familiar ordered algebraic structures can be obtained, such as complete residuated lattice, spatial quantale, etc. Then we investigate the relationship between the quantale completion of partially ordered semigroups and the ordinal sum, and prove that for any family of two-side posemigroups, the ordinal sum of their quantale completions coincides with the quantale completion of their ordinal sum. [ABSTRACT FROM AUTHOR]

The notion of a pre-period of an algebra A is defined by means of the notion of the pre-period λ(f) of a monounary algebra hA; fi: it is determined by sup{λ(f) | f is an endomorphism of A}. In this paper we focus on the pre-period of a finite modular lattice. The main result is that the pre-period of any finite modular lattice is less than or equal to the length of the lattice; also, necessary and sufficient conditions under which the pre-period of the glued sum is equal to the length of the lattice, are shown. Moreover, we show the triangle inequality of the pre-period of the glued sum. [ABSTRACT FROM AUTHOR]

The ordinal sum construction is an important way to generate new triangular norms (t-norms for short) on real unit interval from existing ones. Saminger extended the ordinal sum construction of t-norms to bounded lattices in a direct way and proved that, except for very special cases the ordinal sum of t-norms on bounded lattices may be not a t-norm. To ensure the ordinal sum of t-norms is always a t-norm, several modified ordinal sum of t-norms have been developed. This note reviews several such constructions. As a byproduct, we point out that some recent results concerning ordinal sum of t-norms by A¸sici can be seen as corollaries of these construction. [ABSTRACT FROM AUTHOR]

As a proper generalization of the ordinal sum t-norm construction on bounded lattices proposed in [E. Aşıcı, R. Mesiar, New constructions of triangular norms and triangular conorms on an arbitrary bounded lattice, International Journal of General Systems, 49(2) (2020), 143-160], the present paper studies a new extension of a triangular norm on a subinterval [0, α] via an interior operator to the underlying entire bounded lattice, where the necessary and sufficient conditions under which the constructed operation is again a t-norm are given. By comparing the graphic structures of two t-norms on a common bounded lattice which are constructed in different ways, it is shown that the new method in this paper is essentially different from the ones existing in the literature. As an end, this new construction is generalized to construct ordinal sums of finitely many t-norms by recursion on bounded lattices. The dual results for ordinal sum construction of t-conorms via closure operators on bounded lattices are also presented. [ABSTRACT FROM AUTHOR]

This paper focuses on the topic of ordinal sums of semigroups in the sense of A. H. Clifford – a method for constructing a new semigroup from a given system of semigroups indexed by a linearly ordered index set. We completely describe the linearly ordered index set for an ordinal sum of semigroups yielding a uninorm. [ABSTRACT FROM AUTHOR]

We define several sorts of mappings on a poset like monotone, strictly monotone, upper cone preserving and variants of these. Our aim is to study in which posets some of these mappings coincide. We define special mappings determined by two elements and investigate when these are strictly monotone or upper cone preserving. If the considered poset is a semilattice then its monotone mappings coincide with semilattice homomorphisms if and only if the poset is a chain. Similarly, we study posets which need not be semilattices but whose upper cones have a minimal element. We extend this investigation to posets that are direct products of chains or an ordinal sum of an antichain and a finite chain. We characterize equivalence relations induced by strongly monotone mappings and show that the quotient set of a poset by such an equivalence relation is a poset again. [ABSTRACT FROM AUTHOR]

Following a historical overview of the development of ordinal sums, a presentation of the most relevant results for ordinal sums of triangular norms and copulas is given (including gluing of copulas, orthogonal grid constructions and patchwork operators). The ordinal sums of copulas considered here are constructed not only by means of the comonotonic copula, but also by using the lower Fréchet-Hoeffding bound and the independence copula. We provide alternative proofs to some results on ordinal sums, elaborate properties common to all or just some of the ordinal sums discussed. Also included are a discussion of the relationship between ordinal sums of copulas and the Markov product and an overview of ordinal sums of multivariate copulas, illustrating aspects to be considered when extending concepts for ordinal sums of bivariate copulas to the multivariate case. [ABSTRACT FROM AUTHOR]

We study the properties of z -ordinal sum construction and show that it can always be expressed in the reduced basic form. This means that it is enough to assume only trivial semigroups in the branching set and we can always remove semigroups with duplicate carriers. We also investigate the cardinality of the minimal branching set corresponding to monotone (and non-monotone) functions defined on the unit interval constructed via z -ordinal sum construction. [ABSTRACT FROM AUTHOR]

Similar to the construction of ordinal sums of overlap functions, Baczyński et al. introduced two new kinds of ordinal sums of fuzzy implications without additional restrictions on summands in 2017. In this paper, based on the ordinal sum of fuzzy implications with the first method, we discuss its basic properties, such as iterative Boolean law, right ordering property and strong boundary condition. Meanwhile, we give characterizations of such ordinal sum of fuzzy implications that is a QL -implication constructed from tuples (O , G , N ⊤) or a D -implication derived from grouping function G , and show some conclusions about its relations with (G , N) - and R O -implications. Moreover, we study the distributivity of such ordinal sum of fuzzy implications over a class of overlap and grouping functions. More specifically, we give necessary and sufficient conditions under which this ordinal sum of fuzzy implications is distributive over overlap and grouping functions satisfying some conditions. [ABSTRACT FROM AUTHOR]

This paper introduces two fundamental types of ordinal sum constructions for partially ordered monoids that are determined by two specific partial orderings on the disjoint union of the partially ordered monoids. Both ordinal sums of partially ordered monoids are generalized with the help of operators on posets, which combine, in some sense, the properties of interior and closure operators on posets. The proposed approach provides a unified view on several known constructions of ordinal sums of t-norms and t-conorms on posets (lattices) and introduces generalized ordinal sums of uninorms on posets (lattices). [ABSTRACT FROM AUTHOR]

A prominent example of a perturbation of the bivariate product copula (which characterizes stochastic independence) is the parametric family of Eyraud-Farlie-Gumbel-Morgenstern copulas which allows small dependencies to be modeled. We introduce and discuss several perturbations, some of them perturbing the product copula, while others perturb general copulas. A particularly interesting case is the perturbation of the product based on two functions in one variable where we highlight several special phenomena, e.g., extremal perturbed copulas. The constructions of the perturbations in this paper include three different types of ordinal sums as well as flippings and the survival copula. Some particular relationships to the Markov product and several dependence parameters for the perturbed copulas considered here are also given.

This paper is a contribution to the topic of ordinal sums of semigroups in the sense of A. H. Clifford. The goal of this article is twofold. Firstly, we present sufficient and necessary conditions for obtaining uninorms as an ordinal sum of semigroups, of which the underlying sets are non-empty subintervals of the unit interval [0, 1]. Secondly, we show that each uninorm locally internal on A(e) can be decomposed into an ordinal sum of such semigroups. [ABSTRACT FROM AUTHOR]

Recently, Qiao gave the concrete form of the continuity of overlap and grouping functions on complete lattices by using meet- and join-preserving properties. By eliminating the property join-preserving (resp. meet-preserving), one gets right (resp. left) continuous functions, namely, C R - (resp. C L -) overlap and grouping functions. In this paper, we extend the notion of ordinal sums of overlap functions from the unit interval to complete lattices directly and indicate it does not necessarily lead to an overlap function. We find that the ordinal sums of finitely many overlap functions can create an overlap function on a frame that can be partitioned into a chain of subintervals. We also investigate ordinal sums of C R - and C L -overlap functions on complete lattices, where the endpoints of summand carriers constitute a chain. Moreover, we have an analogous discussion on grouping functions on complete lattices. [ABSTRACT FROM AUTHOR]

First, we present construction methods for interior operators on a meet semilattice. Second, under the assumption that the underlying meet semilattices constitute the range of an interior operator, we prove an ordinal sum theorem for countably many (finite or countably infinite) triangular norms on bounded meet semilattices, which unifies and generalizes two recent results: one by Dvořák and Holčapek and the other by some of the present authors. We also characterize triangular norms that are representable as the ordinal sum of countably many triangular norms on given bounded meet semilattices. [ABSTRACT FROM AUTHOR]

The ordinal sum of t-norms on a bounded lattice has been used to construct other t-norms. However, an ordinal sum of binary operations (not necessarily t-norms) defined on the fixed subintervals of a bounded lattice may not be a t-norm. Some necessary and sufficient conditions are presented in this article for ensuring that an ordinal sum on a bounded lattice of two binary operations is, in fact, a t-norm. In particular, the results presented here provide an answer to an open problem put forward by Ertuğrul and Yeşilyurt, ordinal sums of triangular norms on bounded lattices, Inf. Sci., vol. 517, (2020) 198–216. [ABSTRACT FROM AUTHOR]

Recently, the topic of construction methods for triangular norms (triangular conorms), uninorms, nullnorms, etc. has been studied widely. In this paper, we propose construction methods for triangular norms (t-norms) and triangular conorms (t-conorms) on bounded lattices by using interior and closure operators, respectively. Thus, we obtain some proposed methods given by Ertuğrul, Karacal, Mesiar [15] and Çaylı [8] as results. Also, we give some illustrative examples. Finally, we conclude that the introduced construction methods can not be generalized by induction to a modified ordinal sum for t-norms and t-conorms on bounded lattices. [ABSTRACT FROM AUTHOR]

We characterize all functions that can be obtained as a z-ordinal sum of semigroups related to continuous t-norms, t-conorms, representable uninorms and idempotent semigroups. We show that this class of functions is bigger than the class of n-uninorms with continuous underlying functions. Vice versa, we show that the characterization of n-uninorms with continuous underlying functions via z-ordinal sum can be extended to any commutative, associative and nondecreasing binary function on the unit interval, which has continuous Archimedean components and is continuous on the diagonal. [ABSTRACT FROM AUTHOR]

Overlap functions, as one kind of special binary aggregation functions, have been continuously concerned and studied by many scholars and widely applied in classification, decision making, image processing, and fuzzy community detection problems. Meanwhile, the migrativity as a vital, and particularly, interesting property for binary aggregation functions, has been studied in the literature since it was proposed. This article continues to consider this research topic and mainly focuses on the $\alpha$ -cross-migrativity for overlap functions. First, we introduce the concept of the $\alpha$ -cross-migrativity for overlap functions and show some vital properties of $\alpha$ -cross-migrative overlap functions. Second, we study the overlap functions that are $\alpha$ -cross-migrative with respect to the minimum overlap function $O_M$ and obtain an equivalent characterization of them by the ordinal sum of overlap functions. Third, we prove that an overlap function is $\alpha$ -cross-migrative with respect to the $p$ -product overlap function $O_p$ only if $p$ is equal to 1 and give an equivalent characterization of the overlap functions that satisfy the $\alpha$ -cross-migrativity with respect to the 1-product overlap function $O_1$ also by the ordinal sum of overlap functions. Finally, we extend the $\alpha$ -cross-migrativity of overlap functions to the 0-overlap functions status and get two equivalent characterizations of the 0-overlap functions that are $\alpha$ -cross-migrative with respect to $O_M$ and an equivalent characterization of the 0-overlap functions that satisfy the $\alpha$ -cross-migrativity with respect to $O_1$ , respectively. [ABSTRACT FROM AUTHOR]

The structure of idempotent n -uninorms is studied. We show that each idempotent 2-uninorm can be expressed as an ordinal sum of an idempotent uninorm (possibly also of a countable number of idempotent semigroups with operations min and max) and a 2-uninorm from Class 1 (possibly restricted to open or half-open unit square). Similar results are shown also for idempotent n -uninorms. Further, it is shown that idempotent n -uninorms are in one-to-one correspondence with special lower semi-lattices defined on the unit interval. The z -ordinal sum construction for partially ordered semigroups is also defined. [ABSTRACT FROM AUTHOR]

We discuss ordinal sums as one of powerful tools in the aggregation theory serving, depending on the context, both as a construction method and as a representation, respectively. Up to recalling of several classical results dealing with ordinal sums, in particular dealing, e.g., with continuous t-norms, copulas, or recent results, e.g., concerning uninorms with continuous underlying functions, we present also several new results, such as the uniqueness of the link between t-norms or t-conorms, and related Archimedean components, problems dealing with the cardinality of the considered index sets in ordinal sums, or infinite ordinal sums of aggregation functions covering by one type of ordinal sums both t-norms and t-conorms ordinal sums. [ABSTRACT FROM AUTHOR]

In 2015, a new class of fuzzy implications, called ordinal sum implications, was proposed by Su et al. They then discussed the distributivity of such ordinal sum implications with respect to t-norms and t-conorms. In this paper, we continue the study of distributivity of such ordinal sum implications over two newly-born classes of aggregation operators, namely overlap and grouping functions, respectively. The main results of this paper are characterizations of the overlap and/or grouping function solutions to the four usual distributive equations of ordinal sum fuzzy implications. And then sufficient and necessary conditions for ordinal sum implications distributing over overlap and grouping functions are given. [ABSTRACT FROM AUTHOR]

In this paper, we give construction methods for triangular norms (t-norms) and triangular conorms (t-conorms) on appropriate bounded lattices. Then, we compare our methods and well-known methods proposed in [2, 8, 19]. Finally, we give different construction methods for t-norms and t-conorms on an appropriate bounded lattice by using recursion. Also, we provide some examples to discuss introduced methods. [ABSTRACT FROM AUTHOR]

The commutative, associative and monotone (CAM) functions on a horizontal sum of bounded chains are studied. Depending on their range, these functions are divided into two main classes and properties of CAM functions from each of these classes are described. Several necessary and sufficient conditions under which a CAM function defined on a horizontal sum of bounded chains can be expressed as a non-trivial (z)-ordinal sum of semigroups are also introduced. Special classes of CAM functions are discussed and several examples are included. Various construction methods for special CAM functions defined on a horizontal sum of bounded chains, such as t-norms, t-conorms, uninorms and nullnorms, are also presented. [ABSTRACT FROM AUTHOR]

The ordinal sum construction provides a very effective way to generate a new triangular norm on the real unit interval from existing ones. One of the most prominent theorems concerning the ordinal sum of triangular norms on the real unit interval states that a triangular norm is continuous if and only if it is uniquely representable as an ordinal sum of continuous Archimedean triangular norms. However, the ordinal sum of triangular norms on subintervals of a bounded lattice is not always a triangular norm (even if only one summand is involved), if one just extends the ordinal sum construction to a bounded lattice in a naïve way. In the present paper, appropriately dealing with those elements that are incomparable with the endpoints of the given subintervals, we propose an alternative definition of ordinal sum of countably many (finite or countably infinite) triangular norms on subintervals of a complete lattice, where the endpoints of the subintervals constitute a chain. The completeness requirement for the lattice is not needed when considering finitely many triangular norms. The newly proposed ordinal sum is shown to be always a triangular norm. Several illustrative examples are given. [ABSTRACT FROM AUTHOR]

The present article proposes two construction ways to study the general forms of ordinal sums of fuzzy implications with the intent of unifying the ordinal sums existing in the literature. The first ordinal sum construction way, which we call “Implication Complementing,” is to study how to complement a specific fuzzy implication to the linear transformations of given fuzzy implications defined on respective disjoint subsquares whose principal diagonals are segments of the principal diagonal of the unit square, in order that the resulting ordinal sum on the unit square is a fuzzy implication. The second way, which we call “Implication Reconstructing,” is to study how to reconstruct an initial fuzzy implication through replacing its some values on given rectangular regions of the unit square with the linear transformations of respective given fuzzy implications such that the redefined function is a new fuzzy implication. In both ways, necessary and sufficient conditions for the final reconstructed functions to be fuzzy implications are given and several new constructions of ordinal sums of fuzzy implications are obtained, which would generalize the existing ordinal sums from several aspects. In particular, by adopting the idea behind the second way, the generalized ordinal sums of fuzzy implications are proposed, in which the regions where the linear transformations of given fuzzy implications are defined are neither necessarily subsquares nor necessarily along the principal or minor diagonal of the unit square. [ABSTRACT FROM AUTHOR]

Recently, the topic related to the construction of triangular norms and triangular conorms on bounded lattices using ordinal sums has been extensively studied. In this paper, we introduce a new ordinal sum construction of triangular norms and triangular conorms on an appropriate bounded lattice. Also, we give some illustrative examples for clarity. Then, we show that a new construction method can be generalized by induction to a modified ordinal sum for triangular norms and triangular conorms on an appropriate bounded lattice, respectively. And we provide some illustrative examples. [ABSTRACT FROM AUTHOR]

The n-uninorms with continuous underlying t-norms and t-conorms are studied. We show that each 2-uninorm with continuous underlying functions can be expressed as an ordinal sum of a uninorm with continuous underlying functions (possibly also of a countable number of semigroups related to representable uninorms, continuous Archimedean t-norms, continuous Archimedean t-conorms and internal uninorms) and a 2-uninorm with continuous underlying functions such that U 2 (0 , 1) = z 1 (possibly restricted to open or half-open unit square [ 0 , 1 [ 2 , ] 0 , 1 ] 2 ). Similar results are shown for n-uninorms with continuous underlying functions, where n ∈ N , n > 2. [ABSTRACT FROM AUTHOR]

In this paper, we study t-norms and t-conorms on bounded lattices. We propose new methods for generating these operators, applicable on any bounded lattice M by use of the presence of a t-norm on [0M, k] and a t-conorm on [k, 1M] for an element k ∊ M\{0M, 1M}. In addition, some corresponding examples are provided for well understanding the structure of new t-norms and t-conorms. [ABSTRACT FROM AUTHOR]

Triangular norms in the study of probabilistic metric spaces as a special kind of associative functions defined on the unit interval. These functions have found applications in many areas since then. In this study, we present new methods for constructing triangular norms and triangular conorms on an arbitrary bounded lattice under some constraints. Also, we give some illustrative examples for the clarity. Finally, we show that our construction methods can be generalized by induction to a modified ordinal sum for triangular norms and triangular conorms on an arbitrary bounded lattice, respectively.\ [ABSTRACT FROM AUTHOR]

We consider the décalage construction Dec and its right adjoint T . These functors are induced on the category of simplicial objects valued in any bicomplete category C by the ordinal sum. We identify T Dec X with the path object X Δ [ 1 ] for any simplicial object X. We then use this formula to produce an explicit retracting homotopy for the unit X → T Dec X of the adjunction (Dec , T) . When C is a category of objects of an algebraic nature, we then show that the unit is a weak equivalence of simplicial objects in C . [ABSTRACT FROM AUTHOR]

The concept of ordinal sums in the sense of Clifford have long been blamed for their limitations in constructing new t-norms including inability to cope with general bounded lattices. Motivated by this observation, and based on the lattice-based sum of lattices that has been recently introduced by El-Zekey et al., we propose a new sum-type construction of t-norms, called a lattice-based sum of t-norms , for building new t-norms on bounded lattices from given ones. The proposed sum is generalizing the well-known ordinal and horizontal sum constructions of t-norms by allowing for lattice ordered index sets. We demonstrate that, like the ordinal sum of t-norms, the lattice-based sum of t-norms can be generalized using as summands so-called t-subnorms, still leading to a t-norm. Subsequently, we apply the results for constructing several new families of t-norms and t-subnorms on bounded lattices. In the same spirit, by the duality, we will also introduce lattice-based sums of t-conorms and t-subconorms. [ABSTRACT FROM AUTHOR]

Copyright of Journal of Jilin University (Science Edition) / Jilin Daxue Xuebao (Lixue Ban) is the property of Zhongguo Xue shu qi Kan (Guang Pan Ban) Dian zi Za zhi She and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

The ordinal sum of triangular norms on the real unit interval [ 0 , 1 ] has been used to construct other triangular norms. But, in general, the standard approach to the ordinal sum construction of triangular norms and triangular conorms may not work on an arbitrary bounded lattice. In this study, we introduce a new ordinal sum construction of triangular norms and triangular conorms on an arbitrary bounded lattice. Also, we give some illustrative examples for the clarity. [ABSTRACT FROM AUTHOR]

Recently, Baczyński, Drygaś, Król and Mesiar have proposed two constructions of ordinal sums of fuzzy implications based on the construction of ordinal sum of overlap functions. In this paper, we study the class of ordinal sum implications constructed using the first method, and show that this new class of fuzzy implications is different from the known (S , N) -, R -, QL -, f - and g -implications. Furthermore, we explore this new class of ordinal sum implications with respect to distributivity. [ABSTRACT FROM AUTHOR]

In this paper, the orders induced by the residual implications obtained from uninorms are investigated. A necessary and sufficient condition is presented so that the ordinal sum of fuzzy implications satisfies the law of importation with a t-norm T. Some relationships between the orders induced by an ordinal sum implication and its summands are determined. The algebraic structures obtained from the orders induced by the residual implications and the ordinal sum implications are discussed. [ABSTRACT FROM AUTHOR]

Our starting point are several general classes of real functions defined on the unit square satisfying some basic properties such as a boundary condition or several types of monotonicity and continuity. Applying to these functions some parameterized transformations and other constructions such as the transpose and flipping (which describe different aspects of symmetry) and truncation, we ask for conditions yielding (again) a bivariate copula. Some of these transformations are involutive (on one or more classes of functions), others are not even injective, and occasionally they induce additional properties, yielding, e.g., a (quasi-)copula. For several typical scenarios we identify the (not necessarily convex) sets of parameters leading to a copula and conditions imposing a minimal set of parameters. [ABSTRACT FROM AUTHOR]

The non-commutative, idempotent, associative functions are studied. It is well known that each commutative, idempotent (internal), associative function can be represented by a partial (linear) order. In this work it is shown that each non-commutative, idempotent (internal), associative function can be represented by a (linear) pair-order. Moreover, each internal, associative function can be expressed as an ordinal sum of trivial semigroups and semigroups, where the corresponding semigroup operation is the projection to one of the coordinates. Vice versa, each linear pair-order induces a unique internal, associative function and a condition under which each (non-linear) pair-order defined on a chain induces a unique monotone, idempotent, associative function is also introduced. Several examples of non-commutative, idempotent, associative functions and related pair-orders are shown. [ABSTRACT FROM AUTHOR]

Although Fang provided a systematic characterization of the α -cross-migrativity property of t-conorms over fuzzy implications, there are some faults in the results obtained by Fang, such as insufficient conditions, redundant conditions, false proofs and faulty conclusions. Thus we rectify those conclusions to remedy those defects in this paper. For the convenience of readers, we also present a table to show the correspondences between those faulty results obtained by Fang and the corrected conclusions. [ABSTRACT FROM AUTHOR]

For a regular cardinal k, a formula of the modal μ-calculus is K-continuous in a variable x if, on every model, its interpretation as a unary function of x is monotone and preserves unions of K-directed sets. We define the fragment Cψ1 (x) of the modal μ-calculus and prove that all the formulas in this fragment are ttj.-continuous. For each formula ɸ(x) of the modal μ-calculus, we construct a formula ѱ(x) e Cψ1 (x) such that ɸ(x) is K-continuous, for some k, if and only if ɸ(x) is equivalent to ѱ(x). Consequently, we prove that (i) the problem whether a formula is K-continuous for some k is decidable, (ii) up to equivalence, there are only two fragments determined by continuity at some regular cardinal: the fragment Cψ0 (x) studied by Fontaine and the fragment Cψ1 (x). We apply our considerations to the problem of characterizing closure ordinals of formulas of the modal μ-calculus. An ordinal α is the closure ordinal of a formula ɸ(x) if its interpretation on every model converges to its least fixed-point in at most α steps and if there is a model where the convergence occurs exactly in α steps. We prove that ω1, the least uncountable ordinal, is such a closure ordinal. Moreover, we prove that closure ordinals are closed under ordinal sum. Thus, any formal expression built from 0,1, ω, ω1 by using the binary operator symbol + gives rise to a closure ordinal. [ABSTRACT FROM AUTHOR]

In this paper, the ordinal sum construction methods of implications on bounded lattices are studied. Necessary and sufficient conditions of an ordinal sum for obtaining an implication are presented. New ordinal sum construction methods on bounded lattices which generate implications are discussed. Some basic properties of ordinal sum implications are studied. [ABSTRACT FROM AUTHOR]

Copyright of Journal of Jilin University (Science Edition) / Jilin Daxue Xuebao (Lixue Ban) is the property of Zhongguo Xue shu qi Kan (Guang Pan Ban) Dian zi Za zhi She and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

In this study, we introduce new methods for constructing t-norms and t-conorms on a bounded lattice L based on a priori given t-norm acting on [a; 1] and t-conorm acting on [0, a] for an arbitrary element a ∊ L\{0,1}. We provide an illustrative example to show that our construction methods differ from the known approaches and investigate the relationship between them. Furthermore, these methods are generalized by iteration to an ordinal sum construction for t-norms and t-conorms on a bounded lattice. [ABSTRACT FROM AUTHOR]

Abstract Overlap functions, as a new special class of binary aggregation functions, have been investigated in many recent works for applications in image processing, classification problems and decision making. In addition, α -migrativity as a vital property of binary functions on unit interval has been discussed in the literature. In particular, recently, an interesting and natural research topic for α -migrativity is the investigation of the generalized forms of α -migrativity for one peculiar binary aggregation functions over any fixed special binary aggregation function (see, e.g., the α -migrativity of t-norms over any fixed t-norm, t-conorms over any fixed t-conorm, uninorms over any fixed uninorm, and uninorms and nullnorms, respectively, over any fixed t-norm or t-conorm.). Thus, in this paper, we continue to study this research topic for overlap functions. At first, we generalize the α -migrativity of any overlap function O from the usual formula O (α x , y) = O (x , α y) to the so-called (α , O ⁎ , O †) -migrativity O (O ⁎ (α , x) , y) = O (x , O † (α , y)) , where O ⁎ and O † are two fixed overlap functions. And then, we investigate the (α , O ⁎ , O †) -migrativity of an overlap function by taking O ⁎ and O † as the minimum overlap function and give an equivalent characterization of it by the ordinal sum of overlap functions. In addition, we propose the (α , O ⁎ , O †) -migrativity of an overlap function by taking O ⁎ and O † as the p -product overlap function and show an equivalent characterization of it by its additive generator pair. In particular, we obtain an equivalent characterization of the usual α -migrativity of an overlap function by its additive generator pair. Finally, we discuss the (α , O ⁎ , O †) -migrativity of an overlap function by taking O ⁎ and O † as the 1-product overlap function and p -product overlap function, respectively, and give two characterizations of it by its additive generator pair. [ABSTRACT FROM AUTHOR]