activity
20062023
most citedCompleteness results for many-valued \Lukasiewicz modal systems and relational semantics

26 citations · 87 across the 20 of their papers we have counts for

collaborators

22 papers

cs.LO2023

Many-valued coalgebraic logic over semi-primal varieties

Alexander Kurz, Wolfgang Poiger, Bruno Teheux

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 e…

math.LO2023

New perspectives on semi-primal varieties

Alexander Kurz, Wolfgang Poiger, Bruno Teheux

We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and,…

math.CO2021

The Minor Order of Homomorphisms via Natural Dualities

Wolfgang Poiger, Bruno Teheux

We study the minor relation for algebra homomorphims in finitely generated quasivarieties that admit a logarithmic natural duality. We characterize the minor homomorphism posets of…

math.RA2018★ 1 cited

Classifications of quasitrivial semigroups

Jimmy Devillet, Jean-Luc Marichal, Bruno Teheux

We investigate classifications of quasitrivial semigroups defined by certain equivalence relations. The subclass of quasitrivial semigroups that preserve a given total ordering is…

math.RA2018

Associative, idempotent, symmetric, and order-preserving operations on chains

Jimmy Devillet, Bruno Teheux

We characterize the associative, idempotent, symmetric, and order-preserving operations on (finite) chains in terms of properties of (the Hasse diagram of) their associated semilat…

math.RA2017

Pivotal decomposition schemes inducing clones of operations

Miguel Couceiro, Bruno Teheux

We study pivotal decomposition schemes and investigate classes of pivotally decomposable operations. We provide sufficient conditions on pivotal operations that guarantee that the…