We investigate an unsuspected connection between non-harmonious logical connectives, such as Prior's tonk, and quantum computing. We argue that non-harmonious connectives model the information erasure, the non-reversibility, and the non-determinism that occur, among other places, in quantum measurement. We introduce a propositional logic with a non-harmonious connective sup and show that its proof language forms the core of a quantum programming language.

翻译：我们调查了非和谐逻辑连接(如Prior's Tonnk)和量子计算(Qume ) 之间一个未预料到的联系。 我们论证了在量子测量中出现的信息删除、不可逆性和非决定性等非和谐连接模式。 我们引入了非和谐连接的假设逻辑,并表明其证据语言构成了量子编程语言的核心。