A multivalued logic ATMS | Publicación