{"entities":{"Q1850953":{"pageid":1861695,"ns":120,"title":"Item:Q1850953","lastrevid":70993962,"modified":"2026-04-13T18:46:04Z","type":"item","id":"Q1850953","labels":{"en":{"language":"en","value":"Correspondence results for relational proof systems with application to the Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1845369"}},"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":"Q1850953$C49DF4A5-B873-4AEF-9189-95F8EE37B2FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0ee756dfb1e88a71129b25f7bc4f85b9bebb7a2","datavalue":{"value":{"text":"Correspondence results for relational proof systems with application to the Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1850953$1EBA28CB-3C96-4985-82A0-7F2375F19A7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2659f985b68c9b43b8cb036284fbd3519d4c245","datavalue":{"value":"1020.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850953$919C4E26-433E-4189-AB46-BE2841F5470E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec7d06bfff766aa5b31f4b4e1f7fe4d0364f4ca5","datavalue":{"value":"10.1023/A:1020572931854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850953$11C921A7-8F80-45D0-8BCF-098055E0E05F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a3a19e5951e9c43e667436e7cc0790d99ea306","datavalue":{"value":{"entity-type":"item","numeric-id":227766,"id":"Q227766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850953$9E7ACB23-9403-43F5-9B18-50B7A84F65D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850953$E18318B4-31D0-477C-B5C3-F9483209C782","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":"Q1850953$28CDCD46-8497-4CCE-8F35-810DBDAB49CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1850953$FC3E52FC-965C-48CA-AA3A-87FAA7FEBCF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"904fdae726cafa7a04ee90f555b0e54d15dca118","datavalue":{"value":"The aim of the paper is to present a general framework for proof systems for relational theories. The authors describe logics of relations and proof systems, being Rasiowa-Sikorski style deductive systems, for these logics. They give principles of a construction of deduction rules which represent the same information as specific axioms and which can replace these axioms in deduction processes. They discuss correspondences reflecting relationships between semantics of relational logics and rules of the appropriate proof systems. The methods outlined in the paper are illustrated by examples concerning relational interpretation of Lambek syntactic calculus and some of its extensions. An extensive list of 41 references is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850953$C57EBC9F-D5C2-4658-A18F-AA61FF0F6EBF","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":"Q1850953$E42EDCD5-49ED-4F7C-B163-927E994613B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850953$5D7BE4CD-50CB-4209-8126-638B8AD13F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850953$5443668D-1CAD-4789-ABCC-34B13EC4EAEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8139b824650528acdc8bd23241ff92c21090c81","datavalue":{"value":"1845369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850953$BC113402-2673-4235-8580-C4715EE6FA6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850953$D1369396-0C5D-45D9-8EAC-AEE720F4AA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0fc73ccb19478e643df8dc3b7062267ccec9cab","datavalue":{"value":"relational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850953$C18C12E3-AF5D-4B2E-A5AA-2054DC9C3B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed4771258237e15725c4ecf4d4985714bbb6742a","datavalue":{"value":"Rasiowa-Sikorski proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850953$D2C5EBF4-5CAF-48B9-A710-EFA61BFD3FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850953$F26C482B-F96B-4757-ADBA-54B7A029FC64","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":"Q1850953$2EE9DF5A-CB2C-4652-8858-5A56423A14D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02602281bc031626aa74e3234dee8b9e5695f439","datavalue":{"value":"https://doi.org/10.1023/a:1020572931854","type":"string"},"datatype":"url"},"type":"statement","id":"Q1850953$21CDBC15-B6C0-48E4-AA56-8C2CE43DCF58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56271519b2316534f09e816fda39f26e3f0049b4","datavalue":{"value":"W1495228235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850953$A862C2A4-770E-4C3E-90FB-D6EF933C2413","rank":"normal"}],"P1643":[{"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":"65db042496d658204c470ac65bdb74ec1539f855","datavalue":{"value":{"amount":"+0.8158760666847229","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":"Q1850953$8F3AB1CB-1DD7-4C23-9831-F6A93581449B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b74440cc62d975fc47553ad5ca791068767e8dc","datavalue":{"value":{"entity-type":"item","numeric-id":4238425,"id":"Q4238425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f7dc28d139558279b5fda3ebd1981ffb3537d0","datavalue":{"value":{"amount":"+0.8152173161506653","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":"Q1850953$1E7068D4-0A1B-42C5-89CD-8FF9802AA9B4","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":"39f7dc28d139558279b5fda3ebd1981ffb3537d0","datavalue":{"value":{"amount":"+0.8152173161506653","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":"Q1850953$218A1AC7-1B4A-4A61-AA84-1EB75D361726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6296295754d98260eb3a09a911b9b82534ffb01","datavalue":{"value":{"entity-type":"item","numeric-id":5902055,"id":"Q5902055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2f4d2d38f676cec3ce429c99b0ed6ca419d1ed","datavalue":{"value":{"amount":"+0.7857001423835754","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":"Q1850953$69191C7B-C2EA-42AA-94BF-B94FC64F2655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff0df3602aad140001d0e816f3b60779c64993f","datavalue":{"value":{"entity-type":"item","numeric-id":4357322,"id":"Q4357322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc616484116a8b4600965fc83c247c9acae556c","datavalue":{"value":{"amount":"+0.7805988788604736","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":"Q1850953$4A1829A7-C7EF-4F72-911F-8A84C89E1617","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correspondence results for relational proof systems with application to the Lambek calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correspondence_results_for_relational_proof_systems_with_application_to_the_Lambek_calculus"}}}}}