{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FJ5YCD65NHARY5MPEWLQ2PJSEP","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":"7b5414dff7872ba40e4d32d66d8205b4891a3cd1c1210b1dc5605d02c621a147","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2017-01-03T11:16:54Z","title_canon_sha256":"5ec5c3aa7e2b5fe58d2054fc80c1b2e7a530d8b8702e88f02308e811ad245337"},"schema_version":"1.0","source":{"id":"1701.00661","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.00661","created_at":"2026-05-18T00:53:28Z"},{"alias_kind":"arxiv_version","alias_value":"1701.00661v1","created_at":"2026-05-18T00:53:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.00661","created_at":"2026-05-18T00:53:28Z"},{"alias_kind":"pith_short_12","alias_value":"FJ5YCD65NHAR","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FJ5YCD65NHARY5MP","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FJ5YCD65","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:32a781a89d0fb216edeb0a04250ca8005175a867d6c18c1be948532f63c10aa7","target":"graph","created_at":"2026-05-18T00:53:28Z","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":"In quantum logic there is well-known arbitrariness in choosing a binary operation for conditional. Currently, we have at least three candidates, called the Sasaki conditional, the contrapositive Sasaki conditional, and the relevance conditional.  A fundamental problem is to show how the form of the conditional follows from an analysis of operational concepts in quantum theory.  Here, we attempt such an analysis through quantum set theory (QST). In this paper, we develop quantum set theory based on quantum logics with those three conditionals, each of which defines different quantum logical tru","authors_text":"Masanao Ozawa","cross_cats":["math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2017-01-03T11:16:54Z","title":"Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.00661","kind":"arxiv","version":1},"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:f2cdcca6da47cfa5614c90f01a4110ebd4e8c27e11b80c94dfc16450a6ba6c3a","target":"record","created_at":"2026-05-18T00:53:28Z","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":"7b5414dff7872ba40e4d32d66d8205b4891a3cd1c1210b1dc5605d02c621a147","cross_cats_sorted":["math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2017-01-03T11:16:54Z","title_canon_sha256":"5ec5c3aa7e2b5fe58d2054fc80c1b2e7a530d8b8702e88f02308e811ad245337"},"schema_version":"1.0","source":{"id":"1701.00661","kind":"arxiv","version":1}},"canonical_sha256":"2a7b810fdd69c11c758f25970d3d3223e70326e3ef61c9050986dcc4e99cd1c6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a7b810fdd69c11c758f25970d3d3223e70326e3ef61c9050986dcc4e99cd1c6","first_computed_at":"2026-05-18T00:53:28.612281Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:28.612281Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tQVyQP5dLCaOQfaJzmApYgmwJXph8KGHeIqwH8aO5LapMqhK3gruSJZ1dC/mdQ93JM7yDFnPM7nmiqm6nRtCCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:28.612891Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.00661","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f2cdcca6da47cfa5614c90f01a4110ebd4e8c27e11b80c94dfc16450a6ba6c3a","sha256:32a781a89d0fb216edeb0a04250ca8005175a867d6c18c1be948532f63c10aa7"],"state_sha256":"7b79205fff52a832b6e61b2814b9c8ab9a274f14c92a5a4302589e0fff7c880c"}