{"entities":{"Q1914376":{"pageid":1925118,"ns":120,"title":"Item:Q1914376","lastrevid":43417388,"modified":"2025-07-25T15:39:17Z","type":"item","id":"Q1914376","labels":{"en":{"language":"en","value":"Relevant implication and the case for a weaker logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 885308"}},"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":"Q1914376$F663440E-077C-4638-BFBC-D11216397303","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d2c52ddcbb4c77a62ba4d8773d390ff44fd91dc","datavalue":{"value":{"text":"Relevant implication and the case for a weaker logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1914376$303F9906-3881-45C0-A1CB-75F07F5313C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f790d7506544e631b28e73589509997925865e7","datavalue":{"value":"0873.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914376$49667413-0A24-4F11-83E2-93338F19625C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5be8b5a67292aec61b78fbfc883abfe9c0dae67","datavalue":{"value":"10.1007/BF00247002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914376$A2F5052E-EC94-4FD6-B300-F8F2097CBCE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3788d8eb15a23fa0f90cdf206746b1b67d371a9e","datavalue":{"value":{"entity-type":"item","numeric-id":484103,"id":"Q484103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914376$A09DDC02-9D98-45F7-B48C-59DE75E1F3FF","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":"Q1914376$86FB9C4E-F301-4F91-B524-B6477F12C535","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412f7a31e42853d129270920f950562a85c36f4d","datavalue":{"value":{"time":"+1997-10-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":"Q1914376$21CC8C01-CCC5-4455-BF51-22E9A3F60079","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"115c97d24a95efaffbfa9749d5440075f5965407","datavalue":{"value":"This paper starts by rehearsing a number of problems with the system of relevant implication, R. It argues, instead, for a weaker relevant system, called DJ\\(^d\\). The majority of the paper provides a semantics for this system and proves soundness and completeness. The central notion of the semantics is that of the content of a sentence \\(\\alpha\\), \\(c(\\alpha)\\), which is, intuitively, the set of sentences that \\(\\alpha\\) entails; and a conditional \\(\\alpha\\to\\beta\\) is true in an interpretation iff \\(c(\\alpha)\\supseteq c(\\beta)\\). It is doubtful that this provides an independent justification for the logic, however, since various conditions governing the behaviour of contents are postulated, and many postulates are little more than the axioms of the logic in semantic form. The final part of the paper discusses how classical logic can be recaptured in DJ\\(^d\\). A separate style of syntactic variable is introduced, and it is required semantically that these satisfy the laws of excluded middle and non-contradiction; the rest of classical logic for them then follows. This approach gives a certain problem with applying the logic, however, since in a natural language, there is no syntactic marker of classicality in this sense. For example, the paper suggests that the sentences of the metatheory given are classical; but since the language is that of set theory, and one of the prime purposes of the logic is to provide for a non-classical set-theory, it is not at all clear why this should be so.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914376$BE0A3F4F-4334-4A01-9AF5-DB34E1CCD30C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914376$0B3DD52B-8097-4DF0-936B-DFC72B6B8F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914376$2699F4DA-B39D-419C-B7B7-C7DFC5052204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e152b29cebd5bbaf7cc7b58fc53e03d24094084","datavalue":{"value":"885308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914376$6FEC04AD-5A58-424E-86E5-07F8CBC99668","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914376$0F28303D-1AF6-49BD-A17F-6FFD149D5ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8498f510d3c40499aab5d038ce471cedca28bd","datavalue":{"value":"weaker relevant system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914376$4B6906C4-91AE-4EC9-8024-D1BAAF5ACF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914376$CF699E0B-7294-467F-8F81-6477755AAEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914376$65BAB29E-F484-47EF-9EC2-71C6FBF07547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914376$ED01BE25-BA7A-4971-903E-66B9E7ECEC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd09cffb8781ff587e94962996b93b6283c2e4a","datavalue":{"value":"content of a sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914376$97ABAB18-1D99-4085-A03D-2DA40CB92D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749d587b284fb2e5708bf249f54a60a313db614","datavalue":{"value":"conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914376$56B4890B-4112-49FA-B32D-029145CC6B4F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914376$A25978FA-BFA0-4EAF-BE3B-9806EB7B3A7E","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":"Q1914376$05026EB8-7EB7-489B-B7FC-9CA638D22707","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c88df3b68b0a93378264492d60c7b3bda50c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1103605,"id":"Q1103605"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1914376$D55F0FB2-8DCF-4F2B-9D23-7B3BCF997203","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":"937530b79675ff0c1bd2e4522920c0f729715bc4","datavalue":{"value":{"amount":"+0.89024806","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":"Q1914376$C3BE1188-99ED-4F66-81CA-EAAF23C48727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50162e624bbd79419f5271133c52926f1d8c0bc8","datavalue":{"value":{"entity-type":"item","numeric-id":3784049,"id":"Q3784049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b332bf015d252d8773f02eabca6d423acc475f","datavalue":{"value":{"amount":"+0.8715834","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":"Q1914376$1846B2DF-4289-40C0-8039-8BF0E1DEAC00","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":"643837a6e0f1ea1a5ad47d5e372e14fe674c91d1","datavalue":{"value":{"amount":"+0.8676542","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":"Q1914376$32E3717B-D9FF-4119-A8F2-70081F634B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757e349ab6d7e548064e366089d4700bf083d05a","datavalue":{"value":{"entity-type":"item","numeric-id":878234,"id":"Q878234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f75200e4c2eb708dd0b2fa84a8218b8e6bf1d13","datavalue":{"value":{"amount":"+0.8676084","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":"Q1914376$24C810FB-1F40-4C59-A902-1867CA9C9E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfd37d77df6e811ea7de9ac86eecff72b31618e","datavalue":{"value":{"entity-type":"item","numeric-id":5464034,"id":"Q5464034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977998e52669cfad13865234c2eb66dfa944387e","datavalue":{"value":{"amount":"+0.86350775","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":"Q1914376$2BB3A4F2-17C2-42B9-B484-1A9C55495B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077a1d7e3a964a64d541386c1045f81c7d422015","datavalue":{"value":{"entity-type":"item","numeric-id":1119621,"id":"Q1119621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1260a0e58eda9b9221b2e7a54d99de72d2285e54","datavalue":{"value":{"amount":"+0.86228997","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":"Q1914376$2A499887-38A9-4B45-BA02-D27C13ADF9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4717bd5b87af4ef96b93a487527c0c72369a2a2","datavalue":{"value":{"entity-type":"item","numeric-id":4359527,"id":"Q4359527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8741627792ee4306d4d17cda37774a49a3c844a7","datavalue":{"value":{"amount":"+0.8606451","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":"Q1914376$D4CA6B87-F26B-4E2E-B9BD-B4C77969C6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b3e2623031eb7c1ba7e396dafecc9f998232a2","datavalue":{"value":{"entity-type":"item","numeric-id":4982510,"id":"Q4982510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ccd3a121e486fdb45676c046fb1938568ccc70","datavalue":{"value":{"amount":"+0.85581577","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":"Q1914376$807BCCDE-4271-4A78-94E3-673ACBAAB22B","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":"b900b3c86eca83ebcc0d19dcaefed43d5ecb4204","datavalue":{"value":{"amount":"+0.8530572","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":"Q1914376$D24B561D-40D5-44C8-9C02-0869E5EFA179","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1914376","badges":[]}}}}}