{"entities":{"Q1103605":{"pageid":1114357,"ns":120,"title":"Item:Q1103605","lastrevid":67000539,"modified":"2026-04-12T14:15:12Z","type":"item","id":"Q1103605","labels":{"en":{"language":"en","value":"Relevant implication and the weak deduction theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053568"}},"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":"Q1103605$ECC94617-1AEE-4986-87A3-B09804A0E4D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34faa11a540e90f403162cea3d37864649f226aa","datavalue":{"value":{"text":"Relevant implication and the weak deduction theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103605$9B5DE02B-7C25-45DA-AC48-CC9332AFEC7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7ab6d9dcd841a19ec3954d5f8f063eb07b9f7eb","datavalue":{"value":"0646.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103605$B14F5CEC-B6B0-4ECB-AAD3-2F754843B61D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02089baf3c3c49ab86fdd85fc31ad58a81f476a9","datavalue":{"value":"10.1007/BF00372548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103605$52B5499F-7992-4B68-8CAF-6FA5C86639DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04895740d3b209cbeb5e6504f0c2ecece3635033","datavalue":{"value":{"entity-type":"item","numeric-id":185584,"id":"Q185584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103605$9B67B773-E041-4469-AFE9-C89AB724FD6A","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":"Q1103605$D32CD860-4F26-4E13-AD69-A467091AB999","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1103605$30E7F254-92C5-4847-80BC-0603858B9640","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4080fd78d6fefa167933dacbd7c241904d9317bd","datavalue":{"value":"Relevant implicational calculus \\(R_{\\to}\\) is the weakest system closed under modus ponens, substitution and relevant deduction: if there is a deduction of B from the set \\(X\\cup \\{A\\}\\), where A is actually used, then \\(A\\to B\\) is deducible from X. The author shows that this is no longer so, if one replaces relevant deduction with what he calls weak deduction theorem: if \\(X\\cup \\{A\\}\\vdash B\\) and \\(X\\nvdash B\\), then \\(X\\vdash A\\to B\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103605$AEBD805E-EE5C-4168-BD00-2F8C7CFCC04D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103605$C61A29D9-6BAC-4705-9388-214780836326","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58f274914d64ef3d8b563cfcefb2bc6314788557","datavalue":{"value":"4053568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103605$86502F7F-ADFF-4F8B-A861-BC2059B2C53C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103605$36F5EB5A-A4A4-4783-962B-659BB6E9B529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9187d06c93e4c67c989d88aa02494a51b85b47e9","datavalue":{"value":"Relevant implicational calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103605$8C91BCAC-2298-4A5C-92E2-48574CBC20CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e939b3b1c78c0ecdcbdde2f4547165c8fe7d3cdc","datavalue":{"value":"relevant deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103605$95FE169A-1684-4D10-93E1-855C93331358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903365ed6e8edfaa7550c98d10db36daf52ef3c6","datavalue":{"value":"weak deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103605$DE67D764-3AD6-48E0-BB17-E2C3819F4312","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103605$9988490A-4372-40E2-8775-2A67EC8A828B","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":"Q1103605$DE418C61-D6FA-472B-BB36-E1E51B3CBA47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6879668bcc22f1050bc11fad8cc2ab5231d974be","datavalue":{"value":{"entity-type":"item","numeric-id":3724300,"id":"Q3724300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103605$3C59DE2A-DCB3-4386-984A-2F2C7B7FE107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad9bed1e28c1ccba9bc9fbe0f4a99ea0739ca1e","datavalue":{"value":{"entity-type":"item","numeric-id":3924154,"id":"Q3924154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103605$D6512B2C-4C92-4708-9C90-58426E5CCC13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa42ffb34f6a921046fc8bbd2cdde28011717383","datavalue":{"value":"https://doi.org/10.1007/bf00372548","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103605$DB264DB8-F30C-4D66-8120-70388DBC89BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"695e9f1b5df9a93edef1b2c60fb59ddb595ea156","datavalue":{"value":"W2071263646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103605$303F3651-114E-4EC3-BB17-B5B883B76E30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c1796753cf8c2d46db5f027d4a83f66667b8c4","datavalue":{"value":{"entity-type":"item","numeric-id":1914376,"id":"Q1914376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d28e59df85b1cabc6839c80089f3eded947f3f0","datavalue":{"value":{"amount":"+0.91473436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103605$288C8219-8C59-4EAA-9BF2-C2A60DD9BDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5405a0c543ae60f2a5551ae64f4a7919cb6a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":791512,"id":"Q791512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b94775140cfd8ccbffa5c7c1e3ecfb705405d5","datavalue":{"value":{"amount":"+0.91340303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103605$4326D0F8-CF66-4228-B87A-CBE94BD3757E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdbfc9c31ed4f0747b16cf4e8df422f3c222b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4244313,"id":"Q4244313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c4af60c0a13ca001b2bfaf5d606695dde70e3c","datavalue":{"value":{"amount":"+0.9035691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103605$737283B2-FB0C-4D26-9765-B1A21BF61C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7dd62626328c13414567fc79743a33774b0c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5006815,"id":"Q5006815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaadfbafe5fe8f744b3bc2bc633aea3d5f047bef","datavalue":{"value":{"amount":"+0.890157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103605$427E91C1-D27B-4157-93B2-3AEBCEE8A26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085b0d5424445c2525b38b5cd56fddd22673e115","datavalue":{"value":{"entity-type":"item","numeric-id":3787970,"id":"Q3787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec8554a2f1999f7f151aea6fba30aceaa34f432","datavalue":{"value":{"amount":"+0.8884395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103605$3376ECE1-DFE9-4FB5-84F5-545E61CB5FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"398711522042dba6de46cea4a83cc6ac2bfb4f55","datavalue":{"value":{"entity-type":"item","numeric-id":3082578,"id":"Q3082578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d71c398a7249e178c8f2da2bba1af2f8af7fae","datavalue":{"value":{"amount":"+0.88729084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103605$95B5E528-7221-491C-8D38-A6ED6AE74496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32adbb07749b37ce68fa8b803658ab6f73e20c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3794150,"id":"Q3794150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f5502540e2141e5748277e5a35c36b9062e200","datavalue":{"value":{"amount":"+0.88525045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103605$568C87ED-3E87-4D58-A9F2-A92B758B0E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352257cf796302043f14803cdbd955d135962283","datavalue":{"value":{"entity-type":"item","numeric-id":3726084,"id":"Q3726084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3287533f8010e16e0794829594bccbabf7e02b34","datavalue":{"value":{"amount":"+0.87588453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103605$06FA9F8F-CC1A-485B-A3EA-3B221F50E2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c01c545d08dd8c08693ac1dbdf6b9b681cd64ed","datavalue":{"value":{"entity-type":"item","numeric-id":4521284,"id":"Q4521284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00f0fe5c849a67a0dd3dcdab11680ffc3bdb5114","datavalue":{"value":{"amount":"+0.8738946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103605$FB04B864-F3F1-4F2F-8471-265415544DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3299451f23d061419df7c34780ea0192669236ff","datavalue":{"value":{"entity-type":"item","numeric-id":2318286,"id":"Q2318286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cec7a7fcf7123119f0e70b9eb0eef94aa3e833f","datavalue":{"value":{"amount":"+0.86980844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1103605$CA915A7B-D1DF-4E92-9FD4-466B962B97F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relevant implication and the weak deduction theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relevant_implication_and_the_weak_deduction_theorem"}}}}}