{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:AD2DVNC2TNW2SIFI6N2ZKRSBBA","short_pith_number":"pith:AD2DVNC2","schema_version":"1.0","canonical_sha256":"00f43ab45a9b6da920a8f37595464108193ceacd45ad11ca67ab9fee13fedda8","source":{"kind":"arxiv","id":"1004.3561","version":1},"attestation_state":"computed","paper":{"title":"Topos Quantum Logic and Mixed States","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.LO","math.MP"],"primary_cat":"quant-ph","authors_text":"Andreas Doering","submitted_at":"2010-04-20T20:24:01Z","abstract_excerpt":"The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distributive, multi-valued, contextual and intuitionistic. It incorporates superposition without being based on linear structures, has a built-in form of coarse-graining which automatically avoids interpretational problems usually associated with the conjunction of propositions about incompatible physical "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1004.3561","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2010-04-20T20:24:01Z","cross_cats_sorted":["math-ph","math.LO","math.MP"],"title_canon_sha256":"b42b7d6e3d48842e2c0b98e84a61bcdfe4be48cbc84cfa54bad2f5ac7699af12","abstract_canon_sha256":"9c66515f87763d104fab7dc1932351ec18ff017ef960f83f72ad2652c536c496"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:05:28.768366Z","signature_b64":"fo1Uc6rhTyFxF2nh7Lr852XBoN8LcLniexx+kNDxl3C97dMWsYaMKzSy0v7TzbUqEMzA6K57+gntN90o+3r+DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"00f43ab45a9b6da920a8f37595464108193ceacd45ad11ca67ab9fee13fedda8","last_reissued_at":"2026-05-18T03:05:28.767933Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:05:28.767933Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Topos Quantum Logic and Mixed States","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.LO","math.MP"],"primary_cat":"quant-ph","authors_text":"Andreas Doering","submitted_at":"2010-04-20T20:24:01Z","abstract_excerpt":"The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distributive, multi-valued, contextual and intuitionistic. It incorporates superposition without being based on linear structures, has a built-in form of coarse-graining which automatically avoids interpretational problems usually associated with the conjunction of propositions about incompatible physical "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.3561","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1004.3561","created_at":"2026-05-18T03:05:28.767997+00:00"},{"alias_kind":"arxiv_version","alias_value":"1004.3561v1","created_at":"2026-05-18T03:05:28.767997+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.3561","created_at":"2026-05-18T03:05:28.767997+00:00"},{"alias_kind":"pith_short_12","alias_value":"AD2DVNC2TNW2","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_16","alias_value":"AD2DVNC2TNW2SIFI","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_8","alias_value":"AD2DVNC2","created_at":"2026-05-18T12:26:05.355336+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/AD2DVNC2TNW2SIFI6N2ZKRSBBA","json":"https://pith.science/pith/AD2DVNC2TNW2SIFI6N2ZKRSBBA.json","graph_json":"https://pith.science/api/pith-number/AD2DVNC2TNW2SIFI6N2ZKRSBBA/graph.json","events_json":"https://pith.science/api/pith-number/AD2DVNC2TNW2SIFI6N2ZKRSBBA/events.json","paper":"https://pith.science/paper/AD2DVNC2"},"agent_actions":{"view_html":"https://pith.science/pith/AD2DVNC2TNW2SIFI6N2ZKRSBBA","download_json":"https://pith.science/pith/AD2DVNC2TNW2SIFI6N2ZKRSBBA.json","view_paper":"https://pith.science/paper/AD2DVNC2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1004.3561&json=true","fetch_graph":"https://pith.science/api/pith-number/AD2DVNC2TNW2SIFI6N2ZKRSBBA/graph.json","fetch_events":"https://pith.science/api/pith-number/AD2DVNC2TNW2SIFI6N2ZKRSBBA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AD2DVNC2TNW2SIFI6N2ZKRSBBA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AD2DVNC2TNW2SIFI6N2ZKRSBBA/action/storage_attestation","attest_author":"https://pith.science/pith/AD2DVNC2TNW2SIFI6N2ZKRSBBA/action/author_attestation","sign_citation":"https://pith.science/pith/AD2DVNC2TNW2SIFI6N2ZKRSBBA/action/citation_signature","submit_replication":"https://pith.science/pith/AD2DVNC2TNW2SIFI6N2ZKRSBBA/action/replication_record"}},"created_at":"2026-05-18T03:05:28.767997+00:00","updated_at":"2026-05-18T03:05:28.767997+00:00"}