{
  "annotation_id": "0adb4175-3a81-4eac-b668-05eb99756834",
  "date_created": "2026-03-02T18:02:10.175000Z",
  "date_modified": "2026-03-02T18:02:10.175000Z",
  "file_hash": "4991894a2d04ffc2c5892bf8c598c6cdfaadd9ea0bc477fb6e36b6d26a7752de",
  "private": false,
  "record": {
    "abstract": "We consider the logical assertions of a hypothetical observer who is inside a\nquantum computer and performs a reversible quantum measurement, obtaining a\nsymmetric couple of new axioms, valid only inside the quantum computer. The\nresult is that, in this logical framework, symmetry and paraconsistency hold.",
    "arxiv_id": "quant-ph/0407057",
    "authors": [
      "Giulia Battilotti"
    ],
    "categories": [
      "quant-ph",
      "math-ph",
      "math.LO",
      "math.MP"
    ],
    "title": "Basic Logic and Quantum Computing: Logical Judgements by an Insider   Observer",
    "url": "https://arxiv.org/abs/quant-ph/0407057"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "2c5aa6e0-63d1-4448-9cad-b83ea930c7a0",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}