TY - GEN
T1 - Multi-valued quantum logic
AU - Katz, Michael
PY - 2006
Y1 - 2006
N2 - The multiple valued logic of inexactness and approximation we proposed in the past as framework for scientific thought in general is in this paper considered as logic for quantum theory in particular. In this logic truth-values are viewed as degrees of error and a deduction is considered valid if the error in the conclusion can be minimized whenever the error in the premise is brought under control. Applications of this logic to quantum mechanics encompass notions from earlier (non-classical) formal-logical approaches (modal, intuitionistic and multi-valued) and enable rigorous formulations of ideas relating to uncertainty, to states of quantum mechanical systems and to the familiar Hubert space presentation of quantum physics.
AB - The multiple valued logic of inexactness and approximation we proposed in the past as framework for scientific thought in general is in this paper considered as logic for quantum theory in particular. In this logic truth-values are viewed as degrees of error and a deduction is considered valid if the error in the conclusion can be minimized whenever the error in the premise is brought under control. Applications of this logic to quantum mechanics encompass notions from earlier (non-classical) formal-logical approaches (modal, intuitionistic and multi-valued) and enable rigorous formulations of ideas relating to uncertainty, to states of quantum mechanical systems and to the familiar Hubert space presentation of quantum physics.
UR - http://www.scopus.com/inward/record.url?scp=33751060732&partnerID=8YFLogxK
U2 - 10.1109/ISMVL.2006.29
DO - 10.1109/ISMVL.2006.29
M3 - Conference contribution
AN - SCOPUS:33751060732
SN - 0769525326
SN - 9780769525327
T3 - Proceedings of The International Symposium on Multiple-Valued Logic
SP - 32
BT - 36th International Symposium on Multiple-Valued Logic, 2006. ISMVL 2006
T2 - 36th International Symposium on Multiple-Valued Logic, 2006. ISMVL 2006
Y2 - 17 May 2006 through 20 May 2006
ER -