{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:BCHHTMLWKL23NLGYBRQISCQVT2","short_pith_number":"pith:BCHHTMLW","schema_version":"1.0","canonical_sha256":"088e79b17652f5b6acd80c60890a159e940c42333dce0f22868ef0b9f8709f4d","source":{"kind":"arxiv","id":"2001.06138","version":3},"attestation_state":"computed","paper":{"title":"Sequent calculi for a unity of logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Norihiro Yamada","submitted_at":"2020-01-17T02:52:59Z","abstract_excerpt":"We present a novel unity of logic, viz., a single sequent calculus that embodies classical, intuitionistic and linear logics. Concretely, we define classical linear logic negative (CLL$^-$), a new logic that is classical and linear yet discards the polarities and the strict De Morgan laws in classical linear logic (CLL). Then, we define unlinearisation and classicalisation on sequent calculi such that unlinearisation maps CLL$^-$ (resp. intuitionistic linear logic (ILL)) to classical logic (CL) (resp. intuitionistic logic (IL)), and classicalisation maps IL (resp. ILL) to CL (resp. CLL$^-$) mo"},"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":"2001.06138","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2020-01-17T02:52:59Z","cross_cats_sorted":[],"title_canon_sha256":"996b5c8d0634556aa1cbf37e1cc86102256da38e3edc51a894a96bae4621b43a","abstract_canon_sha256":"fd4b16e97f317986e871b26ee63bbe2fcdbba7c9c96586aed118493211e88066"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:05:05.762724Z","signature_b64":"fpusjEI8p2LqN6tQT+r6YTMaw0eWTT+tXLcpHTXEHIoTJOXpxlRhT0VWY+nltEx8lUabqLsOfZCXJIvh0y7+Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"088e79b17652f5b6acd80c60890a159e940c42333dce0f22868ef0b9f8709f4d","last_reissued_at":"2026-07-05T02:05:05.762301Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:05:05.762301Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Sequent calculi for a unity of logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Norihiro Yamada","submitted_at":"2020-01-17T02:52:59Z","abstract_excerpt":"We present a novel unity of logic, viz., a single sequent calculus that embodies classical, intuitionistic and linear logics. Concretely, we define classical linear logic negative (CLL$^-$), a new logic that is classical and linear yet discards the polarities and the strict De Morgan laws in classical linear logic (CLL). Then, we define unlinearisation and classicalisation on sequent calculi such that unlinearisation maps CLL$^-$ (resp. intuitionistic linear logic (ILL)) to classical logic (CL) (resp. intuitionistic logic (IL)), and classicalisation maps IL (resp. ILL) to CL (resp. CLL$^-$) mo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2001.06138","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2001.06138/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2001.06138","created_at":"2026-07-05T02:05:05.762369+00:00"},{"alias_kind":"arxiv_version","alias_value":"2001.06138v3","created_at":"2026-07-05T02:05:05.762369+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2001.06138","created_at":"2026-07-05T02:05:05.762369+00:00"},{"alias_kind":"pith_short_12","alias_value":"BCHHTMLWKL23","created_at":"2026-07-05T02:05:05.762369+00:00"},{"alias_kind":"pith_short_16","alias_value":"BCHHTMLWKL23NLGY","created_at":"2026-07-05T02:05:05.762369+00:00"},{"alias_kind":"pith_short_8","alias_value":"BCHHTMLW","created_at":"2026-07-05T02:05:05.762369+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/BCHHTMLWKL23NLGYBRQISCQVT2","json":"https://pith.science/pith/BCHHTMLWKL23NLGYBRQISCQVT2.json","graph_json":"https://pith.science/api/pith-number/BCHHTMLWKL23NLGYBRQISCQVT2/graph.json","events_json":"https://pith.science/api/pith-number/BCHHTMLWKL23NLGYBRQISCQVT2/events.json","paper":"https://pith.science/paper/BCHHTMLW"},"agent_actions":{"view_html":"https://pith.science/pith/BCHHTMLWKL23NLGYBRQISCQVT2","download_json":"https://pith.science/pith/BCHHTMLWKL23NLGYBRQISCQVT2.json","view_paper":"https://pith.science/paper/BCHHTMLW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2001.06138&json=true","fetch_graph":"https://pith.science/api/pith-number/BCHHTMLWKL23NLGYBRQISCQVT2/graph.json","fetch_events":"https://pith.science/api/pith-number/BCHHTMLWKL23NLGYBRQISCQVT2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BCHHTMLWKL23NLGYBRQISCQVT2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BCHHTMLWKL23NLGYBRQISCQVT2/action/storage_attestation","attest_author":"https://pith.science/pith/BCHHTMLWKL23NLGYBRQISCQVT2/action/author_attestation","sign_citation":"https://pith.science/pith/BCHHTMLWKL23NLGYBRQISCQVT2/action/citation_signature","submit_replication":"https://pith.science/pith/BCHHTMLWKL23NLGYBRQISCQVT2/action/replication_record"}},"created_at":"2026-07-05T02:05:05.762369+00:00","updated_at":"2026-07-05T02:05:05.762369+00:00"}