{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:XJQNLZATWP7I4RYM5PL6IYOULZ","short_pith_number":"pith:XJQNLZAT","schema_version":"1.0","canonical_sha256":"ba60d5e413b3fe8e470cebd7e461d45e49d7ad7e093b37835ed32146088e55ed","source":{"kind":"arxiv","id":"1503.00886","version":3},"attestation_state":"computed","paper":{"title":"On Geometry of Interaction for Polarized Linear Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Masahiro Hamano, Philip Scott","submitted_at":"2015-03-03T10:38:18Z","abstract_excerpt":"We present Geometry of Interaction (GoI) models for Multiplicative Polarized Linear Logic, MLLP, which is the multiplicative fragment of Olivier Laurent's Polarized Linear Logic. This is done by uniformly adding multipoints to various categorical models of GoI. Multipoints are shown to play an essential role in semantically characterizing the dynamics of proof networks in polarized proof theory. For example, they permit us to characterize the key feature of polarization, focusing, as well as being fundamental to our construction of concrete polarized GoI models.\n  Our approach to polarized GoI"},"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":"1503.00886","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-03T10:38:18Z","cross_cats_sorted":[],"title_canon_sha256":"879d510960d327b13cfe3d9a2cba378424a43e121992f81c19a84351bca0c7fe","abstract_canon_sha256":"07f419772f0df38266402fc36e2ff5ec638af226f4eb904ec4486d3029ac4702"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:53.830492Z","signature_b64":"mKGT2kRV8IAz7LxQ7bn0QeVIPpB/aHgzcWBSH1yy11TG4RbQyFEF0qc6wCoHugKzPDpJeovMvem+8w69DyUCCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba60d5e413b3fe8e470cebd7e461d45e49d7ad7e093b37835ed32146088e55ed","last_reissued_at":"2026-05-18T00:46:53.830018Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:53.830018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Geometry of Interaction for Polarized Linear Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Masahiro Hamano, Philip Scott","submitted_at":"2015-03-03T10:38:18Z","abstract_excerpt":"We present Geometry of Interaction (GoI) models for Multiplicative Polarized Linear Logic, MLLP, which is the multiplicative fragment of Olivier Laurent's Polarized Linear Logic. This is done by uniformly adding multipoints to various categorical models of GoI. Multipoints are shown to play an essential role in semantically characterizing the dynamics of proof networks in polarized proof theory. For example, they permit us to characterize the key feature of polarization, focusing, as well as being fundamental to our construction of concrete polarized GoI models.\n  Our approach to polarized GoI"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.00886","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":""},"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":"1503.00886","created_at":"2026-05-18T00:46:53.830090+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.00886v3","created_at":"2026-05-18T00:46:53.830090+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.00886","created_at":"2026-05-18T00:46:53.830090+00:00"},{"alias_kind":"pith_short_12","alias_value":"XJQNLZATWP7I","created_at":"2026-05-18T12:29:50.041715+00:00"},{"alias_kind":"pith_short_16","alias_value":"XJQNLZATWP7I4RYM","created_at":"2026-05-18T12:29:50.041715+00:00"},{"alias_kind":"pith_short_8","alias_value":"XJQNLZAT","created_at":"2026-05-18T12:29:50.041715+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/XJQNLZATWP7I4RYM5PL6IYOULZ","json":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ.json","graph_json":"https://pith.science/api/pith-number/XJQNLZATWP7I4RYM5PL6IYOULZ/graph.json","events_json":"https://pith.science/api/pith-number/XJQNLZATWP7I4RYM5PL6IYOULZ/events.json","paper":"https://pith.science/paper/XJQNLZAT"},"agent_actions":{"view_html":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ","download_json":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ.json","view_paper":"https://pith.science/paper/XJQNLZAT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.00886&json=true","fetch_graph":"https://pith.science/api/pith-number/XJQNLZATWP7I4RYM5PL6IYOULZ/graph.json","fetch_events":"https://pith.science/api/pith-number/XJQNLZATWP7I4RYM5PL6IYOULZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/action/storage_attestation","attest_author":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/action/author_attestation","sign_citation":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/action/citation_signature","submit_replication":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/action/replication_record"}},"created_at":"2026-05-18T00:46:53.830090+00:00","updated_at":"2026-05-18T00:46:53.830090+00:00"}