many-valued logic