multivalued logic