dorsal/arxiv
View SchemaA Categorical Quantum Logic
| Authors | Samson Abramsky, Ross Duncan |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0512114 |
| URL | https://arxiv.org/abs/quant-ph/0512114 |
| DOI | 10.1017/S0960129506005275 |
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.
{
"annotation_id": "10eeb62f-d83a-4212-9e74-b89668f334c1",
"date_created": "2026-03-02T18:02:24.179000Z",
"date_modified": "2026-03-02T18:02:24.179000Z",
"file_hash": "a2d7736beb15c828d25ccf5832b4e2b1a35a51ded8e2a6d0ca440d2e6370235e",
"private": false,
"record": {
"abstract": "We define a strongly normalising proof-net calculus corresponding to the\nlogic of strongly compact closed categories with biproducts. The calculus is a\nfull and faithful representation of the free strongly compact closed category\nwith biproducts on a given category with an involution. This syntax can be used\nto represent and reason about quantum processes.",
"arxiv_id": "quant-ph/0512114",
"authors": [
"Samson Abramsky",
"Ross Duncan"
],
"categories": [
"quant-ph",
"cs.LO"
],
"doi": "10.1017/S0960129506005275",
"title": "A Categorical Quantum Logic",
"url": "https://arxiv.org/abs/quant-ph/0512114"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "48cce106-5823-4f09-a907-8432d78e4852",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}