Provider: ingentaconnect
Database: ingentaconnect
Content: application/x-research-info-systems
TY - ABST
AU - Smets, Sonja
TI - From Intuitionistic Logic to Dynamic Operational Quantum Logic
JO - Poznan Studies in the Philosophy of the Sciences and the Humanities
PY - 2006-11-01T00:00:00///
VL - 91
IS - 1
SP - 257
EP - 275
N2 - Research within the operational approach to the logical foundations of physics has recently pointed out a new perspective in which quantum logic can be viewed as an intuitionistic logic with an additional operator to capture its essential, i.e., non-distributive, properties. In this paper we will offer an introduction to this approach. We will focus further on why quantum logic has an inherent dynamic nature which is captured in the meaning of "orthomodularity" and on how it motivates physically the introduction of dynamic implication operators, each for which a deduction theorem holds with respect to a dynamic conjunction. As such we can offer a positive answer to the many who pondered about whether quantum logic should really be called a logic. Doubts to answer the question positively were in first instance due to the former lack of an implication connective which satisfies the deduction theorem within quantum logic.
UR - http://www.ingentaconnect.com/content/rodopi/pozs/2006/00000091/00000001/art00016
ER -