{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:3UKCKGO6RE6AWUH53U5ASHBLHY","short_pith_number":"pith:3UKCKGO6","schema_version":"1.0","canonical_sha256":"dd142519de893c0b50fddd3a091c2b3e0f77057393bb5ff7b3f0b63790b8bbed","source":{"kind":"arxiv","id":"1706.03244","version":1},"attestation_state":"computed","paper":{"title":"Models for the Displacement Calculus","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Oriol Valent\\'in","submitted_at":"2017-06-10T15:04:39Z","abstract_excerpt":"The displacement calculus $\\mathbf{D}$ is a conservative extension of the Lambek calculus $\\mathbf{L1}$ (with empty antecedents allowed in sequents). $\\mathbf{L1}$ can be said to be the logic of concatenation, while $\\mathbf{D}$ can be said to be the logic of concatenation and intercalation. In many senses, it can be claimed that $\\mathbf{D}$ mimics $\\mathbf{L1}$ in that the proof theory, generative capacity and complexity of the former calculus are natural extensions of the latter calculus. In this paper, we strengthen this claim. We present the appropriate classes of models for $\\mathbf{D}$ "},"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":"1706.03244","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-10T15:04:39Z","cross_cats_sorted":[],"title_canon_sha256":"1de3cebabf503bf6e25549343c0d4e14b847b6e7352daf26b45ea89e6467489c","abstract_canon_sha256":"22d18f4defea6aa222defd2cef1fa8cfc5948afd4a201a5add20b6f74f215dc7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:38.076594Z","signature_b64":"rg3+sXpd1yv4uUn4uIIM7BKw7c5p0LsHORwtaCNS0AG671gqGw0trbxlN8M8rGzibn98mu0R+23Z5ts/3cwXAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd142519de893c0b50fddd3a091c2b3e0f77057393bb5ff7b3f0b63790b8bbed","last_reissued_at":"2026-05-18T00:42:38.075850Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:38.075850Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Models for the Displacement Calculus","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Oriol Valent\\'in","submitted_at":"2017-06-10T15:04:39Z","abstract_excerpt":"The displacement calculus $\\mathbf{D}$ is a conservative extension of the Lambek calculus $\\mathbf{L1}$ (with empty antecedents allowed in sequents). $\\mathbf{L1}$ can be said to be the logic of concatenation, while $\\mathbf{D}$ can be said to be the logic of concatenation and intercalation. In many senses, it can be claimed that $\\mathbf{D}$ mimics $\\mathbf{L1}$ in that the proof theory, generative capacity and complexity of the former calculus are natural extensions of the latter calculus. In this paper, we strengthen this claim. We present the appropriate classes of models for $\\mathbf{D}$ "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.03244","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":"1706.03244","created_at":"2026-05-18T00:42:38.075974+00:00"},{"alias_kind":"arxiv_version","alias_value":"1706.03244v1","created_at":"2026-05-18T00:42:38.075974+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.03244","created_at":"2026-05-18T00:42:38.075974+00:00"},{"alias_kind":"pith_short_12","alias_value":"3UKCKGO6RE6A","created_at":"2026-05-18T12:30:58.224056+00:00"},{"alias_kind":"pith_short_16","alias_value":"3UKCKGO6RE6AWUH5","created_at":"2026-05-18T12:30:58.224056+00:00"},{"alias_kind":"pith_short_8","alias_value":"3UKCKGO6","created_at":"2026-05-18T12:30:58.224056+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/3UKCKGO6RE6AWUH53U5ASHBLHY","json":"https://pith.science/pith/3UKCKGO6RE6AWUH53U5ASHBLHY.json","graph_json":"https://pith.science/api/pith-number/3UKCKGO6RE6AWUH53U5ASHBLHY/graph.json","events_json":"https://pith.science/api/pith-number/3UKCKGO6RE6AWUH53U5ASHBLHY/events.json","paper":"https://pith.science/paper/3UKCKGO6"},"agent_actions":{"view_html":"https://pith.science/pith/3UKCKGO6RE6AWUH53U5ASHBLHY","download_json":"https://pith.science/pith/3UKCKGO6RE6AWUH53U5ASHBLHY.json","view_paper":"https://pith.science/paper/3UKCKGO6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1706.03244&json=true","fetch_graph":"https://pith.science/api/pith-number/3UKCKGO6RE6AWUH53U5ASHBLHY/graph.json","fetch_events":"https://pith.science/api/pith-number/3UKCKGO6RE6AWUH53U5ASHBLHY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3UKCKGO6RE6AWUH53U5ASHBLHY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3UKCKGO6RE6AWUH53U5ASHBLHY/action/storage_attestation","attest_author":"https://pith.science/pith/3UKCKGO6RE6AWUH53U5ASHBLHY/action/author_attestation","sign_citation":"https://pith.science/pith/3UKCKGO6RE6AWUH53U5ASHBLHY/action/citation_signature","submit_replication":"https://pith.science/pith/3UKCKGO6RE6AWUH53U5ASHBLHY/action/replication_record"}},"created_at":"2026-05-18T00:42:38.075974+00:00","updated_at":"2026-05-18T00:42:38.075974+00:00"}