Formalizing multiple-valued logics as institutions | Publicación