{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:GJNLAKHXZQ4RZMVQZJUEIAABEG","short_pith_number":"pith:GJNLAKHX","canonical_record":{"source":{"id":"1606.06387","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-21T00:50:21Z","cross_cats_sorted":[],"title_canon_sha256":"3dca481353313e896b00a8984c2e41e996fc764f42fc2d95aa33cd1cdce4072f","abstract_canon_sha256":"f20343db1256f8a0ffe73878d1bdc0ee62bde055de3392025dd9cfabf0e7d7ab"},"schema_version":"1.0"},"canonical_sha256":"325ab028f7cc391cb2b0ca6844000121a10c9a5a5bd7c8b4fc7ac516d0a6e443","source":{"kind":"arxiv","id":"1606.06387","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.06387","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"arxiv_version","alias_value":"1606.06387v1","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.06387","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"pith_short_12","alias_value":"GJNLAKHXZQ4R","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GJNLAKHXZQ4RZMVQ","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GJNLAKHX","created_at":"2026-05-18T12:30:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:GJNLAKHXZQ4RZMVQZJUEIAABEG","target":"record","payload":{"canonical_record":{"source":{"id":"1606.06387","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-21T00:50:21Z","cross_cats_sorted":[],"title_canon_sha256":"3dca481353313e896b00a8984c2e41e996fc764f42fc2d95aa33cd1cdce4072f","abstract_canon_sha256":"f20343db1256f8a0ffe73878d1bdc0ee62bde055de3392025dd9cfabf0e7d7ab"},"schema_version":"1.0"},"canonical_sha256":"325ab028f7cc391cb2b0ca6844000121a10c9a5a5bd7c8b4fc7ac516d0a6e443","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:11.049418Z","signature_b64":"8eVj+8Y5PUrX9RyhoGPwrUWNQMeNGPeIAYB2qRMpPW8lgjbGeERM6WOVTwa8gE8zO9r+magjSFX7SLfKunyZCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"325ab028f7cc391cb2b0ca6844000121a10c9a5a5bd7c8b4fc7ac516d0a6e443","last_reissued_at":"2026-05-18T01:12:11.048956Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:11.048956Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.06387","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:12:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PW5bPE5YkxRnw8iWRvxThlfIo/Y8uWHin6xfjX8a9d1gHqRdY404cKGo+cI3kdnkhg1fG50w4kEnafO3bVRqBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T09:02:58.708106Z"},"content_sha256":"8eef3fb0441fc560b9ca219c7e9afa27f7a107b845064f83cddef78facc6e449","schema_version":"1.0","event_id":"sha256:8eef3fb0441fc560b9ca219c7e9afa27f7a107b845064f83cddef78facc6e449"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:GJNLAKHXZQ4RZMVQZJUEIAABEG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A note on strong normalization in classical natural deduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Jos\\'e Esp\\'irito Santo (Centro de Matem\\'atica, Universidade do Minho)","submitted_at":"2016-06-21T00:50:21Z","abstract_excerpt":"In the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation of disjunction in terms of negation and conjunction. Once the translation is extended to proofs, it obtains a reduction of provability to provability in the disjunction-free subsystem. It is natural to ask whether a reduction is also obtained for, say, strong normalization; that is, whether strong normalization for the disjunction-free system implies the same property for the full system, and whether such lifting of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.06387","kind":"arxiv","version":1},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:12:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NODTcgWjm4fTsYepwUwe4jsdi0troNKwDRlWLcal5vTMYK4g6uM3VipIGc3bBHXOEt/g3bK15wYP1ZmOGQ7rCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T09:02:58.708467Z"},"content_sha256":"e7e486063e3e72ce5a27bd6bf8a2be5f46a0a2f16bb116d1d538a1ed2803f06d","schema_version":"1.0","event_id":"sha256:e7e486063e3e72ce5a27bd6bf8a2be5f46a0a2f16bb116d1d538a1ed2803f06d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GJNLAKHXZQ4RZMVQZJUEIAABEG/bundle.json","state_url":"https://pith.science/pith/GJNLAKHXZQ4RZMVQZJUEIAABEG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GJNLAKHXZQ4RZMVQZJUEIAABEG/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-23T09:02:58Z","links":{"resolver":"https://pith.science/pith/GJNLAKHXZQ4RZMVQZJUEIAABEG","bundle":"https://pith.science/pith/GJNLAKHXZQ4RZMVQZJUEIAABEG/bundle.json","state":"https://pith.science/pith/GJNLAKHXZQ4RZMVQZJUEIAABEG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GJNLAKHXZQ4RZMVQZJUEIAABEG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:GJNLAKHXZQ4RZMVQZJUEIAABEG","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":"f20343db1256f8a0ffe73878d1bdc0ee62bde055de3392025dd9cfabf0e7d7ab","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-21T00:50:21Z","title_canon_sha256":"3dca481353313e896b00a8984c2e41e996fc764f42fc2d95aa33cd1cdce4072f"},"schema_version":"1.0","source":{"id":"1606.06387","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.06387","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"arxiv_version","alias_value":"1606.06387v1","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.06387","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"pith_short_12","alias_value":"GJNLAKHXZQ4R","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GJNLAKHXZQ4RZMVQ","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GJNLAKHX","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:e7e486063e3e72ce5a27bd6bf8a2be5f46a0a2f16bb116d1d538a1ed2803f06d","target":"graph","created_at":"2026-05-18T01:12:11Z","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 the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation of disjunction in terms of negation and conjunction. Once the translation is extended to proofs, it obtains a reduction of provability to provability in the disjunction-free subsystem. It is natural to ask whether a reduction is also obtained for, say, strong normalization; that is, whether strong normalization for the disjunction-free system implies the same property for the full system, and whether such lifting of ","authors_text":"Jos\\'e Esp\\'irito Santo (Centro de Matem\\'atica, Universidade do Minho)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-21T00:50:21Z","title":"A note on strong normalization in classical natural deduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.06387","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:8eef3fb0441fc560b9ca219c7e9afa27f7a107b845064f83cddef78facc6e449","target":"record","created_at":"2026-05-18T01:12:11Z","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":"f20343db1256f8a0ffe73878d1bdc0ee62bde055de3392025dd9cfabf0e7d7ab","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-06-21T00:50:21Z","title_canon_sha256":"3dca481353313e896b00a8984c2e41e996fc764f42fc2d95aa33cd1cdce4072f"},"schema_version":"1.0","source":{"id":"1606.06387","kind":"arxiv","version":1}},"canonical_sha256":"325ab028f7cc391cb2b0ca6844000121a10c9a5a5bd7c8b4fc7ac516d0a6e443","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"325ab028f7cc391cb2b0ca6844000121a10c9a5a5bd7c8b4fc7ac516d0a6e443","first_computed_at":"2026-05-18T01:12:11.048956Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:11.048956Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8eVj+8Y5PUrX9RyhoGPwrUWNQMeNGPeIAYB2qRMpPW8lgjbGeERM6WOVTwa8gE8zO9r+magjSFX7SLfKunyZCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:11.049418Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.06387","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8eef3fb0441fc560b9ca219c7e9afa27f7a107b845064f83cddef78facc6e449","sha256:e7e486063e3e72ce5a27bd6bf8a2be5f46a0a2f16bb116d1d538a1ed2803f06d"],"state_sha256":"af167dc352504b3ad7e0d6a4174dfa603218c1bc35a2e836440f466025f21144"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sq48VFNoFZI79vAKYfUEy8ICkZICq+//H/aU5utMVMmG2TNff2t7TEgKiduxPpj1DXo7CAc/N/WmctI/QQD+BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T09:02:58.710668Z","bundle_sha256":"71afdd166234194c0357c7604cf826d22bc533ca5c3121deaf2f92e1640041e2"}}