量子逻辑中一个形式化的状态ndash;性质对偶关系.pdfVIP

StudiesinLogic,Vol.10,No.2(2017):112–133 PII:1674-3202(2017)-02-0112-22 AFormalState-PropertyDualityinQuantumLogic* † ShengyangZhong Instituteof LogicandCognition,SunYat-senUniversity zhongshengyang@163.com zhongshy6@ Abstract. This paper presents a formalization of the state-property duality in quantum physics. On the side of properties, Piron shows that Piron lattices, originally called irreducible propositionalsystems,capturetheess