An Axiomatization of Quantum Computational Logic
Аннотация
An Axiomatization of Quantum Computational Logic
Полный текст:
PDFЛитература
Cattaneo G., Dalla Chiara M.L., Giuntini R. An Unsharp Quantum Logic from Quantum Computation // P.Weingartner (ed.), Alternative Logics. Do Sciences Need Them?, Springer Verlag, Berlin-Heidelberg-New York, 2003, pp.323–338
Cattaneo G., Dalla Chiara M.L., Giuntini R. and Leporini R. An unsharp logic from quantum computation // International Journal of Theoretical Physics, 2004, Volume 43, Issue 7-8, pp. 1803–1817
Dalla Chiara M.L., Giuntini R., Greechie R. Reasoning in Quantum Theory. Sharp and Unsharp Quantum Logic. v. 3, No 1-2, 2004, pp. 240–266
Goldblatt, R. Semantic Analysis of Orthologic // Journal of Philosophical Logic, v. 3, No 1-2, 1974, pp. 19–35
Ссылки
- На текущий момент ссылки отсутствуют.
(c) 2016 Vladimir Vasyukov
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.