A Categorical Quantum Logic Export

@article{Duncan2006:CQL, abstract = {We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution. This syntax can be used to represent and reason about quantum processes.}, archivePrefix = {arXiv}, author = {Abramsky, Samson and Duncan, Ross}, citeulike-article-id = {1227394}, citeulike-linkout-0 = {http://arxiv.org/abs/quant-ph/0512114}, citeulike-linkout-1 = {http://arxiv.org/pdf/quant-ph/0512114}, citeulike-linkout-2 = {http://adsabs.harvard.edu/cgi-bin/nph-bib_query?bibcode=2005quant.ph.12114A}, day = {15}, eprint = {quant-ph/0512114}, journal = {ArXiv Quantum Physics e-prints}, keywords = {category-theory, logic, monoidal, semantics}, month = {Dec}, posted-at = {2009-08-10 15:49:47}, priority = {2}, title = {A Categorical Quantum Logic}, url = {http://arxiv.org/abs/quant-ph/0512114}, year = {2005} }

TY - JOUR ID - Duncan2006:CQL L3 - citeulike-article-id:1227394 N2 - We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution. This syntax can be used to represent and reason about quantum processes. JF - ArXiv Quantum Physics e-prints TI - A Categorical Quantum Logic KW - category-theory KW - logic KW - monoidal KW - semantics AU - Abramsky, Samson AU - Duncan, Ross PY - 2005/Dec/15/ UR - http://arxiv.org/abs/quant-ph/0512114 ER -