Implicational quantum logic

被引：0
作者：
Kenji Tokuo
机构：
[1] Oita College,National Institute of Technology
来源：
Axiomathes | 2022年 / 32卷
关键词：
And-then operator; Deduction theorem; Implication operator; Modus ponens; Orthomodular lattice; Quantum logic; Sasaki hook; Yes-no experiment;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A non-classical subsystem of orthomodular quantum logic is proposed. This system employs two basic operations: the Sasaki hook as implication and the and-then operation as conjunction. These operations successfully satisfy modus ponens and the deduction theorem. In other words, they form an adjunction in terms of category theory. Two types of semantics are presented for this logic: one algebraic and one physical. The algebraic semantics deals with orthomodular lattices, as in traditional quantum logic. The physical semantics is given as a procedure for deriving a final segment of a series of yes-no experiments.
引用
收藏
页码：473 / 483
页数：10
相关论文
共 20 条
[1]  
Birkhoff G(1936)The logic of quantum mechanics Ann Math 37 823-843
[2]  
von Neumann J(1969)On the structure of quantum logic J Symb Logic 34 275-282
[3]  
Finch P(1970)Quantum logic as an implication algebra Bull Aust Math Soc 2 101-106
[4]  
Finch P(1974)The conditional in quantum logic Synthese 29 63-80
[5]  
Hardegree G(1975)Implication connectives in orthomodular lattices Notre Dame J Formal Logic 16 305-328
[6]  
Herman L(2011)Quantum logic in dagger kernel categories Electron Notes Theor Comp Sci 270 79-103
[7]  
Marsden EL(2006)Algebras of measurements: the logical structure of quantum mechanics Int J Theor Phys 45 698-723
[8]  
Piziak R(2008)A presentation of quantum logic based on an and then connective J Logic Comput 18 59-76
[9]  
Heunen C(1980)Sequential method in quantum logic J Symb Logic 45 339-352
[10]  
Jacobs B(1991)Quantum logic revisited Found Phys 21 727-734
12