A boolean-valued approach to gleason's theorem