{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:ORV3ISJ4JGX2NBZ356XQRGAIAV","short_pith_number":"pith:ORV3ISJ4","schema_version":"1.0","canonical_sha256":"746bb4493c49afa6873befaf089808055c821fc6f1258e55e174d850bea96106","source":{"kind":"arxiv","id":"2405.11073","version":2},"attestation_state":"computed","paper":{"title":"Equivalence and Conditional Independence in Atomic Sheaf Logic","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["math.CT","math.LO"],"primary_cat":"cs.LO","authors_text":"Alex Simpson","submitted_at":"2024-05-17T20:06:17Z","abstract_excerpt":"We propose a semantic foundation for logics for reasoning in settings that possess a distinction between equality of variables, a coarser equivalence of variables, and a notion of conditional independence between variables. We show that such relations can be modelled naturally in atomic sheaf toposes. Equivalence of variables is modelled by a relation of atomic equivalence that is possessed by every atomic sheaf. We identify additional structure on the category generating the atomic topos that allows the relation of conditional independence to be interpreted in the topos. We then study the log"},"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":"2405.11073","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2024-05-17T20:06:17Z","cross_cats_sorted":["math.CT","math.LO"],"title_canon_sha256":"ace22a2af9e920960cad2671f2c2f5ce34122fcb3ffaf89d4ff657aadf84facf","abstract_canon_sha256":"b38e4f5b94e8f81a3bee03371abd72fa342ad6f36a1d33c7ca94b204a95f950e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:00:15.550012Z","signature_b64":"dlLTdIzHY/BIED5bQ68EU++6heskdVUEAxuWT8BT0DNGvasa2fEwSh56tAqPvv8uLNWnbgAjTtclijBqxO1kCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"746bb4493c49afa6873befaf089808055c821fc6f1258e55e174d850bea96106","last_reissued_at":"2026-05-20T00:00:15.549310Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:00:15.549310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Equivalence and Conditional Independence in Atomic Sheaf Logic","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["math.CT","math.LO"],"primary_cat":"cs.LO","authors_text":"Alex Simpson","submitted_at":"2024-05-17T20:06:17Z","abstract_excerpt":"We propose a semantic foundation for logics for reasoning in settings that possess a distinction between equality of variables, a coarser equivalence of variables, and a notion of conditional independence between variables. We show that such relations can be modelled naturally in atomic sheaf toposes. Equivalence of variables is modelled by a relation of atomic equivalence that is possessed by every atomic sheaf. We identify additional structure on the category generating the atomic topos that allows the relation of conditional independence to be interpreted in the topos. We then study the log"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.11073","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2405.11073/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2405.11073","created_at":"2026-05-20T00:00:15.549446+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.11073v2","created_at":"2026-05-20T00:00:15.549446+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.11073","created_at":"2026-05-20T00:00:15.549446+00:00"},{"alias_kind":"pith_short_12","alias_value":"ORV3ISJ4JGX2","created_at":"2026-05-20T00:00:15.549446+00:00"},{"alias_kind":"pith_short_16","alias_value":"ORV3ISJ4JGX2NBZ3","created_at":"2026-05-20T00:00:15.549446+00:00"},{"alias_kind":"pith_short_8","alias_value":"ORV3ISJ4","created_at":"2026-05-20T00:00:15.549446+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/ORV3ISJ4JGX2NBZ356XQRGAIAV","json":"https://pith.science/pith/ORV3ISJ4JGX2NBZ356XQRGAIAV.json","graph_json":"https://pith.science/api/pith-number/ORV3ISJ4JGX2NBZ356XQRGAIAV/graph.json","events_json":"https://pith.science/api/pith-number/ORV3ISJ4JGX2NBZ356XQRGAIAV/events.json","paper":"https://pith.science/paper/ORV3ISJ4"},"agent_actions":{"view_html":"https://pith.science/pith/ORV3ISJ4JGX2NBZ356XQRGAIAV","download_json":"https://pith.science/pith/ORV3ISJ4JGX2NBZ356XQRGAIAV.json","view_paper":"https://pith.science/paper/ORV3ISJ4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.11073&json=true","fetch_graph":"https://pith.science/api/pith-number/ORV3ISJ4JGX2NBZ356XQRGAIAV/graph.json","fetch_events":"https://pith.science/api/pith-number/ORV3ISJ4JGX2NBZ356XQRGAIAV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ORV3ISJ4JGX2NBZ356XQRGAIAV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ORV3ISJ4JGX2NBZ356XQRGAIAV/action/storage_attestation","attest_author":"https://pith.science/pith/ORV3ISJ4JGX2NBZ356XQRGAIAV/action/author_attestation","sign_citation":"https://pith.science/pith/ORV3ISJ4JGX2NBZ356XQRGAIAV/action/citation_signature","submit_replication":"https://pith.science/pith/ORV3ISJ4JGX2NBZ356XQRGAIAV/action/replication_record"}},"created_at":"2026-05-20T00:00:15.549446+00:00","updated_at":"2026-05-20T00:00:15.549446+00:00"}