{
  "annotation_id": "37413d59-7c7b-49e8-ab5f-cffacd7dbf7c",
  "date_created": "2026-03-02T18:02:48.057000Z",
  "date_modified": "2026-03-02T18:02:48.057000Z",
  "file_hash": "fba98034c7909c87f2ba0933048be871c8c413723dd248cb35a8033a36743ce8",
  "private": false,
  "record": {
    "abstract": "It is shown that propositional calculuses of both quantum and classical\nlogics are non-categorical. We find that quantum logic is in addition to an\northomodular lattice also modeled by a weakly orthomodular lattice and that\nclassical logic is in addition to a Boolean algebra also modeled by a weakly\ndistributive lattice. Both new models turn out to be non-orthomodular. We prove\nthe soundness and completeness of the calculuses for the models. We also prove\nthat all the operations in an orthomodular lattice are five-fold defined. In\nthe end we discuss possible repercussions of our results to quantum\ncomputations and quantum computers.",
    "arxiv_id": "quant-ph/9906101",
    "authors": [
      "Mladen Pavicic",
      "Norman D. Megill"
    ],
    "categories": [
      "quant-ph",
      "math.LO",
      "math.QA"
    ],
    "journal_ref": "Helv.Phys.Acta 72 (1999) 189-210",
    "title": "Non-Orthomodular Models for Both Quantum Logic and Standard Classical   Logic: Repercussions for Quantum Computers",
    "url": "https://arxiv.org/abs/quant-ph/9906101"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "e4bf4f07-d4c0-4484-9636-80b45d07deb1",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}