{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XC6QVTDCR3ZXPDB3UCLHFYXY6F","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"871cb60671eb25a486052a6f4edb0284534feed11b79dbe4fc3dcf1c1fd6dc27","cross_cats_sorted":["math-ph","math.LO","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-09-03T12:10:07Z","title_canon_sha256":"acbaf9e464714757b639d56567a3e405b6dbe8d7287049551439d4e4a8633a56"},"schema_version":"1.0","source":{"id":"1609.00822","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.00822","created_at":"2026-05-18T01:04:32Z"},{"alias_kind":"arxiv_version","alias_value":"1609.00822v2","created_at":"2026-05-18T01:04:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.00822","created_at":"2026-05-18T01:04:32Z"},{"alias_kind":"pith_short_12","alias_value":"XC6QVTDCR3ZX","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XC6QVTDCR3ZXPDB3","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XC6QVTDC","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:82d7d11ae1c14a7284175453c4934753562f67c9d6e6ebfb6b46839221183880","target":"graph","created_at":"2026-05-18T01:04:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra) underlying Hilbert (quantum) space. We give an equivalent proof for the classical logic which turns out to have disjoint distributive and non-distributive ortholattices as its models. In particular, we prove that both classical and quantum logics are sound and complete with respect to each of these lattices. We also show that there is one common non-orthomodular lattice that is a model of both quantum and classical logics. In technical t","authors_text":"Mladen Pavicic","cross_cats":["math-ph","math.LO","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-09-03T12:10:07Z","title":"Classical and Quantum Logics with Multiple and a Common Lattice Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.00822","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:31529284923a8452f4ca7be646c699c0a75675c301def7805f8a93aa94946f29","target":"record","created_at":"2026-05-18T01:04:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"871cb60671eb25a486052a6f4edb0284534feed11b79dbe4fc3dcf1c1fd6dc27","cross_cats_sorted":["math-ph","math.LO","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2016-09-03T12:10:07Z","title_canon_sha256":"acbaf9e464714757b639d56567a3e405b6dbe8d7287049551439d4e4a8633a56"},"schema_version":"1.0","source":{"id":"1609.00822","kind":"arxiv","version":2}},"canonical_sha256":"b8bd0acc628ef3778c3ba09672e2f8f17b0319de823de1e48dc6d110065d7f6c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b8bd0acc628ef3778c3ba09672e2f8f17b0319de823de1e48dc6d110065d7f6c","first_computed_at":"2026-05-18T01:04:32.433836Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:32.433836Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2lRNG5M30Is9WTqsB2ZA7QYojpeuofQnpnuezu7RwrcLa4qFTL1h2pAXliPW5YJRgrM61oe0QHX+H/GDJuYFBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:32.434457Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.00822","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:31529284923a8452f4ca7be646c699c0a75675c301def7805f8a93aa94946f29","sha256:82d7d11ae1c14a7284175453c4934753562f67c9d6e6ebfb6b46839221183880"],"state_sha256":"1f50b44ac6f0ab620e4d527143a0f9b06abc884143a9d27cc77f822a8a6e462f"}