Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-06T04:10:01.975Z Has data issue: false hasContentIssue false
  • English
  • Français

A categorical quantum logic

Published online by Cambridge University Press:  04 July 2006

SAMSON ABRAMSKY  and
ROSS DUNCAN
SAMSON ABRAMSKY
Affiliation:
Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, U.K.
ROSS DUNCAN
Affiliation:
Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, U.K.
Get access Rights & Permissions [Opens in a new window]

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.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 16 , Issue 3 , June 2006 , pp. 469 - 489
Copyright
2006 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)