{
  "annotation_id": "94770f4c-aa48-4eac-a9ad-094f14a1d508",
  "date_created": "2026-03-02T18:01:38.975000Z",
  "date_modified": "2026-03-02T18:01:38.975000Z",
  "file_hash": "afd52c53d2f1635a1345e0d9fb280e456117864f43d4e83edf420ef67df54001",
  "private": false,
  "record": {
    "abstract": "We reconsider the description for property transitions due to perfect\nmeasurements, viewing them as a special case of general transitions that are\ndue to an externally imposed change. We propose a corresponding syntax\ninvolving operational quantum logic and a fragment of non-commutative linear\nlogic.",
    "arxiv_id": "quant-ph/0008017",
    "authors": [
      "Bob Coecke",
      "Sonja Smets"
    ],
    "categories": [
      "quant-ph",
      "math.LO"
    ],
    "journal_ref": "International Journal of theoretical Physics 39 (3) 595-604, 2000",
    "title": "A logical description for perfect measurements",
    "url": "https://arxiv.org/abs/quant-ph/0008017"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "fba680b1-a005-44d7-b36a-da609b0c41a2",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}