43 citations · 305 across the 30 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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,…