{"entities":{"Q1611249":{"pageid":1621989,"ns":120,"title":"Item:Q1611249","lastrevid":72333897,"modified":"2026-04-14T04:11:57Z","type":"item","id":"Q1611249","labels":{"en":{"language":"en","value":"On reduction systems equivalent to the Lambek calculus with the empty string"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1785607"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611249$AF090FF1-AABE-4035-A241-13DA3683D18C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d972029ec76b730b07d4f6cccd8b1356a0c90cc8","datavalue":{"value":{"text":"On reduction systems equivalent to the Lambek calculus with the empty string","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1611249$03FADEC8-8538-435A-96E4-C5934B198E7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a8a50d96c271c9aac53d353e953abb04c238aaa","datavalue":{"value":"1013.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611249$FB2C2EEA-5602-4DB5-89E6-BEE014CA5441","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33c9b48e3d38d6718b6bdf34caff116db40c9246","datavalue":{"value":"10.1023/A:1016382907414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611249$595FC3F4-70D6-4FD0-8C28-7D47A9CD9311","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"371051b807333e6b3e21f623f1262fb01adc833a","datavalue":{"value":{"entity-type":"item","numeric-id":209452,"id":"Q209452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611249$F2080ABD-0F39-48EA-9866-7AD25B4F2464","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611249$C5292A6C-0252-4F1B-A13E-C002F057872C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c29b947d701d478aa12d107bbc6ea14baaef48c","datavalue":{"value":{"time":"+2002-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1611249$A2409F20-FBA4-4AA5-868E-BA2EFB92D0DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9118a3c29c8153027d90ab45629604a904625ef4","datavalue":{"value":"This is one of the author's papers concerning the axiomatizability of the Lambek Calculus. The main result of the paper is the theorem saying that the product-free Lambek calculus with the empty string is not axiomatizable if Lambek's cut rule is the only admitted rule of inference. The proof of the theorem is technically rather complicated. It uses the cut-rule axiomatized calculus \\(C\\) and its special subsystems \\(C_{n}\\), \\(C_{n}^{R}\\), \\(C_{n}^{r}\\) introduced in order to simplify the proof. This reduction calculus, being the union of the chain \\((C_{n})\\), is equivalent to the Lambek Calculus with the empty string. The difficulties appearing in the solution of the problem described in the paper are connected with the type raising elimination.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611249$520B7BA0-D103-4B01-93C0-BAE78A2DEC33","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2a8ae310966d8907b73b3b6c369333d41663bd73","datavalue":{"value":{"entity-type":"item","numeric-id":592502,"id":"Q592502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611249$B4502FA3-F5B4-4F1F-A5B8-05A4F68380FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611249$D0E94899-414F-4F55-8E90-82D6FBAEB19B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78ef37d54a99a1eb7f0d470199acb0f2381cf002","datavalue":{"value":"1785607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611249$670D1D92-E10F-4086-A1D7-6BA5086EFAD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611249$843738D8-1C4F-4DCB-B61B-A8CC9DA0C2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611249$44F01CED-3F7B-4B62-B29F-709A32F32547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611249$C77346F7-1E17-451F-B7BD-7E45DBCA0609","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611249$8DE37A32-25CB-4F7C-8E8E-079FE691699B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0ced920ec4a2afa36c9fc4232cf06304fa63dc","datavalue":{"value":{"entity-type":"item","numeric-id":5432673,"id":"Q5432673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e632ec9c53a6aa365e90768fa0c5cbbfc6a998","datavalue":{"value":{"amount":"+0.904923677444458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611249$F4A22083-EE0F-4456-B533-24283E0DBC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92422263aa66d81aa1256b236807d6c4a66b4f78","datavalue":{"value":{"entity-type":"item","numeric-id":3577908,"id":"Q3577908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a27d6917538b9da11d9d31af33c86a9ae50132","datavalue":{"value":{"amount":"+0.903369665145874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611249$C6301A73-B0ED-4EA4-A7F5-02F6CC1D6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8965fef4ddae10eff9ee02ed53144fa76e8125b","datavalue":{"value":{"entity-type":"item","numeric-id":3030800,"id":"Q3030800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbd64f9f36c269ef654e3b6a51a018253a1f8f0","datavalue":{"value":{"amount":"+0.8436658978462219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611249$DC131A1B-FF7B-4F5F-83F3-5B69A2B5E079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a50fe8a9b6d485658da3382500f1baa08c67d9","datavalue":{"value":{"entity-type":"item","numeric-id":817678,"id":"Q817678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8828880fbe2dca05d7af5dff700e401ab94e47c9","datavalue":{"value":{"amount":"+0.8052812814712524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611249$0ED2012F-3A80-40D4-ACA0-B8586FE61114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ec4699df16aea84ac87b9105b4ef1661386b0b","datavalue":{"value":{"entity-type":"item","numeric-id":3600569,"id":"Q3600569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ef49013904b65584282ad202ff6e7ecdba3e1a","datavalue":{"value":{"amount":"+0.8048632740974426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611249$F59D5B64-7F74-409C-98C9-0CA221D4613B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On reduction systems equivalent to the Lambek calculus with the empty string","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_reduction_systems_equivalent_to_the_Lambek_calculus_with_the_empty_string"}}}}}