{"entities":{"Q456962":{"pageid":458729,"ns":120,"title":"Item:Q456962","lastrevid":61977063,"modified":"2026-04-11T02:56:07Z","type":"item","id":"Q456962","labels":{"en":{"language":"en","value":"Relational semantics of the Lambek calculus extended with classical propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348339"}},"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":"Q456962$B53977D2-DA54-4380-A409-4C9B2859F803","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"477aec6db6c5ec9321c7722efe02985dff4352de","datavalue":{"value":{"text":"Relational semantics of the Lambek calculus extended with classical propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456962$8C4803EB-2BEB-4BB6-9AE4-D83529195FBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bfbcad8217f1f13331d44452e7d30bdf3da6edd","datavalue":{"value":"1322.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456962$D96CBBE6-741B-4EC4-BDBE-783148EAC8B5","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":"Q456962$983EA611-EBFA-4659-8A38-F1A38C52DB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$6A5E79B0-AB79-42AB-984B-28F8EB020DBF","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":"Q456962$1220CD0D-29BC-44EE-9E02-58C471A26F97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456962$944D418B-462B-46CB-9F40-2ADCFBE701CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"85fb2d09dd27e728a88fb34e55c3724c6fa835db","datavalue":{"value":"There are known different variants of Lambek calculus that is used as a formal system for deriving reduction laws of syntactic types. The authors consider nonassociative and associative Lambek calculus extended with propositional connectives (PLN and PL, respectively).  There are two main results of the paper. The first of them is the completeness theorem of PLN with respect to relational semantics. A corollary from this theorem is that PLN is a conservative extension of nonassociative Lambek calulus and of classical propositional logic.  The second result of the paper is the decidability of PLN. It follows from the finite model property (FMP) of relational semantics. The authors obtain the FMP for nonassociative Lambek calculus using a filtration technique.","type":"string"},"datatype":"string"},"type":"statement","id":"Q456962$A3B57613-591C-436B-8348-96255B20B896","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":"Q456962$AE286AC1-FBD6-400D-A8D3-30B6692CF82E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456962$6A92C55A-E7A8-4FD7-8888-D39979233596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456962$76FEDE0C-3828-4893-8153-5F0A6D6AC94E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5b022be18910620d2517c29f22bd62cd81bad43","datavalue":{"value":"6348339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456962$3F7C8975-2A87-4AC2-8042-FFD4760604E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q456962$ACD2408C-E705-4B4F-B72A-B331438DE07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df77f2afa8ca62239e47852d54f9766f3fb1714","datavalue":{"value":"relational semantics, classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q456962$C4D968F2-45CE-4C6F-88B1-448C3AE462C8","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":"Q456962$694A6D20-04E3-4C88-A78C-D41C0E1372FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7156442bb043c6b0004e2385b2afe6550435f24a","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9474-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q456962$5CC1B0CD-62F6-4E13-AC41-58220F010772","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63fb483fb5fa37710fc311c3ffc1e1fd391fe272","datavalue":{"value":"W2150146971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456962$F3736963-35AD-455B-8BAA-F94B3B21F132","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$71A6A175-F141-49FE-8B69-959174190505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a3a63110540e7ae651a3c4bb8189b881770fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3964531,"id":"Q3964531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$7525E533-633F-4E46-B960-F1AC1559E038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"859ef89c6ac39d72628b3698933598970664fee9","datavalue":{"value":{"entity-type":"item","numeric-id":3964532,"id":"Q3964532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$BEB724B8-1258-4CB0-9FB3-98471E2B7C24","rank":"normal"},{"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":"Q456962$5574CEAB-A39B-4734-AF35-EA9AC0EB2D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7199a76e97a34e5bb92650a813ab6a9b995ca91","datavalue":{"value":{"entity-type":"item","numeric-id":2885171,"id":"Q2885171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$000F1921-330F-4117-8A29-85F012B74C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de59f2cab5144b1a48f2af6eca8fa0fcb14e9452","datavalue":{"value":{"entity-type":"item","numeric-id":3630172,"id":"Q3630172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$2CE2EC13-0AA3-4255-9E4D-74579219B3CB","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":"Q456962$6F2E95EA-5DF8-44E9-B938-DEB1C1BE0FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28bc09c309998a4ba90499dba0167e6792905bbb","datavalue":{"value":{"entity-type":"item","numeric-id":1314290,"id":"Q1314290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$9064BE29-DF98-4B90-ABCA-FB03E364BF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$AA49A8B9-8DC4-4137-B373-AF49B615C7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0c6c32bf52b1fbfcbfb2acf8fe25ac68b8ffd2","datavalue":{"value":{"entity-type":"item","numeric-id":3585007,"id":"Q3585007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$6CAD2893-5673-45F2-9FD7-865F458793AB","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":"Q456962$63AC86DD-F6B8-4DED-98D7-BC5D85AE9C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$3C32299D-8926-4630-9325-7B89EF020C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216ffba108b697b8ad4d0951ae283e2e0d09a945","datavalue":{"value":{"entity-type":"item","numeric-id":1899151,"id":"Q1899151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$F22DAE7F-3812-4ECA-B41B-EE6DDD7040AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$D15D0F64-B6DD-43B9-9F18-805F1EE919EF","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":"Q456962$CD0DEE1E-3DB4-4CE0-A555-4E219DB816C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd62b41e657ec247afba4862970c5299f54b098","datavalue":{"value":{"entity-type":"item","numeric-id":3406453,"id":"Q3406453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456962$20DB99B5-0805-4189-A553-093F837D27F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ee56fde7704f1c143a4c76fedde0bbfc3ccb3c9","datavalue":{"value":"10.1007/S11225-013-9474-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456962$ECE3CFD2-17C0-493E-AD88-39DB360FCDDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef525d9b17c81bd28c54ab31c3ccf89697726a3","datavalue":{"value":{"entity-type":"item","numeric-id":1314508,"id":"Q1314508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee0db93a5fea04297cd392befdb629d8297ebec","datavalue":{"value":{"amount":"+0.8497335314750671","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":"Q456962$C192D62B-61F0-4495-9A8E-0F91BA0D0750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2df00482df495020cb1f42f660b3ab2bd5abaa9","datavalue":{"value":{"entity-type":"item","numeric-id":4273432,"id":"Q4273432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee0db93a5fea04297cd392befdb629d8297ebec","datavalue":{"value":{"amount":"+0.8497335314750671","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":"Q456962$69FE06EA-8C26-4D80-A020-BE5B0A8C14E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5f1421ddc19cb37454fbfa7aa89020dbdf60de","datavalue":{"value":{"entity-type":"item","numeric-id":4212926,"id":"Q4212926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f7e034fa273df4842c3e87ecac870de0394748","datavalue":{"value":{"amount":"+0.8464096784591675","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":"Q456962$0F0B52F8-62A2-49EA-A93B-030193D794D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f181cb79dec042251ca7662620bf9bbf5b5d27","datavalue":{"value":{"entity-type":"item","numeric-id":1850955,"id":"Q1850955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47674e1dbf3a3c2a18da333c5414b0ba78d2759","datavalue":{"value":{"amount":"+0.8341673612594604","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":"Q456962$6A37FE66-0C2C-466D-BC40-DD4AB49FC78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d12c8260435ccc7a513cbf2237d513df4e06445","datavalue":{"value":{"entity-type":"item","numeric-id":1337611,"id":"Q1337611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529489bc2738c5a2572c319424696a964efae023","datavalue":{"value":{"amount":"+0.8321090340614319","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":"Q456962$D876E8D6-7A24-4DB0-B63F-928308B7323C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational semantics of the Lambek calculus extended with classical propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_semantics_of_the_Lambek_calculus_extended_with_classical_propositional_logic"}}}}}