{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:CPQ4DKYBF5AM36GCP3MSRVEDIB","short_pith_number":"pith:CPQ4DKYB","schema_version":"1.0","canonical_sha256":"13e1c1ab012f40cdf8c27ed928d483404ff3c75cde7cb4d483034d2b9e9b08c5","source":{"kind":"arxiv","id":"1101.4424","version":1},"attestation_state":"computed","paper":{"title":"Intersection Logic in sequent calculus style","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Alexis Saurin (Laboratoire CNR PPS, Anastasia Veneti (Department of Mathematics University of Athens Greece), Greece), INRIA Paris France), Simona Ronchi Della Rocca (Universita' di Torino Dipartimento di Informatica Torino Italy), University of Athens, Yiorgos Stavrinos (Department of Mathematics","submitted_at":"2011-01-24T01:39:22Z","abstract_excerpt":"The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the logic is not standard. Between all the logics that have been proposed as its foundation, we consider ISL, which gives a logical interpretation of the intersection by splitting the intuitionistic conjunction into two connectives, with a local and global behaviour respectively, being the intersection the local one. We think ISL is a logic interesting by itself, a"},"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":"1101.4424","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-24T01:39:22Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"93200dbb1dcf751e72efb3bb6808ad16f209f3fb6746af91b42fa77087b6c02c","abstract_canon_sha256":"8372aa16509e179dceb9e327f7dc0f04d6bf7150128711b5719ace32d3ae20c7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:31:11.054410Z","signature_b64":"q3OHiho9W79qFV8sjFAfxBNj/CKQGWad9iiyVky5iHnprj4O2A2991cLsvJ893kYYBGI1NQrPHNIX7xKrT1vDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"13e1c1ab012f40cdf8c27ed928d483404ff3c75cde7cb4d483034d2b9e9b08c5","last_reissued_at":"2026-05-18T04:31:11.053699Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:31:11.053699Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Intersection Logic in sequent calculus style","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Alexis Saurin (Laboratoire CNR PPS, Anastasia Veneti (Department of Mathematics University of Athens Greece), Greece), INRIA Paris France), Simona Ronchi Della Rocca (Universita' di Torino Dipartimento di Informatica Torino Italy), University of Athens, Yiorgos Stavrinos (Department of Mathematics","submitted_at":"2011-01-24T01:39:22Z","abstract_excerpt":"The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the logic is not standard. Between all the logics that have been proposed as its foundation, we consider ISL, which gives a logical interpretation of the intersection by splitting the intuitionistic conjunction into two connectives, with a local and global behaviour respectively, being the intersection the local one. We think ISL is a logic interesting by itself, a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.4424","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":"1101.4424","created_at":"2026-05-18T04:31:11.053813+00:00"},{"alias_kind":"arxiv_version","alias_value":"1101.4424v1","created_at":"2026-05-18T04:31:11.053813+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.4424","created_at":"2026-05-18T04:31:11.053813+00:00"},{"alias_kind":"pith_short_12","alias_value":"CPQ4DKYBF5AM","created_at":"2026-05-18T12:26:26.731475+00:00"},{"alias_kind":"pith_short_16","alias_value":"CPQ4DKYBF5AM36GC","created_at":"2026-05-18T12:26:26.731475+00:00"},{"alias_kind":"pith_short_8","alias_value":"CPQ4DKYB","created_at":"2026-05-18T12:26:26.731475+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/CPQ4DKYBF5AM36GCP3MSRVEDIB","json":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB.json","graph_json":"https://pith.science/api/pith-number/CPQ4DKYBF5AM36GCP3MSRVEDIB/graph.json","events_json":"https://pith.science/api/pith-number/CPQ4DKYBF5AM36GCP3MSRVEDIB/events.json","paper":"https://pith.science/paper/CPQ4DKYB"},"agent_actions":{"view_html":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB","download_json":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB.json","view_paper":"https://pith.science/paper/CPQ4DKYB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1101.4424&json=true","fetch_graph":"https://pith.science/api/pith-number/CPQ4DKYBF5AM36GCP3MSRVEDIB/graph.json","fetch_events":"https://pith.science/api/pith-number/CPQ4DKYBF5AM36GCP3MSRVEDIB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/action/storage_attestation","attest_author":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/action/author_attestation","sign_citation":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/action/citation_signature","submit_replication":"https://pith.science/pith/CPQ4DKYBF5AM36GCP3MSRVEDIB/action/replication_record"}},"created_at":"2026-05-18T04:31:11.053813+00:00","updated_at":"2026-05-18T04:31:11.053813+00:00"}