{"entities":{"Q1346215":{"pageid":1356954,"ns":120,"title":"Item:Q1346215","lastrevid":70207974,"modified":"2026-04-13T13:10:19Z","type":"item","id":"Q1346215","labels":{"en":{"language":"en","value":"Four-valued semantics for relevant logics (and some of their rivals)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 736388"}},"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":"Q1346215$95DE7D15-1F32-4C3B-AACD-77EB66D5B724","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cb5c780379a466b7e39fdd22f754dfec6519c8d","datavalue":{"value":{"text":"Four-valued semantics for relevant logics (and some of their rivals)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346215$4E3ACCAA-D6D3-4C41-B363-07549C37098D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2003469986a8a9365d1ef3f74823a6975c856a3b","datavalue":{"value":"0815.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346215$ECE8BC97-C42A-4B2F-AE06-D75FB1246C12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70f333674bf2481188b4ff16f7202a4f1555a3e2","datavalue":{"value":"10.1007/BF01048529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346215$94973B61-DB50-4193-BEA8-3D603329E605","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":"Q1346215$1C07482E-73A0-49A9-9CA8-D45A3A7E00A3","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":"Q1346215$51480185-50FF-4CB7-B504-3B616E1F3DE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63363922c803e5bf02b091d219b37a0b52aee2e3","datavalue":{"value":{"time":"+1995-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346215$8FB1635D-5308-4970-AAE7-C54F5245AA1A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f1321ea6d7f5a643403ab5a16616ce6dfb47fcc","datavalue":{"value":"\\textit{G. Priest} and \\textit{R. Sylvan} [ibid. 21, No. 2, 217-232 (1992; Zbl 0782.03008)] and the author [ibid. 22, No. 5, 481-511 (1993; Zbl 0782.03009)] provided simplified semantics for most standard relevant logics. The semantics employ mainly the Routley \\(*\\) operator to model negation. This paper explores the possibility of using a four-valued semantics (true, false, both and neither) instead. Three approaches are pursued. The first provides a simplified four-valued semantics for most relevant logics, but does so by mimicking the \\(*\\) semantics. The second and third avoid this by giving conditionals non-arbitrary falsity conditions. The second gives semantics for only a few relevant logics, notably C (RW). The third gives semantics for none of the standard relevant logics, but for a whole new family of such logics which, characteristically, validate the schema \\((\\alpha\\to \\beta)\\to((\\alpha\\to \\perp)\\vee\\neg(\\alpha\\to \\neg\\beta))\\). Completeness proofs for this new family remain an open problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346215$9DF9C85E-06E3-4E6E-B202-F8C8F43B4D87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346215$AB696007-BC11-4031-B9C1-E0EF9DEA209B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"592713aa9e57102cfbad95ba3bcaac3aa8536c22","datavalue":{"value":"736388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346215$4BAC555E-1C9E-463E-A700-04DDE57DFD6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3e24cb17071a1184de45673f6e96ab6f343cd26","datavalue":{"value":"simplified semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346215$4B325DF3-5B67-40A3-8C59-4F3855D1D991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346215$41E6E797-97C6-4A57-8667-8C57660A5DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053922bc10d7b2b946a2971edefa8812e64c0ffc","datavalue":{"value":"four-valued semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346215$F220A511-348A-4873-9FB9-E125B5069D7D","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":"Q1346215$919735B3-1DE5-4E4D-971F-B7D615A71BE4","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":"Q1346215$81B75F59-66D4-4C2C-942E-1B86B9CB133B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346215$3F8E1AAA-8C69-4DF3-9F0D-0811D1438B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346215$F64CD1E7-AA0E-48AC-881F-C4CF7BC0570E","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":"Q1346215$E9231C4A-A677-4E63-BD05-BED1C37F94ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79d491ac7bcf8dbf737ca5a36b6904ebf92992c","datavalue":{"value":{"entity-type":"item","numeric-id":689076,"id":"Q689076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346215$6758D975-755F-4410-8AD2-CD2AF1CC47F6","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":"Q1346215$77ADA0B0-466E-4530-94F3-FD9ACB29FA0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a26bd37b8f1d3f88662e6837dc2503e0c4257c3","datavalue":{"value":"https://doi.org/10.1007/bf01048529","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346215$77E4B675-25D6-4861-ACA9-342CA2D0743B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b01d42bc7a9d438fb788aa94b59bab6d4bf51992","datavalue":{"value":"W2094047210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346215$7E0499BB-5FC1-41C2-A3FC-8AAD39792BE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8da8f10c21b92ca85b11b9cc30a73c0e767fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":1876086,"id":"Q1876086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb53e0cf80616941856098272c25bd218bded3b","datavalue":{"value":{"amount":"+0.8561295866966248","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":"Q1346215$7A019C4E-6D82-48B2-8BB0-0B660E61FE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7b643bc473d80cecfc9f2b794321cfd39b5f15","datavalue":{"value":{"entity-type":"item","numeric-id":2987765,"id":"Q2987765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"017a5fcb2ec13e40f2be7ac2eec7eac22e030312","datavalue":{"value":{"amount":"+0.8312537670135498","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":"Q1346215$86BF91A0-74A7-4EEE-8A74-11B9C9A74591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fa926fd8fba4fe635a5260ee347bdb9ea3d689","datavalue":{"value":{"entity-type":"item","numeric-id":4591501,"id":"Q4591501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48f0292081256743958d8bfa26992d88b1af633","datavalue":{"value":{"amount":"+0.8133333325386047","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":"Q1346215$2710C57D-2231-4934-A017-E039F123669C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1242fa5f7f92682fec203e6670f6fcb4072b6c13","datavalue":{"value":{"entity-type":"item","numeric-id":1422105,"id":"Q1422105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212e8825b5a3af3c922fdecb70d6c0e2e74c056e","datavalue":{"value":{"amount":"+0.8025960326194763","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":"Q1346215$54D86A80-9A5A-4136-A8BC-FB7C909D76EA","rank":"normal"},{"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":"5ed62765c2bedf54c2dedfeb85fd32996e91475e","datavalue":{"value":{"amount":"+0.794009804725647","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":"Q1346215$9BBA8922-8434-4A54-A5F8-A7DA67D381A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Four-valued semantics for relevant logics (and some of their rivals)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Four-valued_semantics_for_relevant_logics_(and_some_of_their_rivals)"}}}}}