{"entities":{"Q2642518":{"pageid":2653261,"ns":120,"title":"Item:Q2642518","lastrevid":50145986,"modified":"2026-01-13T06:44:22Z","type":"item","id":"Q2642518","labels":{"en":{"language":"en","value":"Combinatory logic and the semantics of substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5179921"}},"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":"Q2642518$E6B543F7-59AF-4FBA-9955-3CF59AA6772C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cea9634b0d43a2927d5802917a02fd830a2da5d8","datavalue":{"value":{"text":"Combinatory logic and the semantics of substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642518$E7C11947-6563-419A-A681-E7C420D9EB4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9d8aa8ce25e5bb4b76dab10142458a0e24b2781","datavalue":{"value":"1126.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642518$AB5BEAC8-4F10-41BC-B568-76D7AC5CE98A","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":"Q2642518$C02CF4C9-435D-44A2-99DF-5830AD08BA25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83e4c4eb0c7bbbd668895e6c0cbc0b4f249cfbea","datavalue":{"value":{"time":"+2007-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642518$56040CCB-82BE-4536-9778-589B67C93D03","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db519b1f93fc198e04b69b575bf7efbac7133f83","datavalue":{"value":"In his earlier paper ``Combinator logics'' [ibid. 76, No. 1, 17--66 (2004; Zbl 1054.03019)] the author extended the positive relevance logic Bo, with and, or and o (fusion) by o-axioms related to the reduction rules of a set of combinators. He then extended the Routley-Meyer semantics to this extended logic. In this paper, the relevant logic BoT (Bo with a ``true'' T) is extended by adding axioms that are the types of a set of combinators. He again extends the Routley-Meyer semantics, in a way determined by the combinators, to one that is sound and complete for the extended logical system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642518$18A52D72-4E29-48F4-A4CB-28A7020A8AF7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$37950848-D3C0-4173-AB2F-585133A7D98B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642518$9231CD15-04A6-4D22-B838-9F657B71D86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642518$DA40BFE7-6C22-498C-9B52-1777C7B29F04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f730b415a18463d05429dea4f0ee172c59c494e5","datavalue":{"value":"5179921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642518$0121C30F-54D9-49D8-A672-E8329C6B94F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642518$5B0F375C-4401-4CC5-AE77-7F5611B6F6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358c78dd701bde900613005c5df0e5fbf889ef13","datavalue":{"value":"Routley-Meyer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642518$CBA04ECF-C054-460E-9355-CE15284AFD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642518$27AF56C8-51EE-4644-B6F5-5115FCEA3888","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70d03384395617505a4cbdf2dd2cb3fffb8021ed","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$996D7194-D46C-4C93-A917-10520B0DD902","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":"Q2642518$A3CA5AD6-E0EB-4C1A-8904-CB1950F3DAA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00f486e68cf84572fd6c0ef005d9947de633d969","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9027-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642518$8138FB66-31A7-439B-8A10-13DE6A53E513","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f22a7e155169aa0a58b6ed5bf1011af444dff7a2","datavalue":{"value":"W1998859810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642518$FC29FE79-EBF9-4950-B384-40DB06CED4AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$4BA5D9CF-0E93-447F-866D-75846570B9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$0D83A8AB-96E8-4E6A-8209-C758296C2359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$8D8CE46D-3946-45C1-BFD6-81CADF46778B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4c78aa704e79822baadd5dd331a7e3f4735a85","datavalue":{"value":{"entity-type":"item","numeric-id":1826434,"id":"Q1826434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$4B58E4F3-B10B-4BB6-B787-F576D03CD25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a70c139089a2132580c4a82d76d6052b537cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4392658,"id":"Q4392658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$7CBD5136-A628-4914-A8BF-2FE3BAA5A7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$BD96063F-0689-449C-88F9-73419C0D6653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89e1dea9ae54da61df976210a8364498b414bf","datavalue":{"value":{"entity-type":"item","numeric-id":1199823,"id":"Q1199823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$A16ADE84-F4F6-4AB9-8397-AD6833AD6705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc803507d3b7d093957d2109e59f1a91bbe771d","datavalue":{"value":{"entity-type":"item","numeric-id":1430899,"id":"Q1430899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$CFD7080E-92B6-42CA-8BB5-4247AC5A1411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$6668D70E-0C1C-44B8-9F4A-5E24432462B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd502a5ef0129ec6b722b64271c375aa4ecbbff6","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$AAC2F186-0ECE-49B7-8FC2-2E32139AE5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d8a83e6cc2a7a4f4f86a5f96172a368c33f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1826366,"id":"Q1826366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$A77F0634-6085-4546-B2CE-A9DD886A8B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$5482F594-9564-4FF0-B70E-E450478DBBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fef4697987515faaaea7649735762edc6d4dc5e","datavalue":{"value":{"entity-type":"item","numeric-id":4532199,"id":"Q4532199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$644FAB4C-62CD-473F-B14F-C3D76A6DD948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdcaa7cab40e9ff54575a1b52a69df78b4217e8b","datavalue":{"value":{"entity-type":"item","numeric-id":598309,"id":"Q598309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$23456CC3-1CFE-4DFC-B380-1C0A9DD3E671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb37d4c5374d4a6b2459e0fbb29b51beec76c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4103076,"id":"Q4103076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$6BE6840D-71D8-41E8-8928-A2CB9549FBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65357012bc3c003d09724541a00de14efa585850","datavalue":{"value":{"entity-type":"item","numeric-id":5694704,"id":"Q5694704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$4378F5B6-CA93-4773-80C1-A7B58AB7A7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$3C5EB6B4-974C-483B-9449-7F30C673466B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642518$A7570569-3334-4539-967A-66FF25AA26DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9703f41c351324c20429481ca216dcc33d14c682","datavalue":{"value":"10.1007/S11225-007-9027-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642518$C0662791-3168-4B58-9294-8093C92B79CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930efb2740a28f6fd14c8e0f71afd074a4549066","datavalue":{"value":{"entity-type":"item","numeric-id":1826366,"id":"Q1826366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f331aa0cf441397b211668f5884731778ae588","datavalue":{"value":{"amount":"+0.8501079678535461","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":"Q2642518$AC950427-96E4-4554-820C-63C2F4DF943C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee3101169c659ad2070a1ca789edbfb86d4773","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a46e55b41d06aa7a6b68db1c64c3130c4a55603","datavalue":{"value":{"amount":"+0.8403480648994446","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":"Q2642518$70A1F4A9-C14A-433B-A050-1FA99277C9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e741157abed225931720fbdec8a83611ec6b184a","datavalue":{"value":{"entity-type":"item","numeric-id":4520811,"id":"Q4520811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a46e55b41d06aa7a6b68db1c64c3130c4a55603","datavalue":{"value":{"amount":"+0.8403480648994446","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":"Q2642518$251E4E23-7324-427F-A575-C2FB576240AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ca05ffac497c679ec74bd5124e684145630d28","datavalue":{"value":{"entity-type":"item","numeric-id":4895423,"id":"Q4895423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd179ed0713440f6c8ae8a9fbab9192bf394489","datavalue":{"value":{"amount":"+0.8274400234222412","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":"Q2642518$11F592F1-BB04-4A6A-8D23-0A9D175D0434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04f0ac087b246e173848a29c356ce224347ab69","datavalue":{"value":{"entity-type":"item","numeric-id":5871537,"id":"Q5871537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705cee756e4648fca8f12f33f576bc17ef310950","datavalue":{"value":{"amount":"+0.7834603190422058","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":"Q2642518$6BB07E38-C5D9-4415-B78D-1569E5F18784","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642518","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642518"}}}}}