A multivalued logic ATMS