Spectral sheaves, clopen subobjects and quantum logic