{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:F2HPPEBGS4JC5BQ55VN7DJR2G5","short_pith_number":"pith:F2HPPEBG","schema_version":"1.0","canonical_sha256":"2e8ef7902697122e861ded5bf1a63a374789b0135abc0af762c9e95f11a2218d","source":{"kind":"arxiv","id":"1412.7998","version":3},"attestation_state":"computed","paper":{"title":"Propositional Logics of Dependence","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Fan Yang, Jouko V\\\"a\\\"an\\\"anen","submitted_at":"2014-12-26T22:11:44Z","abstract_excerpt":"In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as propositional inquisitive logic, are expressively complete and have disjunctive or conjunctive normal forms. We provide deduction systems and prove the completeness theorems for these logics."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1412.7998","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"math.LO","submitted_at":"2014-12-26T22:11:44Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"d79419acd44717104cfb7bdf06a17ef2a5dec4c43d288b2796a0466d96d92379","abstract_canon_sha256":"48f17eba2af2ea75920af1e5015d0f1359c30d3da91f68add5fdf7302dc91973"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:06.019606Z","signature_b64":"KMt1ltB6wbuZKxZj5xuWIWgFwZY4Pv/rddZ1a0eyR9SohQs7myqZT/vedgR9WSKrp9PJq7jxrrNpWd9tJzWXBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e8ef7902697122e861ded5bf1a63a374789b0135abc0af762c9e95f11a2218d","last_reissued_at":"2026-05-17T23:58:06.019153Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:06.019153Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Propositional Logics of Dependence","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Fan Yang, Jouko V\\\"a\\\"an\\\"anen","submitted_at":"2014-12-26T22:11:44Z","abstract_excerpt":"In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as propositional inquisitive logic, are expressively complete and have disjunctive or conjunctive normal forms. We provide deduction systems and prove the completeness theorems for these logics."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.7998","kind":"arxiv","version":3},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1412.7998","created_at":"2026-05-17T23:58:06.019229+00:00"},{"alias_kind":"arxiv_version","alias_value":"1412.7998v3","created_at":"2026-05-17T23:58:06.019229+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.7998","created_at":"2026-05-17T23:58:06.019229+00:00"},{"alias_kind":"pith_short_12","alias_value":"F2HPPEBGS4JC","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_16","alias_value":"F2HPPEBGS4JC5BQ5","created_at":"2026-05-18T12:28:28.263976+00:00"},{"alias_kind":"pith_short_8","alias_value":"F2HPPEBG","created_at":"2026-05-18T12:28:28.263976+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/F2HPPEBGS4JC5BQ55VN7DJR2G5","json":"https://pith.science/pith/F2HPPEBGS4JC5BQ55VN7DJR2G5.json","graph_json":"https://pith.science/api/pith-number/F2HPPEBGS4JC5BQ55VN7DJR2G5/graph.json","events_json":"https://pith.science/api/pith-number/F2HPPEBGS4JC5BQ55VN7DJR2G5/events.json","paper":"https://pith.science/paper/F2HPPEBG"},"agent_actions":{"view_html":"https://pith.science/pith/F2HPPEBGS4JC5BQ55VN7DJR2G5","download_json":"https://pith.science/pith/F2HPPEBGS4JC5BQ55VN7DJR2G5.json","view_paper":"https://pith.science/paper/F2HPPEBG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1412.7998&json=true","fetch_graph":"https://pith.science/api/pith-number/F2HPPEBGS4JC5BQ55VN7DJR2G5/graph.json","fetch_events":"https://pith.science/api/pith-number/F2HPPEBGS4JC5BQ55VN7DJR2G5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F2HPPEBGS4JC5BQ55VN7DJR2G5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F2HPPEBGS4JC5BQ55VN7DJR2G5/action/storage_attestation","attest_author":"https://pith.science/pith/F2HPPEBGS4JC5BQ55VN7DJR2G5/action/author_attestation","sign_citation":"https://pith.science/pith/F2HPPEBGS4JC5BQ55VN7DJR2G5/action/citation_signature","submit_replication":"https://pith.science/pith/F2HPPEBGS4JC5BQ55VN7DJR2G5/action/replication_record"}},"created_at":"2026-05-17T23:58:06.019229+00:00","updated_at":"2026-05-17T23:58:06.019229+00:00"}