Heyting Algebras and Entanglement

In this exercise, we will discuss quantum entanglement in an intuitionistic context and its evolution. This requires a definition of the tensor product, as well as the introduction of a Hamiltonian.