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…