{"entities":{"Q689076":{"pageid":690925,"ns":120,"title":"Item:Q689076","lastrevid":63496902,"modified":"2026-04-11T13:33:49Z","type":"item","id":"Q689076","labels":{"en":{"language":"en","value":"Simplified semantics for relevant logics (and some of their rivals)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 439977"}},"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":"Q689076$B7B48629-162E-42FC-AB0A-864E1083CEC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cde6a03885e3133b09700d41aa36759697a34b1","datavalue":{"value":{"text":"Simplified semantics for relevant logics (and some of their rivals)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689076$83875AAA-5F8C-4AB9-983E-8C1F2648A90D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2402d7293170c51ac8b4efbd6865c024ac31d8e","datavalue":{"value":"0782.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689076$1688CC50-BB5F-4020-BB03-FA643104B58A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17d85c084218e5f379eb54674859a3e6014cad3f","datavalue":{"value":"10.1007/BF01349561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689076$8A057C79-3DF8-4F4D-B991-4F1D252932DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc74f53862f4f290e2401f492556ea9e0dad7b1","datavalue":{"value":{"entity-type":"item","numeric-id":450955,"id":"Q450955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689076$87346CB0-4D70-418B-820D-02A4338DF850","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":"Q689076$1F0C0DCC-BF6B-4CBB-8F74-9D1CA6A7879B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f03d1af7f39e414d01a824244948c024e27a5f6e","datavalue":{"value":{"time":"+1994-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689076$751ADA5F-F1E7-42B6-9387-788CCC09A606","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22d1312f687b4f6db425d4436c464c201dbbbb94","datavalue":{"value":"In ``Simplified semantics for basic relevant logics'' [the reviewer and \\textit{R. Sylvan}, ibid. 21, 217-232 (1992; Zbl 0782.03008)] it was shown that the basic relevant logic, \\({\\mathbf B}\\), has a simplified ternary- relation semantics which dispenses with all conditions on the ternary relation, as well as the heredity condition. This paper shows how a wide range of relevant (and irrelevant) logics extending \\({\\mathbf B}\\), including \\({\\mathbf R}\\), but not \\({\\mathbf E}\\), have a similar simplified semantics. Appropriate soundness and completeness theorems are proved, and the addition of Boolean negation is shown to be conservative for many of the systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689076$04E1A16F-8C98-4146-9585-3C630AD1900D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689076$982A3B43-9DE4-458D-A631-116FDB3152C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a992e2596857eb52045ca8a976ece2b8373af318","datavalue":{"value":"439977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689076$C91B1FC1-47D2-4169-9C37-7FC1E5285F30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab689e7532504eb470b1be0e10bc512ed6039156","datavalue":{"value":"basic relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689076$29A12322-D64E-44D5-9BA2-75448136E580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a21f5412fbcbd616b81b90394e65c7d08c4dff5","datavalue":{"value":"ternary-relation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q689076$7723C5BF-96D0-4BB7-9DC7-D3E69027BDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ea97f96b13e4f9b65bc3c2549492770abae51f","datavalue":{"value":"Boolean negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q689076$D288502C-E9B7-478C-9894-EDA431449D94","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":"Q689076$E8494884-A4A0-4355-9B30-8DED813E1960","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":"Q689076$6B9870AF-C7B0-4415-8237-8B55FB63D7B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6585ae6c8998260705d01ce0c05f9deef601ceb","datavalue":{"value":{"entity-type":"item","numeric-id":3347856,"id":"Q3347856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689076$F894F02B-E102-443D-9A90-C97221EEBDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2c2050a9dc069c289e566be850c23aa1cfc631","datavalue":{"value":{"entity-type":"item","numeric-id":908897,"id":"Q908897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689076$B7A80FC0-D4B7-4ABC-9790-990F69749D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8c81ff62c2e545ddf7d5a2887405cf334d4a40","datavalue":{"value":{"entity-type":"item","numeric-id":1187984,"id":"Q1187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689076$E6A8EC5D-BB44-4A30-A762-FEBC56925E11","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":"Q689076$80327927-E2FA-4815-802E-3E155C37E988","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e43a998d519aabbe7ecd8223c4bafd45cf0d7b7a","datavalue":{"value":"https://doi.org/10.1007/bf01349561","type":"string"},"datatype":"url"},"type":"statement","id":"Q689076$0687DC2D-712A-4ACB-BBA7-DFC354D83F72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2fcd1c4b11d668547ae29dca068e1aac4cb07c1","datavalue":{"value":"W2162300758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689076$53FAB7D0-7397-4129-90E2-755959703D7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07268f9682b7ae92c46216b68f48e0d13a595026","datavalue":{"value":{"entity-type":"item","numeric-id":1187984,"id":"Q1187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1415346c5f30fec025875876b21a8f8bf36952f2","datavalue":{"value":{"amount":"+0.8739393949508667","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":"Q689076$F3ACA6E0-99FA-4581-AC30-A37162F8E376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611668d1f47a45deb042a9074adae630e84de23a","datavalue":{"value":{"entity-type":"item","numeric-id":3400792,"id":"Q3400792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1415346c5f30fec025875876b21a8f8bf36952f2","datavalue":{"value":{"amount":"+0.8739393949508667","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":"Q689076$FD18E3BB-3E89-4F5C-AE0A-B2D388A14C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd8abac5bc6cce1930b06b5d826dd53444d58ac","datavalue":{"value":{"entity-type":"item","numeric-id":965858,"id":"Q965858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2babfa3e2789949ce1edb76594fddb495d04a234","datavalue":{"value":{"amount":"+0.8144989609718323","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":"Q689076$B10A8A95-DA9D-4A25-9F3E-3BE9DB6AA671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8019b479b34bcd67e6a47f9c5d967927262b4a79","datavalue":{"value":{"entity-type":"item","numeric-id":5004953,"id":"Q5004953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c039a7b0b387702b0a602ff6adac97c4df42931","datavalue":{"value":{"amount":"+0.8008643388748169","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":"Q689076$4C97852B-2D48-4AF1-9D96-6CB40152435F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f429c314bcb14178c0fbfc2391ebe60fbd6e40","datavalue":{"value":{"entity-type":"item","numeric-id":3795652,"id":"Q3795652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0b39b51737058772e871cd8f6b23c1ac99f5f2","datavalue":{"value":{"amount":"+0.798784613609314","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":"Q689076$787A4DA7-7C95-47A6-86DD-5D10B5BF6456","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplified semantics for relevant logics (and some of their rivals)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simplified_semantics_for_relevant_logics_(and_some_of_their_rivals)"}}}}}