{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:DVRGCJV72RMY2QGYYTPXN7O3GW","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":"7924d081d9e2ab24560cf01b7453a2a2fe33dbd22109168a2e010c9f18108ab5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-02-24T17:29:38Z","title_canon_sha256":"5b4655d01079cec026ae5baf5437d3182c7acf850dbf9885c59b4c72e99dd8dd"},"schema_version":"1.0","source":{"id":"1602.07608","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.07608","created_at":"2026-05-18T01:20:00Z"},{"alias_kind":"arxiv_version","alias_value":"1602.07608v2","created_at":"2026-05-18T01:20:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.07608","created_at":"2026-05-18T01:20:00Z"},{"alias_kind":"pith_short_12","alias_value":"DVRGCJV72RMY","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_16","alias_value":"DVRGCJV72RMY2QGY","created_at":"2026-05-18T12:30:12Z"},{"alias_kind":"pith_short_8","alias_value":"DVRGCJV7","created_at":"2026-05-18T12:30:12Z"}],"graph_snapshots":[{"event_id":"sha256:1c98d44a94d3aafaebebbf6d16b5d3b245b07d6376e4dfd2b73c5244dfa58fd8","target":"graph","created_at":"2026-05-18T01:20:00Z","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":"This report first shows the equivalence bewteen several formulations of classical logic in intuitionistic logic (tertium non datur, reductio ad absurdum, Pierce's law). Then it establishes the correctness of the G\\\"odel-Kolmogorov translation, whose restriction to the propositional case is due to Glivenko. This translation maps a formula $F$ of first order logic to a formula $F^{\\lnot\\lnot}$ in such a way that $F$ is provable in classical logic if and only if $F^{\\lnot\\lnot}$ is provable in intuitionistic logic. All formal proofs are presented in natural deduction.\n  These questions are well-k","authors_text":"Christian Retor\\'e, Richard Moot","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-02-24T17:29:38Z","title":"Classical logic and intuitionistic logic: equivalent formulations in natural deduction, G\\\"odel-Kolmogorov-Glivenko translation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.07608","kind":"arxiv","version":2},"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:f487c150bc65e098329f0f1a684862b2179c9add063de1d9a2fb8993c4016ccd","target":"record","created_at":"2026-05-18T01:20:00Z","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":"7924d081d9e2ab24560cf01b7453a2a2fe33dbd22109168a2e010c9f18108ab5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-02-24T17:29:38Z","title_canon_sha256":"5b4655d01079cec026ae5baf5437d3182c7acf850dbf9885c59b4c72e99dd8dd"},"schema_version":"1.0","source":{"id":"1602.07608","kind":"arxiv","version":2}},"canonical_sha256":"1d626126bfd4598d40d8c4df76fddb35bc9d85b0364943335c12cdbc57ade60d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d626126bfd4598d40d8c4df76fddb35bc9d85b0364943335c12cdbc57ade60d","first_computed_at":"2026-05-18T01:20:00.716216Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:00.716216Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zP27QeVV/boUDEC06x3/QIrMGSQlPVKU4c25A6XeDigQtjHtGBMr4JJdyCVJBfbg1CrloA2ieCE8p6Grx3xTCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:00.716964Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.07608","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f487c150bc65e098329f0f1a684862b2179c9add063de1d9a2fb8993c4016ccd","sha256:1c98d44a94d3aafaebebbf6d16b5d3b245b07d6376e4dfd2b73c5244dfa58fd8"],"state_sha256":"bf4b8f74f143b80986118e7961cbe13898d80f9fa02b1acfb35cf89cd34b221d"}