University of Geneva, Export

@misc{CoeckeEtAl01QuantumLogic, abstract = {The term quantum logic has di\#erent connotations for di\#erent people, having been considered as everything from a metaphysical attack on classical reasoning to an exercise in abstract algebra. Our aim here is to give a uniform presentation of what we call operational quantum logic, highlighting both its concrete physical origins and its purely mathematical structure. To orient readers new to this subject, we shall recount some of the historical development of quantum logic, attempting to show how the physical and mathematical sides of the subject have influenced and enriched one another. 1 This paper is a slightly modified version of the introductory chapter to the volume B. Coecke,}, author = {Coecke, Bob and Moore, David and Ernest-Ansermet, Quai and Geneva, Ch- and Wilce, Alexander}, citeulike-article-id = {3460092}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.8802}, keywords = {enriched\_category\_theory, quantum\_logic}, posted-at = {2008-10-29 13:45:19}, priority = {2}, title = {University of Geneva,}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.8802} }

TY - ELEC ID - CoeckeEtAl01QuantumLogic L3 - citeulike-article-id:3460092 N2 - The term quantum logic has di#erent connotations for di#erent people, having been considered as everything from a metaphysical attack on classical reasoning to an exercise in abstract algebra. Our aim here is to give a uniform presentation of what we call operational quantum logic, highlighting both its concrete physical origins and its purely mathematical structure. To orient readers new to this subject, we shall recount some of the historical development of quantum logic, attempting to show how the physical and mathematical sides of the subject have influenced and enriched one another. 1 This paper is a slightly modified version of the introductory chapter to the volume B. Coecke, TI - University of Geneva, KW - enriched_category_theory KW - quantum_logic AU - Coecke, Bob AU - Moore, David AU - Ernest-Ansermet, Quai AU - Geneva, Ch- AU - Wilce, Alexander UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.8802 ER -