{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:QGLST23B2ZMXBUPQBFWGJLWOEG","short_pith_number":"pith:QGLST23B","schema_version":"1.0","canonical_sha256":"819729eb61d65970d1f0096c64aece218882acae1cd6d453215bc6727a8489ae","source":{"kind":"arxiv","id":"1201.6266","version":2},"attestation_state":"computed","paper":{"title":"Physical Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO","physics.hist-ph"],"primary_cat":"quant-ph","authors_text":"Fay Dowker, Kate Clements, Petros Wallden","submitted_at":"2012-01-30T16:09:38Z","abstract_excerpt":"In R.D. Sorkin's framework for logic in physics a clear separation is made between the collection of unasserted propositions about the physical world and the affirmation or denial of these propositions by the physical world. The unasserted propositions form a Boolean algebra because they correspond to subsets of an underlying set of spacetime histories. Physical rules of inference, apply not to the propositions in themselves but to the affirmation and denial of these propositions by the actual world. This physical logic may or may not respect the propositions' underlying Boolean structure. We "},"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":"1201.6266","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-01-30T16:09:38Z","cross_cats_sorted":["math.LO","physics.hist-ph"],"title_canon_sha256":"a0cf1a250ecf81e61801116ced61c54600f01115d47ef430647d96891710f9b4","abstract_canon_sha256":"2f663b1a8cca3cc58976e41cb4641a13d4094e55105e435bf6726d60f3ae5ca3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:19.725438Z","signature_b64":"4fi53cKXCIUAHPbVH3V+liFT+5EwIKK4yODma7v3Wp2vUInqPh7VdhZ3mDPlsdCCPQEcU8Vk8Inz6yStFlZjBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"819729eb61d65970d1f0096c64aece218882acae1cd6d453215bc6727a8489ae","last_reissued_at":"2026-05-18T00:23:19.724688Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:19.724688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Physical Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.LO","physics.hist-ph"],"primary_cat":"quant-ph","authors_text":"Fay Dowker, Kate Clements, Petros Wallden","submitted_at":"2012-01-30T16:09:38Z","abstract_excerpt":"In R.D. Sorkin's framework for logic in physics a clear separation is made between the collection of unasserted propositions about the physical world and the affirmation or denial of these propositions by the physical world. The unasserted propositions form a Boolean algebra because they correspond to subsets of an underlying set of spacetime histories. Physical rules of inference, apply not to the propositions in themselves but to the affirmation and denial of these propositions by the actual world. This physical logic may or may not respect the propositions' underlying Boolean structure. We "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.6266","kind":"arxiv","version":2},"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":"1201.6266","created_at":"2026-05-18T00:23:19.724801+00:00"},{"alias_kind":"arxiv_version","alias_value":"1201.6266v2","created_at":"2026-05-18T00:23:19.724801+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.6266","created_at":"2026-05-18T00:23:19.724801+00:00"},{"alias_kind":"pith_short_12","alias_value":"QGLST23B2ZMX","created_at":"2026-05-18T12:27:18.751474+00:00"},{"alias_kind":"pith_short_16","alias_value":"QGLST23B2ZMXBUPQ","created_at":"2026-05-18T12:27:18.751474+00:00"},{"alias_kind":"pith_short_8","alias_value":"QGLST23B","created_at":"2026-05-18T12:27:18.751474+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/QGLST23B2ZMXBUPQBFWGJLWOEG","json":"https://pith.science/pith/QGLST23B2ZMXBUPQBFWGJLWOEG.json","graph_json":"https://pith.science/api/pith-number/QGLST23B2ZMXBUPQBFWGJLWOEG/graph.json","events_json":"https://pith.science/api/pith-number/QGLST23B2ZMXBUPQBFWGJLWOEG/events.json","paper":"https://pith.science/paper/QGLST23B"},"agent_actions":{"view_html":"https://pith.science/pith/QGLST23B2ZMXBUPQBFWGJLWOEG","download_json":"https://pith.science/pith/QGLST23B2ZMXBUPQBFWGJLWOEG.json","view_paper":"https://pith.science/paper/QGLST23B","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1201.6266&json=true","fetch_graph":"https://pith.science/api/pith-number/QGLST23B2ZMXBUPQBFWGJLWOEG/graph.json","fetch_events":"https://pith.science/api/pith-number/QGLST23B2ZMXBUPQBFWGJLWOEG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QGLST23B2ZMXBUPQBFWGJLWOEG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QGLST23B2ZMXBUPQBFWGJLWOEG/action/storage_attestation","attest_author":"https://pith.science/pith/QGLST23B2ZMXBUPQBFWGJLWOEG/action/author_attestation","sign_citation":"https://pith.science/pith/QGLST23B2ZMXBUPQBFWGJLWOEG/action/citation_signature","submit_replication":"https://pith.science/pith/QGLST23B2ZMXBUPQBFWGJLWOEG/action/replication_record"}},"created_at":"2026-05-18T00:23:19.724801+00:00","updated_at":"2026-05-18T00:23:19.724801+00:00"}