An extension of the Łukasiewicz logic to the modal logic of quantum mechanics
Tóm tắt
An attempt is made to include the axioms of Mackey for probabilities of experiments in quantum mechanics into the calculusŁ
x0
of Łukasiewicz. The obtained calculusŁQ contains an additional modal signQ and four modal rules of inference. The propositionQx is read “x is confirmed”. The most specific rule of inference may be read: for comparable observations implication is equivalent to confirmation of material implication. The semantic truth ofŁQ is established by the interpretation with the help of physical objects obeying to the rules of quantum mechanics. The embedding of the usual quantum propositional logic inŁQ is accomplished.
Tài liệu tham khảo
G. W. Mackey,The Mathematical Foundations of Quantum Mechanics, New York, 1963.
J. Łukasiewicz andA. Tarski,Untersuchungen über den Aussagenkalkül,Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe III, Vol. 23 (1930), pp. 30–50.
M. J. Mączyński,A remark on Mackey's axiom system for quantum mechanics,Bulletin de l'Academie Polonaise des Sciences, Serie des sciences math., astr. et phys., Vol. 15 (1967), pp. 583–587.
P. D. Finch,On the structure of quantum logic,The Journal of Symbolic Logic, Vol. 34, No. 2 (1969), pp. 275–282.
A. Rose, J. B. Rosser,Fragments of many-valued statement calculi,Transaction of the American Mathematical Society, Vol. 87 (1957), pp. 1–53.
H. Dishkant,The first order predicate calculus, based on the logic of quantum mechanics,Reports on Mathematical Logic, Vol. 3 (1974), pp. 9–18.