{"entities":{"Q2118967":{"pageid":2129710,"ns":120,"title":"Item:Q2118967","lastrevid":54263273,"modified":"2026-01-26T13:52:59Z","type":"item","id":"Q2118967","labels":{"en":{"language":"en","value":"Extending the Lambek calculus with classical negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7496494"}},"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":"Q2118967$468ECF52-49FA-4DC3-89A3-9DA8A8818DB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb0f6c4b474acdc36d9cddbb93a0aac5f2be28cb","datavalue":{"value":{"text":"Extending the Lambek calculus with classical negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118967$3F3A66F6-98A6-4EDF-9239-BA8BD259E866","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118967$F36260AF-B75E-4233-952E-BED2ABD2F196","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":"Q2118967$C228B3A1-1E7E-4BB9-A538-3D38269BB048","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aa1d2d8467e713a3bff3ca93031dfa09d4c4894","datavalue":{"value":{"time":"+2022-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118967$B0741E78-E34C-41B9-8168-BAA5C691CD2A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4897493e882f0dc8c664b36d9ae145e385d6265c","datavalue":{"value":"Let \\textbf{NL} be the non-associative Lambek calculus and S (our symbol) be the ternary relational semantics for \\textbf{NL} as defined in [\\textit{K. Do\u0161en}, Z. Math. Logik Grundlagen Math. 38, No. 2, 179--187 (1992; Zbl 0793.03025)]. Moreover, let negation be classically interpreted when ``a world satisfies the negation of a formula if and only if it does not satisfy the formula itself'' (p. 295). The question the author poses is how \\textbf{NL} has to be extended in order to obtain a sound and complete system w.r.t. S with the classical interpretation of negation just defined.  The author recalls some known items in the literature and claims that none of them answers the question he has posed. Then he defines the calculus \\textbf{NLN}\\(^{+}\\), which is proved sound and complete w.r.t. S with negation interpreted classically as defined above.  As the author notes (p. 296), ``the calculus \\textbf{NLN}\\(^{+}\\) is tightly related to \\textbf{PNL} -- the Lambek calculus extended with classical propositional logic'' defined by \\textit{M. Kaminski} and \\textit{N. Francez} [Stud. Log. 102, No. 3, 479--497 (2014; Zbl 1322.03018)]. So some results of the quoted work are used throughout the paper.  The author remarks (Remark 31) that \\textbf{NLN}\\(^{+}\\) is strongly decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118967$8E12800C-300F-428D-8AB0-92BED137476F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1337cba793ece012dc87025b12e0025a65ffdc83","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118967$1A24C04A-BD67-4B91-A5C7-73A6C5DE89A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118967$4BE1D6B5-E11C-452D-8238-721A7A9B4282","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c36fdec558c35d18a66f40e0e78fd7c8d243a40d","datavalue":{"value":"7496494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118967$FB084431-F86B-4C4F-8503-BA1BD0F8937E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118967$EB05B051-586E-4544-80B1-36EF56774360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d503007c80b0ea5702688662a8a7cac72e2090","datavalue":{"value":"classical negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118967$43D1CB40-F67C-4009-BFA1-415126C234D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de57c46fb6cfcb42a2f145f8d96ae682fdfff345","datavalue":{"value":"frame semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118967$DF401944-0FD4-485A-B15A-C601A511DC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118967$E467ACDC-EAE0-4710-8E6C-A75AC8837BC2","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":"Q2118967$FC183816-0B78-4B86-8F83-FAA5A3D372BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a51f1a6e9e7a649b525ef83f9817221c7561692","datavalue":{"value":"https://doi.org/10.1007/s11225-021-09965-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118967$AA1A8B79-FE70-48E4-A4E0-BC86C6A62112","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d0c8c20f2d19a23cb12a940b3f8bb331b65ae15","datavalue":{"value":"W3198797766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118967$B3D364A0-B3FF-47D9-B7F6-2E7DF7A45514","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ff3b35ecaf9e746fada073e4abd817e4e52535","datavalue":{"value":{"entity-type":"item","numeric-id":2751052,"id":"Q2751052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118967$219CDCCE-83D8-4B05-A94C-975AE2F00BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220b7352b10bcbac778b36ed177ae53ec8cb46a","datavalue":{"value":{"entity-type":"item","numeric-id":1850952,"id":"Q1850952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118967$0A3FC293-5DB7-47CD-B1A4-A224390FCCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a782c8f72fea36e1de25cf14ddbdf540dc4f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4295227,"id":"Q4295227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118967$31BFB8A2-2D55-4D0E-94FD-9EE894FC6E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1c04fe7e9f43754f5ad4c6f8f037f5bd01eb73","datavalue":{"value":{"entity-type":"item","numeric-id":456962,"id":"Q456962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118967$9BEBE301-87A3-45CC-B60B-67CE75ADFF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118967$69EFD3F0-BDDE-4A85-97BE-050606307347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9863d9cd5de0844c78da170b4017c1278d13e122","datavalue":{"value":{"entity-type":"item","numeric-id":4263490,"id":"Q4263490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118967$C6C3C70A-31B8-4A36-B08F-A657FF09A0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284983dd1b9e75b864a47b4b1e66012f1ccec7fb","datavalue":{"value":{"entity-type":"item","numeric-id":5435116,"id":"Q5435116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118967$3E4E5A79-0ED3-4FF0-8E83-1842837D164C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12eff3ada7b72c503829c35296b920d884873e84","datavalue":{"value":"10.1007/S11225-021-09965-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118967$D0FD1B47-DB19-446F-8546-AB0FA7D818EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aefecd13ad75ccea943623188f60531f378e8bf9","datavalue":{"value":{"entity-type":"item","numeric-id":1850952,"id":"Q1850952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6c7882bc355312d4bd9f46ebd3d8e68320d692","datavalue":{"value":{"amount":"+0.8519754409790039","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":"Q2118967$D73DDEAF-E98C-4A35-B3B1-19AEE7D77745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff347230f343bb1e918392d882c83b0aea3f05aa","datavalue":{"value":{"entity-type":"item","numeric-id":2963995,"id":"Q2963995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"803d6d8c1434ea6ff3e92021f0d1bdb1d2e1d55e","datavalue":{"value":{"amount":"+0.8475549221038818","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":"Q2118967$C49B6273-635D-4631-886D-219E77828E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb759d76704748bac1ae8f7240df662ed7c6271","datavalue":{"value":{"entity-type":"item","numeric-id":456962,"id":"Q456962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb3a6a09a936a853426218fd2d433a1451a51bd","datavalue":{"value":{"amount":"+0.840702474117279","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":"Q2118967$99DD4694-7EB8-4DEE-9216-9A30691D6FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e43d0efac3737ae734aadee2758433e086ebdd1","datavalue":{"value":{"entity-type":"item","numeric-id":2425321,"id":"Q2425321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06c2654fae8b67552518e237ad5df862aca6172","datavalue":{"value":{"amount":"+0.8248386383056641","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":"Q2118967$8D693BC9-C2EC-43D8-81DA-2A64B9EAD2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6574b72c4eb47bc0002f465bfe871799da7126de","datavalue":{"value":{"entity-type":"item","numeric-id":3389495,"id":"Q3389495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728f07200410c4ca5082f106976d45de080daf14","datavalue":{"value":{"amount":"+0.8150197267532349","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":"Q2118967$8F13400A-1716-49A7-B433-576F836C294B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118967"}}}}}