{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:TYJY36DLFGE37G64TWPFBVLOZX","short_pith_number":"pith:TYJY36DL","canonical_record":{"source":{"id":"1603.08579","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.LO","submitted_at":"2016-03-28T22:23:01Z","cross_cats_sorted":[],"title_canon_sha256":"cdabd2d5662e9cd671fd4c1c4649cea2f8c2ec38f6de68ac378b0c3c03d461a7","abstract_canon_sha256":"26f4ac6a4f2be73b0eec42ab3f7cbcbea93eab8a5edeacea430a16cfbdb6af16"},"schema_version":"1.0"},"canonical_sha256":"9e138df86b2989bf9bdc9d9e50d56ecdde4ed318f8101c9895dcc43508e47708","source":{"kind":"arxiv","id":"1603.08579","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.08579","created_at":"2026-05-17T23:58:05Z"},{"alias_kind":"arxiv_version","alias_value":"1603.08579v5","created_at":"2026-05-17T23:58:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.08579","created_at":"2026-05-17T23:58:05Z"},{"alias_kind":"pith_short_12","alias_value":"TYJY36DLFGE3","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"TYJY36DLFGE37G64","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"TYJY36DL","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:TYJY36DLFGE37G64TWPFBVLOZX","target":"record","payload":{"canonical_record":{"source":{"id":"1603.08579","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.LO","submitted_at":"2016-03-28T22:23:01Z","cross_cats_sorted":[],"title_canon_sha256":"cdabd2d5662e9cd671fd4c1c4649cea2f8c2ec38f6de68ac378b0c3c03d461a7","abstract_canon_sha256":"26f4ac6a4f2be73b0eec42ab3f7cbcbea93eab8a5edeacea430a16cfbdb6af16"},"schema_version":"1.0"},"canonical_sha256":"9e138df86b2989bf9bdc9d9e50d56ecdde4ed318f8101c9895dcc43508e47708","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:05.850913Z","signature_b64":"sYig7JLHM0htOY2Q+5h/ubrgLVyhmJpTkX6ij6kFObA+n0L3uBLDuRhJeaBeqng2kCfSf3dM7bXR7L0Xz+b4Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e138df86b2989bf9bdc9d9e50d56ecdde4ed318f8101c9895dcc43508e47708","last_reissued_at":"2026-05-17T23:58:05.850200Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:05.850200Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.08579","source_version":5,"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-17T23:58:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3Ay4JrQzy4HUQ7AGymyQ7QFOOJhWmu+THyPyjqnADg/t/OHJl2e6ITjV6hszDLrJoiFh9+YTg+nRAUmPt3juCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T02:03:29.915956Z"},"content_sha256":"545f5fbbd0d48ce4a7aab76ea1b2e426feccb9ff21ded73f107aa929d0df8c68","schema_version":"1.0","event_id":"sha256:545f5fbbd0d48ce4a7aab76ea1b2e426feccb9ff21ded73f107aa929d0df8c68"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:TYJY36DLFGE37G64TWPFBVLOZX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Negation and partial axiomatizations of dependence and independence logic revisited","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Fan Yang","submitted_at":"2016-03-28T22:23:01Z","abstract_excerpt":"In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in (Kontinen and Vaananen 2013) and (Hannula 2015). We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extended system of independence logic by giving explicit derivations for "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.08579","kind":"arxiv","version":5},"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-17T23:58:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2+sC/W/adwY4gd2tnHYUf1C9kqXW37W8dwF5dciThzi4Vf3laWkonGnkcPdvwzXbK3a60ZsVo8SddBKxHXXLAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T02:03:29.916302Z"},"content_sha256":"9eb6ece131997f52732e5aec640e408825db7622fadf76a861b97e2641462513","schema_version":"1.0","event_id":"sha256:9eb6ece131997f52732e5aec640e408825db7622fadf76a861b97e2641462513"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TYJY36DLFGE37G64TWPFBVLOZX/bundle.json","state_url":"https://pith.science/pith/TYJY36DLFGE37G64TWPFBVLOZX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TYJY36DLFGE37G64TWPFBVLOZX/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-02T02:03:29Z","links":{"resolver":"https://pith.science/pith/TYJY36DLFGE37G64TWPFBVLOZX","bundle":"https://pith.science/pith/TYJY36DLFGE37G64TWPFBVLOZX/bundle.json","state":"https://pith.science/pith/TYJY36DLFGE37G64TWPFBVLOZX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TYJY36DLFGE37G64TWPFBVLOZX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:TYJY36DLFGE37G64TWPFBVLOZX","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":"26f4ac6a4f2be73b0eec42ab3f7cbcbea93eab8a5edeacea430a16cfbdb6af16","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.LO","submitted_at":"2016-03-28T22:23:01Z","title_canon_sha256":"cdabd2d5662e9cd671fd4c1c4649cea2f8c2ec38f6de68ac378b0c3c03d461a7"},"schema_version":"1.0","source":{"id":"1603.08579","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.08579","created_at":"2026-05-17T23:58:05Z"},{"alias_kind":"arxiv_version","alias_value":"1603.08579v5","created_at":"2026-05-17T23:58:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.08579","created_at":"2026-05-17T23:58:05Z"},{"alias_kind":"pith_short_12","alias_value":"TYJY36DLFGE3","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"TYJY36DLFGE37G64","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"TYJY36DL","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:9eb6ece131997f52732e5aec640e408825db7622fadf76a861b97e2641462513","target":"graph","created_at":"2026-05-17T23:58:05Z","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 this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in (Kontinen and Vaananen 2013) and (Hannula 2015). We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extended system of independence logic by giving explicit derivations for ","authors_text":"Fan Yang","cross_cats":[],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.LO","submitted_at":"2016-03-28T22:23:01Z","title":"Negation and partial axiomatizations of dependence and independence logic revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.08579","kind":"arxiv","version":5},"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:545f5fbbd0d48ce4a7aab76ea1b2e426feccb9ff21ded73f107aa929d0df8c68","target":"record","created_at":"2026-05-17T23:58:05Z","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":"26f4ac6a4f2be73b0eec42ab3f7cbcbea93eab8a5edeacea430a16cfbdb6af16","cross_cats_sorted":[],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"math.LO","submitted_at":"2016-03-28T22:23:01Z","title_canon_sha256":"cdabd2d5662e9cd671fd4c1c4649cea2f8c2ec38f6de68ac378b0c3c03d461a7"},"schema_version":"1.0","source":{"id":"1603.08579","kind":"arxiv","version":5}},"canonical_sha256":"9e138df86b2989bf9bdc9d9e50d56ecdde4ed318f8101c9895dcc43508e47708","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e138df86b2989bf9bdc9d9e50d56ecdde4ed318f8101c9895dcc43508e47708","first_computed_at":"2026-05-17T23:58:05.850200Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:05.850200Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sYig7JLHM0htOY2Q+5h/ubrgLVyhmJpTkX6ij6kFObA+n0L3uBLDuRhJeaBeqng2kCfSf3dM7bXR7L0Xz+b4Cw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:05.850913Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.08579","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:545f5fbbd0d48ce4a7aab76ea1b2e426feccb9ff21ded73f107aa929d0df8c68","sha256:9eb6ece131997f52732e5aec640e408825db7622fadf76a861b97e2641462513"],"state_sha256":"bbb0784d69f9a87db6fccbe64e81a9ebade99c7a041e293b1a9b209974f1a90a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"URX8e8RRkByxY84ycPap8MvOXAcjnaxrmnicQbtRJz8+onJc7NYaBbtMVnyXrjikr6bJaf3m5tO/rJ8dpw7QBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T02:03:29.918279Z","bundle_sha256":"9253c0dc10bf123d575f57ed09d2df90c17532a29f3ffcccb1c9ebf2f849d7ab"}}