Showing 1–7 of 7 results for author: Teheux, B

Many-valued coalgebraic logic over semi-primal varieties

Authors: Alexander Kurz, Wolfgang Poiger, Bruno Teheux

Abstract: We study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra. We show that this can be extended to a technique to lift classical coalgebraic logics to many-valued ones, and that (one-step) completeness and expressivity… ▽ More We study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra. We show that this can be extended to a technique to lift classical coalgebraic logics to many-valued ones, and that (one-step) completeness and expressivity are preserved under this lifting. For specific classes of endofunctors, we also describe how to obtain an axiomatization of the lifted many-valued logic directly from an axiomatization of the original classical one. In particular, we apply all of these techniques to classical modal logic. △ Less

Submitted 16 July, 2024; v1 submitted 28 August, 2023; originally announced August 2023.

Journal ref: Logical Methods in Computer Science, Volume 20, Issue 3 (July 17, 2024) lmcs:12384

Classifications of quasitrivial semigroups

Authors: Jimmy Devillet, Jean-Luc Marichal, Bruno Teheux

Abstract: 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. 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

Submitted 27 November, 2018; originally announced November 2018.

MSC Class: Primary 05A15; 20M14; 20M99; Secondary 39B52

Journal ref: Semigroup Forum 100 (3) (2020) 743-764

Relaxations of associativity and preassociativity for variadic functions

Authors: Miguel Couceiro, Jean-Luc Marichal, Bruno Teheux

Abstract: 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… ▽ 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

Submitted 13 August, 2015; originally announced August 2015.

MSC Class: 20M05; 20M32; 39B72; 68R99

Journal ref: Fuzzy Sets and Systems 299 (2016) 89-97

Modal Extensions of Łukasiewicz Logic for Modeling Coalitional Power

Authors: Tomáš Kroupa, Bruno Teheux

Abstract: 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 functi… ▽ 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

Submitted 8 December, 2015; v1 submitted 24 November, 2014; originally announced November 2014.

Comments: Accepted to Journal of Logic and Computation

MSC Class: 03B50; 03B45 (Primary) 91A40 (Secondary)

Journal ref: Journal of Logic and Computation 27(1):129-154, 2017

Associative string functions

Authors: Erkko Lehtonen, Jean-Luc Marichal, Bruno Teheux

Abstract: We introduce the concept of associativity for string functions, where a string function is a unary operation on the set of strings over a given alphabet. We discuss this new property and describe certain classes of associative string functions. We also characterize the recently introduced preassociative functions as compositions of associative string functions with injective unary maps. Finally, w… ▽ More We introduce the concept of associativity for string functions, where a string function is a unary operation on the set of strings over a given alphabet. We discuss this new property and describe certain classes of associative string functions. We also characterize the recently introduced preassociative functions as compositions of associative string functions with injective unary maps. Finally, we provide descriptions of the classes of associative and preassociative functions which depend only on the length of the input. △ Less

Submitted 19 December, 2014; v1 submitted 28 March, 2014; originally announced March 2014.

MSC Class: 20M05; 20M32; 39B72; 68R99

Journal ref: Asian-European Journal of Mathematics 7 (4) (2014) 1450059 (18 pages)

Propositional dynamic logic for searching games with errors

Authors: Bruno Teheux

Abstract: We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the (n+1)-valued Kripke models and a corresponding language based on a modal extension of Łukasiewicz many-valued logic. We illustrate the definitions by providing a framework for an analysis of the Rényi - Ulam searching game with errors. Our main result is the axiomatization o… ▽ More We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the (n+1)-valued Kripke models and a corresponding language based on a modal extension of Łukasiewicz many-valued logic. We illustrate the definitions by providing a framework for an analysis of the Rényi - Ulam searching game with errors. Our main result is the axiomatization of the theory of the (n+1)-valued Kripke models. This result is obtained through filtration of the canonical model of the smallest (n+1)-valued propositional dynamic logic. △ Less

Submitted 28 January, 2014; originally announced January 2014.

MSC Class: 03B45; 03B70; 03B50

Pivotal decompositions of functions

Authors: Jean-Luc Marichal, Bruno Teheux

Abstract: We extend the well-known Shannon decomposition of Boolean functions to more general classes of functions. Such decompositions, which we call pivotal decompositions, express the fact that every unary section of a function only depends upon its values at two given elements. Pivotal decompositions appear to hold for various function classes, such as the class of lattice polynomial functions or the cl… ▽ More We extend the well-known Shannon decomposition of Boolean functions to more general classes of functions. Such decompositions, which we call pivotal decompositions, express the fact that every unary section of a function only depends upon its values at two given elements. Pivotal decompositions appear to hold for various function classes, such as the class of lattice polynomial functions or the class of multilinear polynomial functions. We also define function classes characterized by pivotal decompositions and function classes characterized by their unary members and investigate links between these two concepts. △ Less

Submitted 7 June, 2014; v1 submitted 13 December, 2012; originally announced December 2012.

MSC Class: 94C10

Journal ref: Discrete Applied Mathematics 174 (2014) 102-112