dorsal/arxiv
View SchemaAn unsharp logic from quantum computation
| Authors | G. Cattaneo, M. L. Dalla Chiara, R. Giuntini, R. Leporini |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0201013 |
| URL | https://arxiv.org/abs/quant-ph/0201013 |
Abstract
Logical gates studied in quantum computation suggest a natural logical abstraction that gives rise to a new form of unsharp quantum logic. We study the logical connectives corresponding to the following gates: the Toffoli gate, the NOT and the squareroot of NOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call computational quantum logic CQL.
{
"annotation_id": "42af5e39-4779-4364-ad1d-f4549414a590",
"date_created": "2026-03-02T18:01:48.824000Z",
"date_modified": "2026-03-02T18:01:48.824000Z",
"file_hash": "356b60cfbd86591d2b0439a934ae2877d930ca883f00702f62a7e5b9851c56cb",
"private": false,
"record": {
"abstract": "Logical gates studied in quantum computation suggest a natural logical\nabstraction that gives rise to a new form of unsharp quantum logic. We study\nthe logical connectives corresponding to the following gates: the Toffoli gate,\nthe NOT and the squareroot of NOT (which admit of natural physical models).\nThis leads to a semantic characterization of a logic that we call computational\nquantum logic CQL.",
"arxiv_id": "quant-ph/0201013",
"authors": [
"G. Cattaneo",
"M. L. Dalla Chiara",
"R. Giuntini",
"R. Leporini"
],
"categories": [
"quant-ph"
],
"title": "An unsharp logic from quantum computation",
"url": "https://arxiv.org/abs/quant-ph/0201013"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "6e0dc00c-ae58-447c-8bc2-44385d3c54d9",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}