机构名称：
¥ 2.0
摘要：我们考虑一种基于量子形式主义的独特整体特征的语义。语言的任何公式都会产生一个量子电路，该电路以可逆的方式将与公式相关的密度算子转换为与原子子公式相关的密度算子。该过程违背了组合性原则，从整体到部分，并产生了一种新形式的量子逻辑的语义特征，这种逻辑被称为“Łukasiewicz 量子计算逻辑”。将基于量子比特语义的逻辑与基于量子比特语义的逻辑进行比较是很有趣的。考虑到经典逻辑和 Łukasiewicz 多值逻辑之间的关系，人们可以预期前者比后者的片段更强大。然而，事实并非如此。从直观的角度来看，这可以通过回想前者是一种非常弱的逻辑形式来解释。许多重要的逻辑论证，无论是在伯克霍夫和冯诺依曼的量子逻辑中还是在经典逻辑中都是有效的，但通常都被违反。
量子不确定性和整体论似乎使量子语义变得无关紧要
主要关键词
相关文件推荐
