References of "Teheux, Bruno 50003186"
     in
Bookmark and Share    
Full Text
See detailClassifications of quasitrivial semigroups
Devillet, Jimmy UL; Marichal, Jean-Luc UL; Teheux, Bruno UL

E-print/Working paper (2018)

We investigate classifications of quasitrivial semigroups defined by certain equivalence relations. The subclass of quasitrivial semigroups that preserve a given total ordering is also investigated. In ... [more ▼]

We investigate classifications of quasitrivial semigroups defined by certain equivalence relations. The subclass of quasitrivial semigroups that preserve a given total ordering is also investigated. In the special case of finite semigroups, we address and solve several related enumeration problems. [less ▲]

Detailed reference viewed: 29 (2 UL)
Full Text
Peer Reviewed
See detailCategories of coalgebras for modal extensions of Łukasiewicz logic
Teheux, Bruno UL; Kurz, Alexander

Scientific Conference (2018, August 27)

The category of complete and completely distributive Boolean algebras with complete operators is dual to the category of frames. We lift this duality to the category of complete and completely ... [more ▼]

The category of complete and completely distributive Boolean algebras with complete operators is dual to the category of frames. We lift this duality to the category of complete and completely distributive MV-algebras with complete operators. [less ▲]

Detailed reference viewed: 14 (1 UL)
Full Text
See detailAn n-ary generalization of the concept of distance
Kiss, Gergely; Marichal, Jean-Luc UL; Teheux, Bruno UL

Scientific Conference (2018, July 03)

Detailed reference viewed: 34 (2 UL)
Full Text
Peer Reviewed
See detailOn associative, idempotent, symmetric, and nondecreasing operations
Devillet, Jimmy UL; Teheux, Bruno UL

Scientific Conference (2018, July 02)

see attached file

Detailed reference viewed: 14 (1 UL)
Full Text
See detailCharacterizations of nondecreasing semilattice operations on chains
Devillet, Jimmy UL; Teheux, Bruno UL

Scientific Conference (2018, June 01)

See attached file

Detailed reference viewed: 44 (3 UL)
Full Text
Peer Reviewed
See detailA generalization of the concept of distance based on the simplex inequality
Kiss, Gergely UL; Marichal, Jean-Luc UL; Teheux, Bruno UL

in Beitraege zur Algebra und Geometrie = Contributions to Algebra and Geometry (2018), 59(2), 247266

We introduce and discuss the concept of \emph{$n$-distance}, a generalization to $n$ elements of the classical notion of distance obtained by replacing the triangle inequality with the so-called simplex ... [more ▼]

We introduce and discuss the concept of \emph{$n$-distance}, a generalization to $n$ elements of the classical notion of distance obtained by replacing the triangle inequality with the so-called simplex inequality \[ d(x_1, \ldots, x_n)~\leq~K\, \sum_{i=1}^n d(x_1, \ldots, x_n)_i^z{\,}, \qquad x_1, \ldots, x_n, z \in X, \] where $K=1$. Here $d(x_1,\ldots,x_n)_i^z$ is obtained from the function $d(x_1,\ldots,x_n)$ by setting its $i$th variable to $z$. We provide several examples of $n$-distances, and for each of them we investigate the infimum of the set of real numbers $K\in\left]0,1\right]$ for which the inequality above holds. We also introduce a generalization of the concept of $n$-distance obtained by replacing in the simplex inequality the sum function with an arbitrary symmetric function. [less ▲]

Detailed reference viewed: 95 (26 UL)
Full Text
Peer Reviewed
See detailClones of pivotally decomposable operations
Couceiro, Miguel; Teheux, Bruno UL

Scientific Conference (2018, June)

We investigate the clones of operations that are pivotally decomposable.

Detailed reference viewed: 24 (1 UL)
Full Text
See detailAssociative, idempotent, symmetric, and order-preserving operations on chains
Devillet, Jimmy UL; Teheux, Bruno UL

E-print/Working paper (2018)

We characterize the associative, idempotent, symmetric, and order-preserving operations on (finite) chains in terms of properties of (the Hasse diagram of) their associated semilattice order. In ... [more ▼]

We characterize the associative, idempotent, symmetric, and order-preserving operations on (finite) chains in terms of properties of (the Hasse diagram of) their associated semilattice order. In particular, we prove that the number of associative, idempotent, symmetric, and order-preserving operations on an n-element chain is the nth Catalan number. [less ▲]

Detailed reference viewed: 15 (1 UL)
Full Text
Peer Reviewed
See detailPivotal decomposition schemes inducing clones of operations
Couceiro, Miguel; Teheux, Bruno UL

in Beitraege zur Algebra und Geometrie = Contributions to Algebra and Geometry (2018), 59(1), 25-40

We study pivotal decomposition schemes and investigate classes of pivotally decomposable operations. We provide sufficient conditions on pivotal operations that guarantee that the corresponding classes of ... [more ▼]

We study pivotal decomposition schemes and investigate classes of pivotally decomposable operations. We provide sufficient conditions on pivotal operations that guarantee that the corresponding classes of pivotally decomposable operations are clones, and show that under certain assumptions these conditions are also necessary. In the latter case, the pivotal operation together with the constant operations generate the corresponding clone. [less ▲]

Detailed reference viewed: 64 (21 UL)
Full Text
Peer Reviewed
See detailOn the generalized associativity equation
Marichal, Jean-Luc UL; Teheux, Bruno UL

in Aequationes Mathematicae (2017), 91(2), 265-277

The so-called generalized associativity functional equation G(J(x,y),z) = H(x,K(y,z)) has been investigated under various assumptions, for instance when the unknown functions G, H, J, and K are real ... [more ▼]

The so-called generalized associativity functional equation G(J(x,y),z) = H(x,K(y,z)) has been investigated under various assumptions, for instance when the unknown functions G, H, J, and K are real, continuous, and strictly monotonic in each variable. In this note we investigate the following related problem: given the functions J and K, find every function F that can be written in the form F(x,y,z) = G(J(x,y),z) = H(x,K(y,z)) for some functions G and H. We show how this problem can be solved when any of the inner functions J and K has the same range as one of its sections. [less ▲]

Detailed reference viewed: 134 (25 UL)
Full Text
Peer Reviewed
See detailModal Extensions of Łukasiewicz Logic for Modeling Coalitional Power
Teheux, Bruno UL; Kroupa, Tomas

in Journal of Logic & Computation (2017), 27(1), 129-154

Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide formal tools for modeling ... [more ▼]

Modal logics for reasoning about the power of coalitions capture the notion of effectivity functions associated with game forms. The main goal of coalition logics is to provide formal tools for modeling the dynamics of a game frame whose states may correspond to different game forms. The two classes of effectivity functions studied are the families of playable and truly playable effectivity functions, respectively. In this paper we generalize the concept of effectivity function beyond the yes/no truth scale. This enables us to describe the situations in which the coalitions assess their effectivity in degrees, based on functions over the outcomes taking values in a finite Łukasiewicz chain. Then we introduce two modal extensions of Łukasiewicz finite-valued logic together with many-valued neighborhood semantics in order to encode the properties of many-valued effectivity functions associated with game forms. As our main results we prove completeness theorems for the two newly introduced modal logics. [less ▲]

Detailed reference viewed: 100 (14 UL)
Full Text
Peer Reviewed
See detailGeneralized qualitative Sugeno integrals
Dubois, Didier; Prade, Henri; Rico, Agnès et al

in Information Sciences (2017), 415-416

Sugeno integrals are aggregation operations involving a criterion weighting scheme based on the use of set functions called capacities or fuzzy measures. In this paper, we define generalized versions of ... [more ▼]

Sugeno integrals are aggregation operations involving a criterion weighting scheme based on the use of set functions called capacities or fuzzy measures. In this paper, we define generalized versions of Sugeno integrals on totally ordered bounded chains, by extending the operation that combines the value of the capacity on each subset of criteria and the value of the utility function over elements of the subset. We show that the generalized concept of Sugeno integral splits into two functionals, one based on a general multiple-valued conjunction (we call integral) and one based on a general multiple-valued implication (we call cointegral). These fuzzy conjunction and implication connectives are related via a so-called semiduality property, involving an involutive negation. Sugeno integrals correspond to the case when the fuzzy conjunction is the minimum and the fuzzy implication is Kleene-Dienes implication, in which case integrals and cointegrals coincide. In this paper, we consider a very general class of fuzzy conjunction operations on a finite setting, that reduce to Boolean conjunctions on extreme values of the bounded chain, and are non-decreasing in each place, and the corresponding general class of implications (their semiduals). The merit of these new aggregation operators is to go beyond pure lattice polynomials, thus enhancing the expressive power of qualitative aggregation functions, especially as to the way an importance weight can affect a local rating of an object to be chosen. [less ▲]

Detailed reference viewed: 38 (8 UL)
Full Text
Peer Reviewed
See detailModal extensions of Ł_n-valued logics, coalgebraically
Kurz, Alexander; Teheux, Bruno UL; Bílková, Marta

Scientific Conference (2017)

Detailed reference viewed: 18 (2 UL)
Full Text
See detailStrongly barycentrically associative and preassociative functions
Teheux, Bruno UL; Marichal, Jean-Luc UL

Scientific Conference (2016, November 08)

Detailed reference viewed: 54 (7 UL)
Full Text
Peer Reviewed
See detailRelaxations of associativity and preassociativity for variadic functions
Couceiro, Miguel; Marichal, Jean-Luc UL; Teheux, Bruno UL

in Fuzzy Sets & Systems (2016), 299

In this paper we consider two properties of variadic functions, namely associativity and preassociativity, that are pertaining to several data and language processing tasks. We propose parameterized ... [more ▼]

In this paper we consider two properties of variadic functions, namely associativity and preassociativity, that are pertaining to several data and language processing tasks. We propose parameterized relaxations of these properties and provide their descriptions in terms of factorization results. We also give an example where these parameterized notions give rise to natural hierarchies of functions and indicate their potential use in measuring the degrees of associativeness and preassociativeness. We illustrate these results by several examples and constructions and discuss some open problems that lead to further directions of research. [less ▲]

Detailed reference viewed: 119 (20 UL)
Full Text
Peer Reviewed
See detailA characterisation of associative idempotent nondecreasing functions with neutral elements
Kiss, Gergely UL; Laczkovich, Miklós; Marichal, Jean-Luc UL et al

Scientific Conference (2016, June)

Detailed reference viewed: 71 (14 UL)
Full Text
Peer Reviewed
See detailStrongly barycentrically associative and preassociative functions
Marichal, Jean-Luc UL; Teheux, Bruno UL

in Journal of Mathematical Analysis and Applications (2016), 437(1), 181-193

We study the property of strong barycentric associativity, a stronger version of barycentric associativity for functions with indefinite arities. We introduce and discuss the more general property of ... [more ▼]

We study the property of strong barycentric associativity, a stronger version of barycentric associativity for functions with indefinite arities. We introduce and discuss the more general property of strong barycentric preassociativity, a generalization of strong barycentric associativity which does not involve any composition of functions. We also provide a generalization of Kolmogoroff-Nagumo's characterization of the quasi-arithmetic mean functions to strongly barycentrically preassociative functions. [less ▲]

Detailed reference viewed: 73 (14 UL)
Full Text
See detailAutomates, mots et décision
Teheux, Bruno UL

Presentation (2016, April 15)

Detailed reference viewed: 28 (0 UL)
Full Text
Peer Reviewed
See detailConservative median algebras and semilattices
Couceiro, Miguel; Marichal, Jean-Luc UL; Teheux, Bruno UL

in Order : A Journal on the Theory of Ordered Sets and its Applications (2016), 33(1), 121-132

We characterize conservative median algebras and semilattices by means of forbidden substructures and by providing their representation as chains. Moreover, using a dual equivalence between median ... [more ▼]

We characterize conservative median algebras and semilattices by means of forbidden substructures and by providing their representation as chains. Moreover, using a dual equivalence between median algebras and certain topological structures, we obtain descriptions of the median-preserving mappings between products of finitely many chains. [less ▲]

Detailed reference viewed: 122 (11 UL)