Many-valued coalgebraic logic: from Boolean algebras to primal varieties

DOI10.4230/LIPICS.CALCO.2023.17MaRDI QIDQ6643062

Alexander Kurz, Wolfgang Poiger

Publication date: 26 November 2024

zbMATH Keywords

algebraic semanticsmany-valued logiccoalgebraic modal logicprimal algebraspresenting functors

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Many-valued coalgebraic logic over semi-primal varieties

This page was built for publication: Many-valued coalgebraic logic: from Boolean algebras to primal varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6643062)