Many-valued logic General logic mathematics