{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:BDQZ7PJ2OE4BRDYIJW4WHTQNTT","short_pith_number":"pith:BDQZ7PJ2","schema_version":"1.0","canonical_sha256":"08e19fbd3a7138188f084db963ce0d9cf699455c8d2a66d4f9cdcf0c89cc110d","source":{"kind":"arxiv","id":"2402.01982","version":5},"attestation_state":"computed","paper":{"title":"A Proof-theoretic Semantics for Intuitionistic Linear Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Yll Buzoku","submitted_at":"2024-02-03T01:40:13Z","abstract_excerpt":"The approach taken by Gheorghiu, Gu and Pym in their paper on giving a base-extension semantics for Intuitionistic Multiplicative Linear Logic is an interesting adaptation of the work of Sandqvist for IPL to the substructural setting. What is particularly interesting is how naturally the move to the substructural setting provided a semantics for the multiplicative fragment of intuitionistic linear logic. Whilst ultimately the Gheorghiu, Gu and Pym used their foundations to provide a semantics for bunched implication logic, it begs the question, what of the rest of intuitionistic linear logic? "},"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":"2402.01982","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-02-03T01:40:13Z","cross_cats_sorted":[],"title_canon_sha256":"d9596de389ec7d2c6cd3400651437caed5eda0225ab178ff3e057d3d6c6649c7","abstract_canon_sha256":"1a9362602073d4fb91edf38956d0442700a6dbf77f6253a19a5e54a9e37a9cb7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-12T01:09:04.135200Z","signature_b64":"LYdvpYIiPROBK5JKKKmYhbNaZaRkXUvnJuTyDixagGa5QEorhRd07q3TiKwBHjCmtUOCoYyL0wC3J0syFtHgAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"08e19fbd3a7138188f084db963ce0d9cf699455c8d2a66d4f9cdcf0c89cc110d","last_reissued_at":"2026-06-12T01:09:04.134130Z","signature_status":"signed_v1","first_computed_at":"2026-06-12T01:09:04.134130Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Proof-theoretic Semantics for Intuitionistic Linear Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Yll Buzoku","submitted_at":"2024-02-03T01:40:13Z","abstract_excerpt":"The approach taken by Gheorghiu, Gu and Pym in their paper on giving a base-extension semantics for Intuitionistic Multiplicative Linear Logic is an interesting adaptation of the work of Sandqvist for IPL to the substructural setting. What is particularly interesting is how naturally the move to the substructural setting provided a semantics for the multiplicative fragment of intuitionistic linear logic. Whilst ultimately the Gheorghiu, Gu and Pym used their foundations to provide a semantics for bunched implication logic, it begs the question, what of the rest of intuitionistic linear logic? "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.01982","kind":"arxiv","version":5},"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/2402.01982/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":"2402.01982","created_at":"2026-06-12T01:09:04.134267+00:00"},{"alias_kind":"arxiv_version","alias_value":"2402.01982v5","created_at":"2026-06-12T01:09:04.134267+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.01982","created_at":"2026-06-12T01:09:04.134267+00:00"},{"alias_kind":"pith_short_12","alias_value":"BDQZ7PJ2OE4B","created_at":"2026-06-12T01:09:04.134267+00:00"},{"alias_kind":"pith_short_16","alias_value":"BDQZ7PJ2OE4BRDYI","created_at":"2026-06-12T01:09:04.134267+00:00"},{"alias_kind":"pith_short_8","alias_value":"BDQZ7PJ2","created_at":"2026-06-12T01:09:04.134267+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/BDQZ7PJ2OE4BRDYIJW4WHTQNTT","json":"https://pith.science/pith/BDQZ7PJ2OE4BRDYIJW4WHTQNTT.json","graph_json":"https://pith.science/api/pith-number/BDQZ7PJ2OE4BRDYIJW4WHTQNTT/graph.json","events_json":"https://pith.science/api/pith-number/BDQZ7PJ2OE4BRDYIJW4WHTQNTT/events.json","paper":"https://pith.science/paper/BDQZ7PJ2"},"agent_actions":{"view_html":"https://pith.science/pith/BDQZ7PJ2OE4BRDYIJW4WHTQNTT","download_json":"https://pith.science/pith/BDQZ7PJ2OE4BRDYIJW4WHTQNTT.json","view_paper":"https://pith.science/paper/BDQZ7PJ2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2402.01982&json=true","fetch_graph":"https://pith.science/api/pith-number/BDQZ7PJ2OE4BRDYIJW4WHTQNTT/graph.json","fetch_events":"https://pith.science/api/pith-number/BDQZ7PJ2OE4BRDYIJW4WHTQNTT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BDQZ7PJ2OE4BRDYIJW4WHTQNTT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BDQZ7PJ2OE4BRDYIJW4WHTQNTT/action/storage_attestation","attest_author":"https://pith.science/pith/BDQZ7PJ2OE4BRDYIJW4WHTQNTT/action/author_attestation","sign_citation":"https://pith.science/pith/BDQZ7PJ2OE4BRDYIJW4WHTQNTT/action/citation_signature","submit_replication":"https://pith.science/pith/BDQZ7PJ2OE4BRDYIJW4WHTQNTT/action/replication_record"}},"created_at":"2026-06-12T01:09:04.134267+00:00","updated_at":"2026-06-12T01:09:04.134267+00:00"}