{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:PUSAS4TRWMNE2FVIET24BANNOU","short_pith_number":"pith:PUSAS4TR","schema_version":"1.0","canonical_sha256":"7d24097271b31a4d16a824f5c081ad75200e1c2a0b5bc13330a411c8f7a76299","source":{"kind":"arxiv","id":"1804.08105","version":1},"attestation_state":"computed","paper":{"title":"Subatomic systems need not be subatomic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Luca Roversi","submitted_at":"2018-04-22T12:32:41Z","abstract_excerpt":"Subatomic systems were recently introduced to identify the structural principles underpinning the normalization of proofs. \"Subatomic\" means that we can reformulate logical systems in accordance with two principles. Their atomic formulas become instances of sub-atoms, non-commutative self-dual relations among logical constants, and their rules are derivable by means of a unique deductive scheme, the medial shape. One of the results is that the cut-elimination of subatomic systems implies the cut-elimination of every standard system we can represent sub-atomically.\n  We here introduce Subatomic"},"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":"1804.08105","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-22T12:32:41Z","cross_cats_sorted":[],"title_canon_sha256":"421dc57acac5c34cff5b39b4cc98241b0112af00992d73d64d1b011546cb540c","abstract_canon_sha256":"e1079cd145e84741d3e8bc1ca60932b1b2d7fcbe28dba613d25434d64ef1edb0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:49.535389Z","signature_b64":"D1jgDa0LxkDRhjw/hcsdgcbvCXRzc+Q9PEUnk8F74z8tomDW/rhsB6G5/WZzWf2oyQFjiGBVWE22KsuOhNalBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d24097271b31a4d16a824f5c081ad75200e1c2a0b5bc13330a411c8f7a76299","last_reissued_at":"2026-05-18T00:17:49.534732Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:49.534732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Subatomic systems need not be subatomic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Luca Roversi","submitted_at":"2018-04-22T12:32:41Z","abstract_excerpt":"Subatomic systems were recently introduced to identify the structural principles underpinning the normalization of proofs. \"Subatomic\" means that we can reformulate logical systems in accordance with two principles. Their atomic formulas become instances of sub-atoms, non-commutative self-dual relations among logical constants, and their rules are derivable by means of a unique deductive scheme, the medial shape. One of the results is that the cut-elimination of subatomic systems implies the cut-elimination of every standard system we can represent sub-atomically.\n  We here introduce Subatomic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08105","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":"1804.08105","created_at":"2026-05-18T00:17:49.534842+00:00"},{"alias_kind":"arxiv_version","alias_value":"1804.08105v1","created_at":"2026-05-18T00:17:49.534842+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08105","created_at":"2026-05-18T00:17:49.534842+00:00"},{"alias_kind":"pith_short_12","alias_value":"PUSAS4TRWMNE","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_16","alias_value":"PUSAS4TRWMNE2FVI","created_at":"2026-05-18T12:32:46.962924+00:00"},{"alias_kind":"pith_short_8","alias_value":"PUSAS4TR","created_at":"2026-05-18T12:32:46.962924+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/PUSAS4TRWMNE2FVIET24BANNOU","json":"https://pith.science/pith/PUSAS4TRWMNE2FVIET24BANNOU.json","graph_json":"https://pith.science/api/pith-number/PUSAS4TRWMNE2FVIET24BANNOU/graph.json","events_json":"https://pith.science/api/pith-number/PUSAS4TRWMNE2FVIET24BANNOU/events.json","paper":"https://pith.science/paper/PUSAS4TR"},"agent_actions":{"view_html":"https://pith.science/pith/PUSAS4TRWMNE2FVIET24BANNOU","download_json":"https://pith.science/pith/PUSAS4TRWMNE2FVIET24BANNOU.json","view_paper":"https://pith.science/paper/PUSAS4TR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1804.08105&json=true","fetch_graph":"https://pith.science/api/pith-number/PUSAS4TRWMNE2FVIET24BANNOU/graph.json","fetch_events":"https://pith.science/api/pith-number/PUSAS4TRWMNE2FVIET24BANNOU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PUSAS4TRWMNE2FVIET24BANNOU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PUSAS4TRWMNE2FVIET24BANNOU/action/storage_attestation","attest_author":"https://pith.science/pith/PUSAS4TRWMNE2FVIET24BANNOU/action/author_attestation","sign_citation":"https://pith.science/pith/PUSAS4TRWMNE2FVIET24BANNOU/action/citation_signature","submit_replication":"https://pith.science/pith/PUSAS4TRWMNE2FVIET24BANNOU/action/replication_record"}},"created_at":"2026-05-18T00:17:49.534842+00:00","updated_at":"2026-05-18T00:17:49.534842+00:00"}