{"entities":{"Q1187984":{"pageid":1198733,"ns":120,"title":"Item:Q1187984","lastrevid":42314078,"modified":"2025-06-05T13:30:13Z","type":"item","id":"Q1187984","labels":{"en":{"language":"en","value":"Simplified semantics for basic relevant logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39915"}},"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":"Q1187984$FF59ABCC-D847-4D4C-8923-88C1674E3E00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ff9a39aaec788d71d31ad85956da15224b5dca9","datavalue":{"value":{"text":"Simplified semantics for basic relevant logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187984$2A484247-4315-4BFD-8572-2E68C1B5E52F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b29f6ced01e5aa76003dbd3d981bed52e2acdaf8","datavalue":{"value":"0782.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187984$30AB6642-635F-4436-AA1F-B5973DBE621B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c84561eb95d4e353828c856408f5cf09371a1ce","datavalue":{"value":"10.1007/BF00248640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187984$AB32B7D4-93E1-4D3E-8186-BAD0D64DF152","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":"Q1187984$944E539B-51C3-4AD6-AF82-BB76238AEB5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e4e72ca557f32de200c80ffb9cc58b1ed41a8f6","datavalue":{"value":{"time":"+1992-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187984$45823BDC-F4F0-4DB1-B991-DBD1D7AFCDCC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"585975b68a640e81f64b28e3851f72cdd5a7d554","datavalue":{"value":"Whereas the semantics for the basic (normal) modal system K places no conditions on the binary relation \\(R\\) -- one adds conditions on \\(R\\) to model other normal systems such as S4 -- the semantics for the positive, basic (affixing) relevant system \\(\\text{B}+\\) (and its negation extension B) put conditions on the ternary relation \\(R\\) (and on the unary operation \\(*\\) in the case of B). One must then add further conditions to model other affixing systems such as T [see \\textit{R. Routley} and \\textit{R. K. Meyer}, J. Philos. Logic 1, 192-208 (1972; Zbl 0317.02019), and/or \\textit{R. Routley}, \\textit{V. Plumwood}, \\textit{R. K. Meyer} and \\textit{R. T. Brady}, Relevant logics and their rivals, Vol. 1 (1982; Zbl 0579.03011)]. This paper declares the intention of balancing the scales, and makes a good beginning by presenting semantics for \\(\\text{B}+\\) (and for some negation extensions) without placing restrictions on \\(R\\) (and \\(*\\)). Showing how to model other normal relevant systems by adding appropriate restrictions is left to another time.   The new semantics for \\(\\text{B}+\\) simply drops the conditions on \\(R\\) and the hereditary condition on valuations by changing the interpretation condition for implication formulae at the base world 0 (called `\\(g\\)' in this article) to: an implicational formula is true at \\(g\\) iff its consequent is true at every world at which its antecedent is true. This merely stipulates Semantic Entailment (Sement) of \\textit{R. Routley} and \\textit{R. K. Meyer} [Truth, syntax and modality, Stud. Logic Found. Math. 68, 199-243 (1973; Zbl 0317.02017)].   The extension of the semantics to handle negation yields a pair of interesting results. In the first place, adding the usual Routley-Meyer \\(*\\) operation without any conditions and with the normal interpretation function for relevant negation does not yield B. Instead, it yields BM which is \\(\\text{B}+\\) together with full DeMorgan equivalences and rule contraposition. One can then get a semantics for B by adding the condition that the starred world of a starred world is simply the original unstarred world. Secondly, handling negation via the American plan [again, see \\textit{R. Routley}, \\textit{V. Plumwood}, \\textit{R. K. Meyer} and \\textit{R. T. Brady} (loc. cit.)] with a four-valued valuation function and no star operator yields yet a different system BD, which is \\(\\text{B}+\\) with DeMorgan and double negation. How do model B along these lines remains an open question.   Strong consistency and completeness is proved in all of the above cases in more or less the usual fashion for propositional relevant logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187984$D812CAA2-B1FE-47FB-AF3C-7EF86159F1A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187984$8AB263EF-9675-4F34-931A-A73029C4EE1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71a2f50ea8eec910a93104bdba7f44ec9b87c11e","datavalue":{"value":"39915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187984$A8C6DF47-58B8-4524-AED9-7983F85472B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e42ba29466e95f0c0faac8b3f0db5cf14f772f4","datavalue":{"value":"basic relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187984$50076A3F-73A5-45B1-98A3-B80C1E69DFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4443761f1bb8d8092056f95347a75490f4da15","datavalue":{"value":"affixing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187984$C19ABEAD-C4E7-46E1-A7AD-88C41812B42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187984$73503C81-A660-41E6-8DBD-9B3A28ECF8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f25dbb4f1cffa4c7e7f86d0755032b2b9f10038","datavalue":{"value":"negation extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187984$B59275BB-E074-44DE-BA5A-DDBE050AC5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"338543fd16e592ccea11e4708238a2caa300319e","datavalue":{"value":"propositional relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187984$C84B69EC-2B3A-4FE2-8078-AA8CA3923659","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a614eef18587bae29fa37e56bac30930f824709f","datavalue":{"value":"Q56852430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187984$2E809163-A8CA-4BDA-8AC4-D8BBE3152D60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"091ee1214fd912ea59dcfc97044f853d8c5a2658","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187984$9E9A0FBC-6E74-4541-8CF1-4FA9170B7107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85c02984f13d523beca110bdc30d80a54e30bf71","datavalue":{"value":{"entity-type":"item","numeric-id":987459,"id":"Q987459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187984$248B466E-2662-43E8-9DA9-6E6F9D4ABD8B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0aa64c621a2feafe101247ed541c38a7affa2b8e","datavalue":{"value":{"entity-type":"item","numeric-id":579233,"id":"Q579233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187984$B49541F2-9D16-4BBF-967C-FD5DA4D06832","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":"Q1187984$6DF74410-DA14-45A1-BDEB-A210247B0CB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8c5fea9e0ac41b4a70a6f67a474dba8f10a1c15","datavalue":{"value":"https://doi.org/10.1007/bf00248640","type":"string"},"datatype":"url"},"type":"statement","id":"Q1187984$515BBE32-287E-4A34-8253-2BBB66573D9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"910d19a5a4cc9bf06016528e468d89d0a40089bc","datavalue":{"value":"W2058110538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187984$536D1ED5-41B4-4566-ADC7-BF60B0B05FC6","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"833677f592ad9e88ab1ce7192c23207ccd4e26e8","datavalue":{"value":"journals/jphil/PriestS92","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187984$A41696CA-034C-4C7E-999F-9EE0BCDC5597","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2c1326e5c08354f8383b186d56c60726fc44d1","datavalue":{"value":{"entity-type":"item","numeric-id":689076,"id":"Q689076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef7cc2a267c90fe027ebfbdc83fe4f2c5486d39","datavalue":{"value":{"amount":"+0.9612072","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":"Q1187984$C0AA2913-074C-4017-9D7E-E7B2C118BF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea44f28dad1ad1134b9f4b50f0df2f61725acd0","datavalue":{"value":{"entity-type":"item","numeric-id":5848181,"id":"Q5848181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92ce24e8a6e9616035ed61b12616b0bf56ac79b","datavalue":{"value":{"amount":"+0.9263088","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":"Q1187984$7A99F21F-B4D0-4F3B-89B8-6066F50CCE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93eef6a7fa36ee70de9373cceea0691ac795fea0","datavalue":{"value":{"entity-type":"item","numeric-id":3083008,"id":"Q3083008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fb3e55a23588542eae55adad10b4d986ee3c52","datavalue":{"value":{"amount":"+0.9011978","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":"Q1187984$56F4BDDE-46B3-4298-9A99-3A958961B31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822edb9367d19c9c46261fdb65efd735c99bdabb","datavalue":{"value":{"entity-type":"item","numeric-id":2810125,"id":"Q2810125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4624c6fd3d4218fff5e96eea6c065d0de2b4f26","datavalue":{"value":{"amount":"+0.90096414","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":"Q1187984$FC43D485-D904-4B5E-A02E-4F12466586E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d675098ac60fc678ab7f69226637ff0d637792","datavalue":{"value":{"entity-type":"item","numeric-id":2863909,"id":"Q2863909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b417001dc6128df9288cb312b66980c81ba4d8","datavalue":{"value":{"amount":"+0.8995767","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":"Q1187984$7D362A87-663A-420C-AE0A-64E57E0390F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7270d292700fb20a7efe32053220c0df1ef5bb","datavalue":{"value":{"entity-type":"item","numeric-id":3367503,"id":"Q3367503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ced186a8e99948e6cb03c8066a1d7c63063d35f","datavalue":{"value":{"amount":"+0.8975735","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":"Q1187984$5BEA9780-94D8-4F1A-85DD-787FDAD1ABC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a1ad4e7ccc65d2663ac96a0c495d2e7d96bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":5458062,"id":"Q5458062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0c57a69d969b04c8fcff8e2a440ef0a8e12dab","datavalue":{"value":{"amount":"+0.88440466","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":"Q1187984$FBA4A01C-FC28-4908-8B85-EDBADBDF3D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51de9ba0e8a0ba5e3a5b9176a142e1075f5b634","datavalue":{"value":{"entity-type":"item","numeric-id":3081996,"id":"Q3081996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c661ee092cc340940498ebe0c85d38c0ca39b9","datavalue":{"value":{"amount":"+0.88348526","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":"Q1187984$9BE8F914-BA0E-45AC-87A9-BD1B7E104B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6afe7736ac577c07665f4f7ce30afdbce5ee83","datavalue":{"value":{"entity-type":"item","numeric-id":5396225,"id":"Q5396225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b36a2de348a8d385e9d876404f527045d091c1f","datavalue":{"value":{"amount":"+0.88258785","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":"Q1187984$4538CF76-8FF7-43FD-B5A2-EA7A9C8F91CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e345e22db9222282c2dddb603ecbe58b5a5c65","datavalue":{"value":{"entity-type":"item","numeric-id":3731579,"id":"Q3731579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e25ecd15cf7e2676f79952deed8ac03d8371ac9","datavalue":{"value":{"amount":"+0.87976396","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":"Q1187984$F131B246-7504-49E6-897B-2426E970F11B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1187984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1187984"}}}}}