The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics | Publicación