{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:VBWKNGHWL2BKEGQ5UKNSNQ5GRS","short_pith_number":"pith:VBWKNGHW","schema_version":"1.0","canonical_sha256":"a86ca698f65e82a21a1da29b26c3a68c9677d1353b26b1e0cfe98b433fa8b436","source":{"kind":"arxiv","id":"1601.06303","version":4},"attestation_state":"computed","paper":{"title":"Undecidability of the Lambek calculus with a relevant modality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"math.LO","authors_text":"Andre Scedrov, Max Kanovich, Stepan Kuznetsov","submitted_at":"2016-01-23T19:48:54Z","abstract_excerpt":"Morrill and Valentin in the paper \"Computational coverage of TLG: Nonlinearity\" considered an extension of the Lambek calculus enriched by a so-called \"exponential\" modality. This modality behaves in the \"relevant\" style, that is, it allows contraction and permutation, but not weakening. Morrill and Valentin stated an open problem whether this system is decidable. Here we show its undecidability. Our result remains valid if we consider the fragment where all division operations have one direction. We also show that the derivability problem in a restricted case, where the modality can be applie"},"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":"1601.06303","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2016-01-23T19:48:54Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"dad2a7451ff8f135fde059c694a5f0611fc37bbea4c359e59382d06dd55dc9ed","abstract_canon_sha256":"0be4c090311bc54e5d7d471329a8309a0dd5ecbb8c16aa3f7fee981d9db1137c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:41.858815Z","signature_b64":"m6XKb2JPD42ZCsYCSCYbuncp0jLhJZrpR/fPFf693zZfgv8NC4EXpZ8hG2237PLYpCl/x6PHJpnOhHxv42XhAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a86ca698f65e82a21a1da29b26c3a68c9677d1353b26b1e0cfe98b433fa8b436","last_reissued_at":"2026-05-18T01:09:41.858348Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:41.858348Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Undecidability of the Lambek calculus with a relevant modality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"math.LO","authors_text":"Andre Scedrov, Max Kanovich, Stepan Kuznetsov","submitted_at":"2016-01-23T19:48:54Z","abstract_excerpt":"Morrill and Valentin in the paper \"Computational coverage of TLG: Nonlinearity\" considered an extension of the Lambek calculus enriched by a so-called \"exponential\" modality. This modality behaves in the \"relevant\" style, that is, it allows contraction and permutation, but not weakening. Morrill and Valentin stated an open problem whether this system is decidable. Here we show its undecidability. Our result remains valid if we consider the fragment where all division operations have one direction. We also show that the derivability problem in a restricted case, where the modality can be applie"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.06303","kind":"arxiv","version":4},"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":"1601.06303","created_at":"2026-05-18T01:09:41.858414+00:00"},{"alias_kind":"arxiv_version","alias_value":"1601.06303v4","created_at":"2026-05-18T01:09:41.858414+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.06303","created_at":"2026-05-18T01:09:41.858414+00:00"},{"alias_kind":"pith_short_12","alias_value":"VBWKNGHWL2BK","created_at":"2026-05-18T12:30:48.956258+00:00"},{"alias_kind":"pith_short_16","alias_value":"VBWKNGHWL2BKEGQ5","created_at":"2026-05-18T12:30:48.956258+00:00"},{"alias_kind":"pith_short_8","alias_value":"VBWKNGHW","created_at":"2026-05-18T12:30:48.956258+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/VBWKNGHWL2BKEGQ5UKNSNQ5GRS","json":"https://pith.science/pith/VBWKNGHWL2BKEGQ5UKNSNQ5GRS.json","graph_json":"https://pith.science/api/pith-number/VBWKNGHWL2BKEGQ5UKNSNQ5GRS/graph.json","events_json":"https://pith.science/api/pith-number/VBWKNGHWL2BKEGQ5UKNSNQ5GRS/events.json","paper":"https://pith.science/paper/VBWKNGHW"},"agent_actions":{"view_html":"https://pith.science/pith/VBWKNGHWL2BKEGQ5UKNSNQ5GRS","download_json":"https://pith.science/pith/VBWKNGHWL2BKEGQ5UKNSNQ5GRS.json","view_paper":"https://pith.science/paper/VBWKNGHW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1601.06303&json=true","fetch_graph":"https://pith.science/api/pith-number/VBWKNGHWL2BKEGQ5UKNSNQ5GRS/graph.json","fetch_events":"https://pith.science/api/pith-number/VBWKNGHWL2BKEGQ5UKNSNQ5GRS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VBWKNGHWL2BKEGQ5UKNSNQ5GRS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VBWKNGHWL2BKEGQ5UKNSNQ5GRS/action/storage_attestation","attest_author":"https://pith.science/pith/VBWKNGHWL2BKEGQ5UKNSNQ5GRS/action/author_attestation","sign_citation":"https://pith.science/pith/VBWKNGHWL2BKEGQ5UKNSNQ5GRS/action/citation_signature","submit_replication":"https://pith.science/pith/VBWKNGHWL2BKEGQ5UKNSNQ5GRS/action/replication_record"}},"created_at":"2026-05-18T01:09:41.858414+00:00","updated_at":"2026-05-18T01:09:41.858414+00:00"}