{"entities":{"Q5935796":{"pageid":8112598,"ns":120,"title":"Item:Q5935796","lastrevid":102122408,"modified":"2026-06-06T03:32:11Z","type":"item","id":"Q5935796","labels":{"en":{"language":"en","value":"A dynamic characterization of the pure logic of relevant implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1611079"}},"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":"Q5935796$EC0D1F32-A547-4BBA-89E9-07DCD99D6662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e63984d93600296b9f2cd249e16b89a6172815c9","datavalue":{"value":{"text":"A dynamic characterization of the pure logic of relevant implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5935796$2A923000-431C-41FD-98B3-F1C67B8E213D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24f0478a31c22d8b42c114bfc0c223a7e5cb8ae9","datavalue":{"value":"0988.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935796$9C4042E1-4CE9-46E4-9AD5-C8B84903CB18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"632879ed2f55769bb36c9a3734444fe9ae276c5a","datavalue":{"value":"10.1023/A:1017520011692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935796$757AC59C-C732-4427-8FEF-DB317AB8A0F7","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":"Q5935796$D247BD6C-5783-4F36-8136-07F8E9B02851","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935796$85A7C1D9-3E90-41CA-8E31-0BABE17720AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c49da5ceb3346ef7151386d4abe919b4fba4873","datavalue":{"value":{"time":"+2002-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5935796$85FAEA2F-1B86-4ADE-A77E-F60BA50B6D0A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32a3abad129842d5b2d7acf7e5bcd3ab9d5423c1","datavalue":{"value":"In this interesting paper the author shows that the relevance logic \\(R_\\to\\) is given by Modus Ponens, Substitution and the Weak Deduction Rule:    WDT If \\(\\Gamma , A\\vdash B\\) and \\(\\Gamma \\not\\vdash B\\) then \\(\\Gamma \\vdash A\\to B\\).    This dynamic logic does not have the usual set-theoretic interpretation by which an additional rule can, at most, supply additional theorems.    If EQ \\(A\\to (A\\to B)\\vdash B\\) is added, an equivalence logic results in which \\(\\vdash (A\\to (A\\to B))\\to (A \\to B)\\) is no longer provable!    Reviewer's remark: The author calls this equivalence logic \\(E_\\to\\), this notation is usually used for Anderson and Belnap's system for entailment.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935796$2381CDD9-2753-4D18-8497-5CA97BBAF170","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":"Q5935796$E983CD80-BB1B-455B-9A85-C124FF9C9542","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935796$1C81E809-96A4-431E-9276-7162026F7711","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"509842c66bd161479498b3de7071790339b40f61","datavalue":{"value":"1611079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5935796$5918101A-A5FE-4CE4-97B1-73227673E808","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935796$5B880837-80B0-4B00-84B5-AC1031FCA6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935796$63F29430-F098-41DD-B129-1355896A8B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5935796$B75EC1DE-21BD-471A-A33C-3B941C4BBB35","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":"Q5935796$4D2935DE-2F78-48C5-AB32-D22B991447D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935796$84F1EC72-1A62-4ED0-B28D-F0308CB61708","rank":"normal"},{"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":"Q5935796$5D7329EA-3EC9-4544-99D6-55C7A4BE7DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db03ddc6943d28d4536f1b2941a6a762928392b","datavalue":{"value":{"entity-type":"item","numeric-id":1103605,"id":"Q1103605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935796$109A5A1B-C5AE-437D-BE23-E71172AC0FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfea60b7971df72f3a0c8d28f4f562a5dd3e4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2735803,"id":"Q2735803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935796$F019FBB3-7843-4A29-8111-F566412EBA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f98e006596a61b39f7ef4af726336853a2e653e2","datavalue":{"value":{"entity-type":"item","numeric-id":4329282,"id":"Q4329282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935796$80D1AF1A-5B88-4265-AC09-312367B28B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50889f27d631aab5d9ac77c2199d2842a80d416","datavalue":{"value":{"entity-type":"item","numeric-id":3647311,"id":"Q3647311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935796$93115B51-B275-408F-8486-9871ABE9D110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6dcc84e03f2a151ea8571a73318c92a0b1b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":2544606,"id":"Q2544606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5935796$BCFA7619-B491-4AA3-83F3-F83E0AA6C805","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":"Q5935796$5C6E611E-E664-4A03-AE46-BB135D0E1768","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28dce6162308c41cc9d0932e8eecc47be1a30581","datavalue":{"value":{"entity-type":"item","numeric-id":1820761,"id":"Q1820761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6149b84c9988680adc1eca73f0c94039fc5efc2e","datavalue":{"value":{"amount":"+0.89885795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935796$EC3E22B1-8433-433B-920B-CCE5BD4C7D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c0de55988eb79a391012e29bf2807205933a12d","datavalue":{"value":{"entity-type":"item","numeric-id":4508262,"id":"Q4508262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fede278603dbcb178a3dac546fac866058b10d","datavalue":{"value":{"amount":"+0.8942138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935796$93CFD233-7BF5-42B3-BA5E-82AB7B801BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7236c6bc9a3f44e0e53f212392de01466cce0599","datavalue":{"value":{"entity-type":"item","numeric-id":973056,"id":"Q973056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3346b163e941bc27143da0219bcefb7aacc3447e","datavalue":{"value":{"amount":"+0.8896009","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935796$4F46EA5C-5F65-4B97-80BF-31B7738EEDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655179ccff0af62074cca66b76c7bc52f6fa72f7","datavalue":{"value":{"entity-type":"item","numeric-id":3973197,"id":"Q3973197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d44f835a1d1848a33ad99884a0e05488cf3f7c","datavalue":{"value":{"amount":"+0.88448846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935796$EDD018BE-09D2-46A7-B658-3CE1C99529A1","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":"d54560508631509f99085b787099d8e0d9e6be5f","datavalue":{"value":{"amount":"+0.88439727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935796$A4DAEED7-A720-4657-9D7E-849578CDE0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c858d11a96c7f538d9226c363d8f56a2b9c0f290","datavalue":{"value":{"entity-type":"item","numeric-id":5411406,"id":"Q5411406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc0df04a92ec8dd282b61679684e86c725dfb84","datavalue":{"value":{"amount":"+0.88368124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935796$ED4FD817-13DF-49F1-B5AB-FDEFEF59D2AA","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":"7936e9abb71ec1018b825e6fffd9c3cb007bdada","datavalue":{"value":{"amount":"+0.8809307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935796$8A0373EC-C809-4849-A120-1AC9A54F397A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88258e1e633edc267580eb95d99a8110f787c0df","datavalue":{"value":{"entity-type":"item","numeric-id":3714053,"id":"Q3714053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fae0e895bb3c1ff8f2eb8e7a0780d03a670666a","datavalue":{"value":{"amount":"+0.87966603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935796$7773A70B-3FA1-4DAA-B251-55FDF7F16FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce7bdad2532f4d7df7db035258fed4015030a55","datavalue":{"value":{"entity-type":"item","numeric-id":760793,"id":"Q760793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b05607da61cb2477b8aade7a559124e06866f6f","datavalue":{"value":{"amount":"+0.87268853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5935796$863057CD-375B-4A2D-87C0-90E95288447B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A dynamic characterization of the pure logic of relevant implication","badges":[]}}}}}