{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:5JBCS7Q5FXCPDTKXBUDXRKFXJW","short_pith_number":"pith:5JBCS7Q5","schema_version":"1.0","canonical_sha256":"ea42297e1d2dc4f1cd570d0778a8b74db6169d0951001c2f0ac06d15c17f7004","source":{"kind":"arxiv","id":"1912.07462","version":1},"attestation_state":"computed","paper":{"title":"On the Unity of Logic: a Sequential, Unpolarized Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.CT"],"primary_cat":"math.LO","authors_text":"Norihiro Yamada","submitted_at":"2019-12-16T15:54:27Z","abstract_excerpt":"The present work aims to give a unity of logic via standard sequential, unpolarized games. Specifically, our vision is that there must be mathematically precise concepts of linear refinement and intuitionistic restriction of logic such that the linear refinement of classical logic (CL) coincides with (classical) linear logic (LL), and its intuitionistic restriction with the linear refinement of intuitionistic logic (IL) into intuitionistic LL (ILL). However, LL is, in contradiction to the name, cannot be the linear refinement of CL at least from the game-semantic point of view due to its concu"},"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":"1912.07462","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2019-12-16T15:54:27Z","cross_cats_sorted":["cs.LO","math.CT"],"title_canon_sha256":"e0553d9993997f369fa6fa974244da34658d79543afcadfc71c9ed68348a5260","abstract_canon_sha256":"0fb4b73a6b620e66a686db5fe040e59eebe3e212a685578f4bc848647521417c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:26:21.868211Z","signature_b64":"+9EpcwzywCbiyhaLJwuv3WssN37HeJoUsQdmb1Mzj+mEpNUjYeFB5J6wUDXUNT33+wmsOhkUxCKTXVDkZxFpBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ea42297e1d2dc4f1cd570d0778a8b74db6169d0951001c2f0ac06d15c17f7004","last_reissued_at":"2026-07-05T00:26:21.867817Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:26:21.867817Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Unity of Logic: a Sequential, Unpolarized Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.CT"],"primary_cat":"math.LO","authors_text":"Norihiro Yamada","submitted_at":"2019-12-16T15:54:27Z","abstract_excerpt":"The present work aims to give a unity of logic via standard sequential, unpolarized games. Specifically, our vision is that there must be mathematically precise concepts of linear refinement and intuitionistic restriction of logic such that the linear refinement of classical logic (CL) coincides with (classical) linear logic (LL), and its intuitionistic restriction with the linear refinement of intuitionistic logic (IL) into intuitionistic LL (ILL). However, LL is, in contradiction to the name, cannot be the linear refinement of CL at least from the game-semantic point of view due to its concu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.07462","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1912.07462/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":"1912.07462","created_at":"2026-07-05T00:26:21.867872+00:00"},{"alias_kind":"arxiv_version","alias_value":"1912.07462v1","created_at":"2026-07-05T00:26:21.867872+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.07462","created_at":"2026-07-05T00:26:21.867872+00:00"},{"alias_kind":"pith_short_12","alias_value":"5JBCS7Q5FXCP","created_at":"2026-07-05T00:26:21.867872+00:00"},{"alias_kind":"pith_short_16","alias_value":"5JBCS7Q5FXCPDTKX","created_at":"2026-07-05T00:26:21.867872+00:00"},{"alias_kind":"pith_short_8","alias_value":"5JBCS7Q5","created_at":"2026-07-05T00:26:21.867872+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/5JBCS7Q5FXCPDTKXBUDXRKFXJW","json":"https://pith.science/pith/5JBCS7Q5FXCPDTKXBUDXRKFXJW.json","graph_json":"https://pith.science/api/pith-number/5JBCS7Q5FXCPDTKXBUDXRKFXJW/graph.json","events_json":"https://pith.science/api/pith-number/5JBCS7Q5FXCPDTKXBUDXRKFXJW/events.json","paper":"https://pith.science/paper/5JBCS7Q5"},"agent_actions":{"view_html":"https://pith.science/pith/5JBCS7Q5FXCPDTKXBUDXRKFXJW","download_json":"https://pith.science/pith/5JBCS7Q5FXCPDTKXBUDXRKFXJW.json","view_paper":"https://pith.science/paper/5JBCS7Q5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1912.07462&json=true","fetch_graph":"https://pith.science/api/pith-number/5JBCS7Q5FXCPDTKXBUDXRKFXJW/graph.json","fetch_events":"https://pith.science/api/pith-number/5JBCS7Q5FXCPDTKXBUDXRKFXJW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5JBCS7Q5FXCPDTKXBUDXRKFXJW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5JBCS7Q5FXCPDTKXBUDXRKFXJW/action/storage_attestation","attest_author":"https://pith.science/pith/5JBCS7Q5FXCPDTKXBUDXRKFXJW/action/author_attestation","sign_citation":"https://pith.science/pith/5JBCS7Q5FXCPDTKXBUDXRKFXJW/action/citation_signature","submit_replication":"https://pith.science/pith/5JBCS7Q5FXCPDTKXBUDXRKFXJW/action/replication_record"}},"created_at":"2026-07-05T00:26:21.867872+00:00","updated_at":"2026-07-05T00:26:21.867872+00:00"}