We analyze the passing of a single particle through a double-slit apparatus. This is done using a sheaf model of intuitionistic logic. We develop an algebra of slits and study the non-classical behaviour of quantum slits. A specific interference formula is obtained by averaging. This formula extends the usual one.
- quantum mechanics