{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:LSDHOWQC2AKZSNZ7RXUDODUD3I","short_pith_number":"pith:LSDHOWQC","schema_version":"1.0","canonical_sha256":"5c86775a02d01599373f8de8370e83da25d845219d7af49979c62280c9814138","source":{"kind":"arxiv","id":"1112.0643","version":1},"attestation_state":"computed","paper":{"title":"How big is BCI fragment of BCK logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Katarzyna Grygiel, Marek Zaionc, Pawel M. Idziak","submitted_at":"2011-12-03T11:05:40Z","abstract_excerpt":"We investigate quantitative properties of BCI and BCK logics. The first part of the paper compares the number of formulas provable in BCI versus BCK logics. We consider formulas built on implication and a fixed set of $k$ variables. We investigate the proportion between the number of such formulas of a given length $n$ provable in BCI logic against the number of formulas of length $n$ provable in richer BCK logic. We examine an asymptotic behavior of this fraction when length $n$ of formulas tends to infinity. This limit gives a probability measure that randomly chosen BCK formula is also prov"},"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":"1112.0643","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-12-03T11:05:40Z","cross_cats_sorted":[],"title_canon_sha256":"58cc18d2797ce1e763fe05f33b02b33713e015d29ac718e7eb76af66b91314c4","abstract_canon_sha256":"b61731dadd2c11a0883d8b248b7f8d8faa885892ff3df4e08f9ba7b24f9c0962"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:07:06.055872Z","signature_b64":"nIfiu+79z1Vxy18TsI5HoFS2nXsSK0+6UbI7mtwvaan9kSaGE8IN1dF01Zp6zpu9Aghjat0nqBVfb7qzoqNDDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5c86775a02d01599373f8de8370e83da25d845219d7af49979c62280c9814138","last_reissued_at":"2026-05-18T04:07:06.055220Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:07:06.055220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"How big is BCI fragment of BCK logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Katarzyna Grygiel, Marek Zaionc, Pawel M. Idziak","submitted_at":"2011-12-03T11:05:40Z","abstract_excerpt":"We investigate quantitative properties of BCI and BCK logics. The first part of the paper compares the number of formulas provable in BCI versus BCK logics. We consider formulas built on implication and a fixed set of $k$ variables. We investigate the proportion between the number of such formulas of a given length $n$ provable in BCI logic against the number of formulas of length $n$ provable in richer BCK logic. We examine an asymptotic behavior of this fraction when length $n$ of formulas tends to infinity. This limit gives a probability measure that randomly chosen BCK formula is also prov"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.0643","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":"1112.0643","created_at":"2026-05-18T04:07:06.055359+00:00"},{"alias_kind":"arxiv_version","alias_value":"1112.0643v1","created_at":"2026-05-18T04:07:06.055359+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.0643","created_at":"2026-05-18T04:07:06.055359+00:00"},{"alias_kind":"pith_short_12","alias_value":"LSDHOWQC2AKZ","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_16","alias_value":"LSDHOWQC2AKZSNZ7","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_8","alias_value":"LSDHOWQC","created_at":"2026-05-18T12:26:34.985390+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/LSDHOWQC2AKZSNZ7RXUDODUD3I","json":"https://pith.science/pith/LSDHOWQC2AKZSNZ7RXUDODUD3I.json","graph_json":"https://pith.science/api/pith-number/LSDHOWQC2AKZSNZ7RXUDODUD3I/graph.json","events_json":"https://pith.science/api/pith-number/LSDHOWQC2AKZSNZ7RXUDODUD3I/events.json","paper":"https://pith.science/paper/LSDHOWQC"},"agent_actions":{"view_html":"https://pith.science/pith/LSDHOWQC2AKZSNZ7RXUDODUD3I","download_json":"https://pith.science/pith/LSDHOWQC2AKZSNZ7RXUDODUD3I.json","view_paper":"https://pith.science/paper/LSDHOWQC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1112.0643&json=true","fetch_graph":"https://pith.science/api/pith-number/LSDHOWQC2AKZSNZ7RXUDODUD3I/graph.json","fetch_events":"https://pith.science/api/pith-number/LSDHOWQC2AKZSNZ7RXUDODUD3I/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LSDHOWQC2AKZSNZ7RXUDODUD3I/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LSDHOWQC2AKZSNZ7RXUDODUD3I/action/storage_attestation","attest_author":"https://pith.science/pith/LSDHOWQC2AKZSNZ7RXUDODUD3I/action/author_attestation","sign_citation":"https://pith.science/pith/LSDHOWQC2AKZSNZ7RXUDODUD3I/action/citation_signature","submit_replication":"https://pith.science/pith/LSDHOWQC2AKZSNZ7RXUDODUD3I/action/replication_record"}},"created_at":"2026-05-18T04:07:06.055359+00:00","updated_at":"2026-05-18T04:07:06.055359+00:00"}