Hostname: page-component-74656f9884-8r8nv Total loading time: 0 Render date: 2026-11-08T12:13:12.858Z 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.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

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