{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:TWMQULRH2FNZUULM45YUXCIXZA","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":"ad8d02eb82a239735e163f13265334a545628e734cccbf01807f99e73ed0d0e0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-03-27T11:08:09Z","title_canon_sha256":"40d38905ea3bd3e7d42de7eeae2696e5a4a431127fdc83bee34430e2ba946450"},"schema_version":"1.0","source":{"id":"1603.08204","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.08204","created_at":"2026-05-18T01:18:12Z"},{"alias_kind":"arxiv_version","alias_value":"1603.08204v1","created_at":"2026-05-18T01:18:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.08204","created_at":"2026-05-18T01:18:12Z"},{"alias_kind":"pith_short_12","alias_value":"TWMQULRH2FNZ","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"TWMQULRH2FNZUULM","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"TWMQULRH","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:706f796597022c7f689e9de88b0023d0096e3bd2d903d86ac653193091ca8d2d","target":"graph","created_at":"2026-05-18T01:18:12Z","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":"The present paper aims at establishing formal connections between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated by Belnap. These connections have been seminally observed and exploited by Marcus Kracht, in the context of his characterization of the modal axioms (which he calls primitive formulas) which can be effectively transformed into `analytic' structural rules of display calculi. In this context, a rule is `analytic' if adding it to a display calculus preserves Belnap's cut-elimination theorem. In recent years, the state-of","authors_text":"Alessandra Palmigiano, Apostolos Tzimoulis, Giuseppe Greco, Minghui Ma, Zhiguang Zhao","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-03-27T11:08:09Z","title":"Unified Correspondence as a Proof-Theoretic Tool"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.08204","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:e2c2ff695472e778f57360c241f681d54c9ae3fd1eac59753b6a4f7f60f0fb9b","target":"record","created_at":"2026-05-18T01:18:12Z","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":"ad8d02eb82a239735e163f13265334a545628e734cccbf01807f99e73ed0d0e0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-03-27T11:08:09Z","title_canon_sha256":"40d38905ea3bd3e7d42de7eeae2696e5a4a431127fdc83bee34430e2ba946450"},"schema_version":"1.0","source":{"id":"1603.08204","kind":"arxiv","version":1}},"canonical_sha256":"9d990a2e27d15b9a516ce7714b8917c8292f2cd76e378b0cee10a6a8fddf3fe4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9d990a2e27d15b9a516ce7714b8917c8292f2cd76e378b0cee10a6a8fddf3fe4","first_computed_at":"2026-05-18T01:18:12.920676Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:18:12.920676Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JulnQ16tWx85XQKIWZVOgRk39z46bIa5FDlEN6y6jiZYbyzVFpvEeoGUXEYng5GUtkN22XHsCwTmfDEel4UnCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:18:12.921225Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.08204","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e2c2ff695472e778f57360c241f681d54c9ae3fd1eac59753b6a4f7f60f0fb9b","sha256:706f796597022c7f689e9de88b0023d0096e3bd2d903d86ac653193091ca8d2d"],"state_sha256":"b3a1c0f38ef5b5a0da6b406fa062f7bfa012f0eb7a53c929e8a2960e9b0b4d46"}