{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:JPG2MV3J4WA2PC7KUFMTJ2TOWK","short_pith_number":"pith:JPG2MV3J","schema_version":"1.0","canonical_sha256":"4bcda65769e581a78beaa15934ea6eb2a061d460514f898eca578df6efc521d3","source":{"kind":"arxiv","id":"1706.03033","version":1},"attestation_state":"computed","paper":{"title":"Computational Coverage of TLG: Nonlinearity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Glyn Morrill, Oriol Valent\\'in","submitted_at":"2017-06-09T16:48:58Z","abstract_excerpt":"We study nonlinear connectives (exponentials) in the context of Type Logical Grammar (TLG). We devise four conservative extensions of the displacement calculus with brackets, DbC, DbCM, DbCb and DbCbMr which contain the universal and existential exponential modalities of linear logic (LL). These modalities do not exhibit the same structural properties as in LL, which in TLG are especially adapted for linguistic purposes. The universal modality ! for TLG allows only the commutative and contraction rules, but not weakening, whereas the existential modality ? allows the so-called (intuitionistic)"},"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.03033","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-06-09T16:48:58Z","cross_cats_sorted":[],"title_canon_sha256":"31f27d4ff224af0418a6b39a2fc03418bdf7f4b99331862e2cc923c15b6d4635","abstract_canon_sha256":"bbed4bbd8512588aacb5cdabeca9975c94a2497c36b64363c8d5fc20d04ac1ae"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:40.206523Z","signature_b64":"JKKcqvjckJpyI6MXF793rryx3gzFyo/UM1Vp/jGP2taVDzt9nFjjccCmiBRf9gm6iTALyzw1+EKXAFkWnqj8DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4bcda65769e581a78beaa15934ea6eb2a061d460514f898eca578df6efc521d3","last_reissued_at":"2026-05-18T00:42:40.205942Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:40.205942Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computational Coverage of TLG: Nonlinearity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Glyn Morrill, Oriol Valent\\'in","submitted_at":"2017-06-09T16:48:58Z","abstract_excerpt":"We study nonlinear connectives (exponentials) in the context of Type Logical Grammar (TLG). We devise four conservative extensions of the displacement calculus with brackets, DbC, DbCM, DbCb and DbCbMr which contain the universal and existential exponential modalities of linear logic (LL). These modalities do not exhibit the same structural properties as in LL, which in TLG are especially adapted for linguistic purposes. The universal modality ! for TLG allows only the commutative and contraction rules, but not weakening, whereas the existential modality ? allows the so-called (intuitionistic)"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.03033","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.03033","created_at":"2026-05-18T00:42:40.206020+00:00"},{"alias_kind":"arxiv_version","alias_value":"1706.03033v1","created_at":"2026-05-18T00:42:40.206020+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.03033","created_at":"2026-05-18T00:42:40.206020+00:00"},{"alias_kind":"pith_short_12","alias_value":"JPG2MV3J4WA2","created_at":"2026-05-18T12:31:24.725408+00:00"},{"alias_kind":"pith_short_16","alias_value":"JPG2MV3J4WA2PC7K","created_at":"2026-05-18T12:31:24.725408+00:00"},{"alias_kind":"pith_short_8","alias_value":"JPG2MV3J","created_at":"2026-05-18T12:31:24.725408+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/JPG2MV3J4WA2PC7KUFMTJ2TOWK","json":"https://pith.science/pith/JPG2MV3J4WA2PC7KUFMTJ2TOWK.json","graph_json":"https://pith.science/api/pith-number/JPG2MV3J4WA2PC7KUFMTJ2TOWK/graph.json","events_json":"https://pith.science/api/pith-number/JPG2MV3J4WA2PC7KUFMTJ2TOWK/events.json","paper":"https://pith.science/paper/JPG2MV3J"},"agent_actions":{"view_html":"https://pith.science/pith/JPG2MV3J4WA2PC7KUFMTJ2TOWK","download_json":"https://pith.science/pith/JPG2MV3J4WA2PC7KUFMTJ2TOWK.json","view_paper":"https://pith.science/paper/JPG2MV3J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1706.03033&json=true","fetch_graph":"https://pith.science/api/pith-number/JPG2MV3J4WA2PC7KUFMTJ2TOWK/graph.json","fetch_events":"https://pith.science/api/pith-number/JPG2MV3J4WA2PC7KUFMTJ2TOWK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JPG2MV3J4WA2PC7KUFMTJ2TOWK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JPG2MV3J4WA2PC7KUFMTJ2TOWK/action/storage_attestation","attest_author":"https://pith.science/pith/JPG2MV3J4WA2PC7KUFMTJ2TOWK/action/author_attestation","sign_citation":"https://pith.science/pith/JPG2MV3J4WA2PC7KUFMTJ2TOWK/action/citation_signature","submit_replication":"https://pith.science/pith/JPG2MV3J4WA2PC7KUFMTJ2TOWK/action/replication_record"}},"created_at":"2026-05-18T00:42:40.206020+00:00","updated_at":"2026-05-18T00:42:40.206020+00:00"}