We consider quantum spin chains and their translationally invariant pure
states. We prove Haag duality for quasilocal observables localized in
semi-infinite intervals when the von Neumann algebras generated by observables
localized in these intervals are not type I