TY - RPRT TI - Many-valued coalgebraic logic over semi-primal varieties AU - Alexander Kurz AU - Wolfgang Poiger AU - Bruno Teheux PY - 2024 DO - 10.46298/lmcs-20(3:6)2024 UR - https://arxiv.org/abs/2308.14581 ID - 2308.14581 ER -