{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:J67D7DXPXR73XV2EZKF4ICHQKN","short_pith_number":"pith:J67D7DXP","schema_version":"1.0","canonical_sha256":"4fbe3f8eefbc7fbbd744ca8bc408f0536ce571a5da175529888a2b9de4b7e685","source":{"kind":"arxiv","id":"1908.05528","version":4},"attestation_state":"computed","paper":{"title":"Vector spaces as Kripke frames","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.LO","authors_text":"Alessandra Palmigiano, Apostolos Tzimoulis, Fei Liang, Giuseppe Greco, Michael Moortgat","submitted_at":"2019-08-15T13:26:44Z","abstract_excerpt":"In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the \\emph{lexical} aspects of meaning into Lambek's type-logical grammar program. This approach is based on the observation that a sound semantics for the associative, commutative and unital Lambek calculus can be based on vector spaces by interpreting fusion as the tensor product of vector spaces.\n  In this paper, we build on this observation and extend it to a `vector space semantics' for the \\emph{general} Lambek calculus, based on \\emph{algebras over a field} $\\m"},"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":"1908.05528","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-15T13:26:44Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"8cebcbb1a95d36c235b7b7561bb1a4e2b98d135c31247f700a3e6436ed3bb738","abstract_canon_sha256":"f3897b1813c4619ab5ee2c63fda56bf12d96b5636ddfa819aaf4137e7d16eff6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:39:40.166475Z","signature_b64":"MtF6ti+6IOzAPEVCqLRMAlRCzYruNVLlAF8au2TbAXgbQ82XKL+ptMlPI1PBsGz1gXoGxEu8Sfxagj2GJZIGAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4fbe3f8eefbc7fbbd744ca8bc408f0536ce571a5da175529888a2b9de4b7e685","last_reissued_at":"2026-07-05T02:39:40.166088Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:39:40.166088Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Vector spaces as Kripke frames","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"cs.LO","authors_text":"Alessandra Palmigiano, Apostolos Tzimoulis, Fei Liang, Giuseppe Greco, Michael Moortgat","submitted_at":"2019-08-15T13:26:44Z","abstract_excerpt":"In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the \\emph{lexical} aspects of meaning into Lambek's type-logical grammar program. This approach is based on the observation that a sound semantics for the associative, commutative and unital Lambek calculus can be based on vector spaces by interpreting fusion as the tensor product of vector spaces.\n  In this paper, we build on this observation and extend it to a `vector space semantics' for the \\emph{general} Lambek calculus, based on \\emph{algebras over a field} $\\m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.05528","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1908.05528/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"1908.05528","created_at":"2026-07-05T02:39:40.166152+00:00"},{"alias_kind":"arxiv_version","alias_value":"1908.05528v4","created_at":"2026-07-05T02:39:40.166152+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.05528","created_at":"2026-07-05T02:39:40.166152+00:00"},{"alias_kind":"pith_short_12","alias_value":"J67D7DXPXR73","created_at":"2026-07-05T02:39:40.166152+00:00"},{"alias_kind":"pith_short_16","alias_value":"J67D7DXPXR73XV2E","created_at":"2026-07-05T02:39:40.166152+00:00"},{"alias_kind":"pith_short_8","alias_value":"J67D7DXP","created_at":"2026-07-05T02:39:40.166152+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/J67D7DXPXR73XV2EZKF4ICHQKN","json":"https://pith.science/pith/J67D7DXPXR73XV2EZKF4ICHQKN.json","graph_json":"https://pith.science/api/pith-number/J67D7DXPXR73XV2EZKF4ICHQKN/graph.json","events_json":"https://pith.science/api/pith-number/J67D7DXPXR73XV2EZKF4ICHQKN/events.json","paper":"https://pith.science/paper/J67D7DXP"},"agent_actions":{"view_html":"https://pith.science/pith/J67D7DXPXR73XV2EZKF4ICHQKN","download_json":"https://pith.science/pith/J67D7DXPXR73XV2EZKF4ICHQKN.json","view_paper":"https://pith.science/paper/J67D7DXP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1908.05528&json=true","fetch_graph":"https://pith.science/api/pith-number/J67D7DXPXR73XV2EZKF4ICHQKN/graph.json","fetch_events":"https://pith.science/api/pith-number/J67D7DXPXR73XV2EZKF4ICHQKN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/J67D7DXPXR73XV2EZKF4ICHQKN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/J67D7DXPXR73XV2EZKF4ICHQKN/action/storage_attestation","attest_author":"https://pith.science/pith/J67D7DXPXR73XV2EZKF4ICHQKN/action/author_attestation","sign_citation":"https://pith.science/pith/J67D7DXPXR73XV2EZKF4ICHQKN/action/citation_signature","submit_replication":"https://pith.science/pith/J67D7DXPXR73XV2EZKF4ICHQKN/action/replication_record"}},"created_at":"2026-07-05T02:39:40.166152+00:00","updated_at":"2026-07-05T02:39:40.166152+00:00"}