Semilattices global valuations in the topos approach to quantum mechanics