{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:435CFAADXVHJWVFED6ZDG6KHKC","short_pith_number":"pith:435CFAAD","schema_version":"1.0","canonical_sha256":"e6fa228003bd4e9b54a41fb2337947509018146cf0e0ba14d62146e2360521ce","source":{"kind":"arxiv","id":"1406.7132","version":1},"attestation_state":"computed","paper":{"title":"Boolean Dependence Logic and Partially-Ordered Connectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Johannes Ebbing, Jonni Virtema, Lauri Hella, Peter Lohmann","submitted_at":"2014-06-27T09:52:02Z","abstract_excerpt":"We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\\alpha), where \\alpha is a Boolean variable. Intuitively, with Boolean dependence atoms one can express quantification of relations, while standard dependence atoms express quantification over functions.\n  We compare the expressive power of Boolean dependence logic to dependence logic and first-order logic enriched by partially-ordered connectives. We show that the expressive power of Boolean dependence logic and dependence logic coincide. W"},"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":"1406.7132","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2014-06-27T09:52:02Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"5dcff11932899a28f817d0f25a42aa8c99e1e9681f0cee5a0e55713dda80faf2","abstract_canon_sha256":"9d0957951bead875d49d4ae5b9ed4499ff93eea890ec0def2f7f119054a01709"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:54.020140Z","signature_b64":"D2UJ6yijOtGzVgUWUewMBRsOsV3K2hg3zOb+WqTzgX6/S7XlCFNp0LIInM29orIFqbj07kBvz7H2pbIYcj7aAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e6fa228003bd4e9b54a41fb2337947509018146cf0e0ba14d62146e2360521ce","last_reissued_at":"2026-05-18T02:48:54.019583Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:54.019583Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Boolean Dependence Logic and Partially-Ordered Connectives","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.LO","authors_text":"Johannes Ebbing, Jonni Virtema, Lauri Hella, Peter Lohmann","submitted_at":"2014-06-27T09:52:02Z","abstract_excerpt":"We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\\alpha), where \\alpha is a Boolean variable. Intuitively, with Boolean dependence atoms one can express quantification of relations, while standard dependence atoms express quantification over functions.\n  We compare the expressive power of Boolean dependence logic to dependence logic and first-order logic enriched by partially-ordered connectives. We show that the expressive power of Boolean dependence logic and dependence logic coincide. W"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.7132","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1406.7132","created_at":"2026-05-18T02:48:54.019675+00:00"},{"alias_kind":"arxiv_version","alias_value":"1406.7132v1","created_at":"2026-05-18T02:48:54.019675+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.7132","created_at":"2026-05-18T02:48:54.019675+00:00"},{"alias_kind":"pith_short_12","alias_value":"435CFAADXVHJ","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_16","alias_value":"435CFAADXVHJWVFE","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_8","alias_value":"435CFAAD","created_at":"2026-05-18T12:28:11.866339+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/435CFAADXVHJWVFED6ZDG6KHKC","json":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC.json","graph_json":"https://pith.science/api/pith-number/435CFAADXVHJWVFED6ZDG6KHKC/graph.json","events_json":"https://pith.science/api/pith-number/435CFAADXVHJWVFED6ZDG6KHKC/events.json","paper":"https://pith.science/paper/435CFAAD"},"agent_actions":{"view_html":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC","download_json":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC.json","view_paper":"https://pith.science/paper/435CFAAD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1406.7132&json=true","fetch_graph":"https://pith.science/api/pith-number/435CFAADXVHJWVFED6ZDG6KHKC/graph.json","fetch_events":"https://pith.science/api/pith-number/435CFAADXVHJWVFED6ZDG6KHKC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC/action/storage_attestation","attest_author":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC/action/author_attestation","sign_citation":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC/action/citation_signature","submit_replication":"https://pith.science/pith/435CFAADXVHJWVFED6ZDG6KHKC/action/replication_record"}},"created_at":"2026-05-18T02:48:54.019675+00:00","updated_at":"2026-05-18T02:48:54.019675+00:00"}