Effects in quantum logic of observables.
Main Article Content
Аннотация
In the paper a modal and bimodal extension o f quantum logic o f observables QLO is proposed. The former allows to obtain the syntactic counterpart o f D.Mundici’s result on embedding o f C*-algebra into an MValgebra while the latter has as its algebraic counterpart quantum MV-algebra o f R.Giumtini. The soundness and completeness o f both extensions is proved in respect to the set-theoretical semantics developed early for QLO.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Васюков В. Effects in quantum logic of observables. // Логические исследования / Logical Investigations. 2003. Т. 10. C. 241-256.
Выпуск
Раздел
Статьи
Литература
Emch G.G. Algebraic Methods in Statistical Mechanics and Quantum Field Theory. N .-Y., 1972.
Giuntini R. Quantum MV Algebras // Studia Logica. Vol. 56. 1996. P.393-417.
Mangcmi P. Su certe algebra connesse con logiche a pi_ valore // Bollettino dell’Unione Matematica Italiana. Vol. 8. 1973. P.68-78.
Mundici D. Interpretation o f AF C*-Algebras in Lukasiewicz Sentential Calculus // Journal of Functional Analysis. Vol. 65. 1986. P.15-63.
Vasyukov V.L . Quantum Logic of Observables // V.A.Smirnov (ed.). Syntactic and Semantic Studies o f Non-Extensional Logics. Moscow, 1989. P.120-169 (in Russian).
Giuntini R. Quantum MV Algebras // Studia Logica. Vol. 56. 1996. P.393-417.
Mangcmi P. Su certe algebra connesse con logiche a pi_ valore // Bollettino dell’Unione Matematica Italiana. Vol. 8. 1973. P.68-78.
Mundici D. Interpretation o f AF C*-Algebras in Lukasiewicz Sentential Calculus // Journal of Functional Analysis. Vol. 65. 1986. P.15-63.
Vasyukov V.L . Quantum Logic of Observables // V.A.Smirnov (ed.). Syntactic and Semantic Studies o f Non-Extensional Logics. Moscow, 1989. P.120-169 (in Russian).