An Axiomatization of Quantum Computational Logic

Vladimir Vasyukov

Аннотация


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
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.