{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2008:D2FJWCDRQ4XZEKA5C7YYBXTLHX","short_pith_number":"pith:D2FJWCDR","canonical_record":{"source":{"id":"0806.0081","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-05-31T15:35:40Z","cross_cats_sorted":[],"title_canon_sha256":"39f9efb14fbdc56c1f7871e05f6cb6587527c2325ee77b98c51827f82466eacf","abstract_canon_sha256":"c0d0608f97f4840bd65958c5526b44d9cb39165f29172b7514ec90b1c7250687"},"schema_version":"1.0"},"canonical_sha256":"1e8a9b0871872f92281d17f180de6b3dfcf73c804f29cbe6681b259e37ee902d","source":{"kind":"arxiv","id":"0806.0081","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0806.0081","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"arxiv_version","alias_value":"0806.0081v4","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0806.0081","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"pith_short_12","alias_value":"D2FJWCDRQ4XZ","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_16","alias_value":"D2FJWCDRQ4XZEKA5","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_8","alias_value":"D2FJWCDR","created_at":"2026-05-18T12:25:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2008:D2FJWCDRQ4XZEKA5C7YYBXTLHX","target":"record","payload":{"canonical_record":{"source":{"id":"0806.0081","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-05-31T15:35:40Z","cross_cats_sorted":[],"title_canon_sha256":"39f9efb14fbdc56c1f7871e05f6cb6587527c2325ee77b98c51827f82466eacf","abstract_canon_sha256":"c0d0608f97f4840bd65958c5526b44d9cb39165f29172b7514ec90b1c7250687"},"schema_version":"1.0"},"canonical_sha256":"1e8a9b0871872f92281d17f180de6b3dfcf73c804f29cbe6681b259e37ee902d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:42.440809Z","signature_b64":"DD5IY/t2RY1kQgOSPG7H8sRB89qiYqm0iW/avRlAkhcTl0M/4dhjqNFNmKeZB0rs25X+tC8GY8eLpHmRf9pVBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1e8a9b0871872f92281d17f180de6b3dfcf73c804f29cbe6681b259e37ee902d","last_reissued_at":"2026-05-18T01:37:42.440252Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:42.440252Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0806.0081","source_version":4,"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:37:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uuk3r4redZOU5k18GtEpzZa9zpTCxB6VT73DmczLqCIUznu8nY3CSgoeNp/zMI8oAwcfUNKarUJCJL2tkpRfAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:13:17.373722Z"},"content_sha256":"d64a1e7c351d3d9379a70bb7eaf70e2a93779955aa1cce163379be0898e81a82","schema_version":"1.0","event_id":"sha256:d64a1e7c351d3d9379a70bb7eaf70e2a93779955aa1cce163379be0898e81a82"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2008:D2FJWCDRQ4XZEKA5C7YYBXTLHX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Canonical calculi with (n,k)-ary quantifiers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anna Zamansky, Arnon Avron","submitted_at":"2008-05-31T15:35:40Z","abstract_excerpt":"Propositional canonical Gentzen-type systems, introduced in 2001 by Avron and Lev, are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a connective is introduced and no other connective is mentioned. A constructive coherence criterion for the non-triviality of such systems was defined and it was shown that a system of this kind admits cut-elimination iff it is coherent. The semantics of such systems is provided using two-valued non-deterministic matrices (2Nmatrices). In 2005 Zamansky and Avron extended these resu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0806.0081","kind":"arxiv","version":4},"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:37:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Olnqr6+uQ3BjvLgzI9aY649Jxu8aUDDFXswOwQt9Z6pK6z7fDbvdP+/reIhRdLHr2NbshNZ/gRCQ0lX7XTs9AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:13:17.374062Z"},"content_sha256":"3fda79667a2a15d14ccc2c0a5e9cabc99baae437191f8cc0f7fc620f1976e671","schema_version":"1.0","event_id":"sha256:3fda79667a2a15d14ccc2c0a5e9cabc99baae437191f8cc0f7fc620f1976e671"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D2FJWCDRQ4XZEKA5C7YYBXTLHX/bundle.json","state_url":"https://pith.science/pith/D2FJWCDRQ4XZEKA5C7YYBXTLHX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D2FJWCDRQ4XZEKA5C7YYBXTLHX/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-02T06:13:17Z","links":{"resolver":"https://pith.science/pith/D2FJWCDRQ4XZEKA5C7YYBXTLHX","bundle":"https://pith.science/pith/D2FJWCDRQ4XZEKA5C7YYBXTLHX/bundle.json","state":"https://pith.science/pith/D2FJWCDRQ4XZEKA5C7YYBXTLHX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D2FJWCDRQ4XZEKA5C7YYBXTLHX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:D2FJWCDRQ4XZEKA5C7YYBXTLHX","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":"c0d0608f97f4840bd65958c5526b44d9cb39165f29172b7514ec90b1c7250687","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-05-31T15:35:40Z","title_canon_sha256":"39f9efb14fbdc56c1f7871e05f6cb6587527c2325ee77b98c51827f82466eacf"},"schema_version":"1.0","source":{"id":"0806.0081","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0806.0081","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"arxiv_version","alias_value":"0806.0081v4","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0806.0081","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"pith_short_12","alias_value":"D2FJWCDRQ4XZ","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_16","alias_value":"D2FJWCDRQ4XZEKA5","created_at":"2026-05-18T12:25:57Z"},{"alias_kind":"pith_short_8","alias_value":"D2FJWCDR","created_at":"2026-05-18T12:25:57Z"}],"graph_snapshots":[{"event_id":"sha256:3fda79667a2a15d14ccc2c0a5e9cabc99baae437191f8cc0f7fc620f1976e671","target":"graph","created_at":"2026-05-18T01:37:42Z","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":"Propositional canonical Gentzen-type systems, introduced in 2001 by Avron and Lev, are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a connective is introduced and no other connective is mentioned. A constructive coherence criterion for the non-triviality of such systems was defined and it was shown that a system of this kind admits cut-elimination iff it is coherent. The semantics of such systems is provided using two-valued non-deterministic matrices (2Nmatrices). In 2005 Zamansky and Avron extended these resu","authors_text":"Anna Zamansky, Arnon Avron","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-05-31T15:35:40Z","title":"Canonical calculi with (n,k)-ary quantifiers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0806.0081","kind":"arxiv","version":4},"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:d64a1e7c351d3d9379a70bb7eaf70e2a93779955aa1cce163379be0898e81a82","target":"record","created_at":"2026-05-18T01:37:42Z","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":"c0d0608f97f4840bd65958c5526b44d9cb39165f29172b7514ec90b1c7250687","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2008-05-31T15:35:40Z","title_canon_sha256":"39f9efb14fbdc56c1f7871e05f6cb6587527c2325ee77b98c51827f82466eacf"},"schema_version":"1.0","source":{"id":"0806.0081","kind":"arxiv","version":4}},"canonical_sha256":"1e8a9b0871872f92281d17f180de6b3dfcf73c804f29cbe6681b259e37ee902d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1e8a9b0871872f92281d17f180de6b3dfcf73c804f29cbe6681b259e37ee902d","first_computed_at":"2026-05-18T01:37:42.440252Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:42.440252Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DD5IY/t2RY1kQgOSPG7H8sRB89qiYqm0iW/avRlAkhcTl0M/4dhjqNFNmKeZB0rs25X+tC8GY8eLpHmRf9pVBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:42.440809Z","signed_message":"canonical_sha256_bytes"},"source_id":"0806.0081","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d64a1e7c351d3d9379a70bb7eaf70e2a93779955aa1cce163379be0898e81a82","sha256:3fda79667a2a15d14ccc2c0a5e9cabc99baae437191f8cc0f7fc620f1976e671"],"state_sha256":"601a9c3b42ca70af4af527ced64605db38a1990b20ae5988111bd53294a2f294"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9vdYMqkIzoPUgaZv1EVbFUcjJ9mIrHrV1UVBHpEYtg4dAa/Dp7IlAWEnuFcZq6J4AwJbeBQo/zFDjZyER6S2Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T06:13:17.375992Z","bundle_sha256":"471129e8ac993c2cb64a8bcb04cebde9642e5a8299211cbe387ef9fbeb6cb29c"}}