Abstract characterization of a four-valued logic | Publicación