The theory of quantum logic, which has developed during the course of the mathematical axiomatization of the quantum theory, is copious, with a history of 80 years. Main content of quantum logical includes two aspect: State studying own algebra structure and these quantum structure is upper.In first chapter we introduced this article some main contents and thequan-tum logic theory developing process.The second part of main work has first produced and this article correlation some preparation knowledge, Then has produced the spectrum measure basic concept Finally produced spectrum measure some basic nature .Among the third chapters, difference set is one kind of unbounded difference poset. The existence of the tensor products of two cancellative difference sets are investigated. It is proved that the tensor product of a Boolean algebra and a cancellative difference set always exists. |