{"entities":{"Q2813672":{"pageid":2824410,"ns":120,"title":"Item:Q2813672","lastrevid":42164335,"modified":"2025-05-26T20:02:01Z","type":"item","id":"Q2813672","labels":{"en":{"language":"en","value":"A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598140"}},"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":"Q2813672$E1BC8C86-3DD2-445F-BD4F-3AF8C88481FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"012176e7255d308f8d966df67da2efcb80591fc7","datavalue":{"value":{"text":"A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2813672$C8D0D93C-626F-4D19-A8B2-5107159319B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da63c18d55b1a19a267c522fe442d88c0bf3ad62","datavalue":{"value":"1388.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813672$0362A76D-649A-42C3-ADE9-EF7FDBFFDE62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$D0F4BE56-D58C-456A-A97F-9911B299A52F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d6952a7603f551cb4d5517360c8c4c3bf4d91a","datavalue":{"value":{"time":"+2016-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2813672$3C8D4851-EFF7-4CD8-ADD8-CCA4F2FBF6C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813672$19B1294C-06F1-49C3-ABE9-E15D0DECD0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813672$19F8DFA3-CD23-4A78-8D47-269C2F513BDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43af921b0631ddcd921975af5382b88cbfafed99","datavalue":{"value":"6598140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813672$8D471E6C-2C16-404E-9786-8040503D88B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813672$1DEB7804-EC65-467E-BF91-7E9A1B643EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813672$EB150E2C-D5C0-48DA-93FA-85A4D3B0BDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ebbc422e941fa3ebc62855a3299d9b07210f92","datavalue":{"value":"constructible negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813672$E083971A-DE0B-4B3D-B03C-9FFD6E6C44F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813672$08D7751C-F42F-4174-A6F8-C24424B2A180","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":"Q2813672$25415686-4BE1-47BD-8A0A-297452A23BA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"720c3129621bbbb1c931ed50eba00a37381dbe15","datavalue":{"value":"https://doi.org/10.1002/malq.201400086","type":"string"},"datatype":"url"},"type":"statement","id":"Q2813672$BE104CFB-F48B-4A3E-9AAE-E8B8C7CB8D14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"532600dfb582d407d269f30028dc63979f4009ad","datavalue":{"value":"W2358432189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813672$AEFCC2C6-7FA1-4248-8A06-2AB260E60084","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$35D359B4-7745-43A3-A40A-7D3511B36DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3ed2865b32477b24d0450177863764b3e6e871","datavalue":{"value":{"entity-type":"item","numeric-id":4704742,"id":"Q4704742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$4078B956-F010-4ABF-8049-E2676933EE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27be475e2944a8315474eaffebac2a29244cdf07","datavalue":{"value":{"entity-type":"item","numeric-id":911575,"id":"Q911575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$DB077314-E008-4CEF-83C3-887140923486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$9CC0813C-ABD9-4B12-B100-CA0F8AAD27C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$EA720A95-5EE1-4C4B-8AF6-1EA2FC2EBEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b3fca908540a12558e27540d4417f6987a3e5b","datavalue":{"value":{"entity-type":"item","numeric-id":2368991,"id":"Q2368991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$7A722CE1-F652-4237-97FF-D1E129EAE1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf487fbbe749499cad6f9e55d76b78791641015","datavalue":{"value":{"entity-type":"item","numeric-id":5411482,"id":"Q5411482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$B8E53E71-831A-4789-AA7F-483784DD096D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c0c3cfe49a3d2843a935328bdbf41639c6491","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$6387F33A-3CDE-4FD8-A1C7-54C9D43CB7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6e9e1d18538a056cdf8780264c2c8e00f6d132","datavalue":{"value":{"entity-type":"item","numeric-id":764309,"id":"Q764309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$4BB034E1-A4C5-4888-AA07-D137CCFA6D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$8EBABB79-25F7-41F1-89F6-596953174026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87135399135ab61a988f7bb2677c6a432e0d257","datavalue":{"value":{"entity-type":"item","numeric-id":946573,"id":"Q946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$3D341510-6BC5-4723-BA56-AF4D299D1E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd78b9ebbe4489db68c54b3f505ecbdd2e7190","datavalue":{"value":{"entity-type":"item","numeric-id":703304,"id":"Q703304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$78424233-7B44-4584-A19F-D80AACCE5915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fae066ab52947e678be762a4f273865d1c4958d","datavalue":{"value":{"entity-type":"item","numeric-id":1237778,"id":"Q1237778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$7B69B130-9B85-4E1B-A229-BB33E90C3E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$61AEECF5-1562-43A1-84F6-3FB11A1CF9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$82996A89-B969-4120-8582-302B10B9DAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c048ba9eda1ea036e5a67e736564f9a88964bf","datavalue":{"value":{"entity-type":"item","numeric-id":3988060,"id":"Q3988060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$1C531C71-EB43-4D18-A83C-25821A788774","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e755f1d5bf0c94f4e49b6e69219037e2c7a9dad","datavalue":{"value":"10.1002/MALQ.201400086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813672$51B5A7C9-3B0C-40A8-8341-C3E5A395EA38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63d84f24d8bd1e2bb35c8f6cfd21559ed6f4edc","datavalue":{"value":{"entity-type":"item","numeric-id":2277247,"id":"Q2277247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dab31724a2e261cb7061895672579c366d20867","datavalue":{"value":{"amount":"+0.90586114","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":"Q2813672$ED430B4D-9C50-4064-ADF8-78111DD0199F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9592bcabf1bcf18ba1da0f9fa4dd921bbc92b0e4","datavalue":{"value":{"entity-type":"item","numeric-id":3762280,"id":"Q3762280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb528a9467fc7771783484c4404900904be56e05","datavalue":{"value":{"amount":"+0.8930352","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":"Q2813672$57C0CB98-8C54-42B2-A9B4-26E0022BB3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95dc6b2432c752a58355e2328ea6d5fd1a555815","datavalue":{"value":{"entity-type":"item","numeric-id":4583342,"id":"Q4583342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e52302090f336f189c6104cf4e4d46e5f4568f7","datavalue":{"value":{"amount":"+0.8911149","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":"Q2813672$9B950A4C-CD02-4977-B41E-8D27581F305C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd917707ac4c076afe444fe117a38c2b3ee16d4","datavalue":{"value":{"entity-type":"item","numeric-id":3474639,"id":"Q3474639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec22da0d9c7c128ebc141bd693b184490a2f562","datavalue":{"value":{"amount":"+0.8862645","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":"Q2813672$17EE4BB5-1B26-48B0-BE2B-D7D3FBDA7BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f3b63568588ea8bddf18686177069d8a466164","datavalue":{"value":{"entity-type":"item","numeric-id":3435252,"id":"Q3435252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aed53374a44a5fa1c71a68ced154670d29988fb","datavalue":{"value":{"amount":"+0.88221914","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":"Q2813672$1ACA0092-55E9-4DB7-BE8A-507321814831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974eb5e13b556c672312806f9c29598336c6d30f","datavalue":{"value":{"entity-type":"item","numeric-id":687160,"id":"Q687160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148d012b8a7b7902137f0373c51e6cfc3678b80e","datavalue":{"value":{"amount":"+0.88033164","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":"Q2813672$E7AAB914-6AC1-4DFE-B813-CEAB14D8B868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662406e0e118a553db0578f95a48c5e1b49b33c9","datavalue":{"value":{"entity-type":"item","numeric-id":1066881,"id":"Q1066881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3760d39d53c55431e45ec8f3e0c079e507765d","datavalue":{"value":{"amount":"+0.87879026","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":"Q2813672$B0B12ACC-39D1-46C1-933A-3F478E2B7299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026362a1dcfcde264290f3ecd67b1fb851788378","datavalue":{"value":{"entity-type":"item","numeric-id":4870569,"id":"Q4870569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135a22e58516fce9c143158a038c81790bde2db0","datavalue":{"value":{"amount":"+0.8767662","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":"Q2813672$39C7E61A-3DD6-4428-AA68-65C29DBA3DDA","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":"c3187bcb4038aac58d7efab45173d164c8128fd5","datavalue":{"value":{"amount":"+0.87675005","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":"Q2813672$35218B60-34E6-443C-B0B4-C889A1B6504C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70a87c6c1182711be7aabf4f61f35587f2e86de","datavalue":{"value":{"entity-type":"item","numeric-id":701297,"id":"Q701297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63a5e4866b5a1db5a8de22806e5b5186a8743d5","datavalue":{"value":{"amount":"+0.8763512","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":"Q2813672$FC1C48BD-724D-438F-AE93-23303E0A1EE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$D85A0AF5-6919-40A7-BAFA-904824AB2EFB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f251b4db5d1928acf4accf4d63b5b5c25b923c7","datavalue":{"value":"This paper introduces the logic RWP that extends the positive relevance logic RW\\(^+\\) for relevant implication without contraction to include a strong paraconsistent negation from Nelson's four-valued N4. RWP is defined as a Hilbert-style axiomatic system and, importantly, as an equivalent Gentzen-style sequent calculus, SRWP. The latter is shown to be embeddable in SRW\\(^+\\), a sequent formulation of RW\\(^+\\). Since SRW\\(^+\\) is known to satisfy cut-elimination, to be decidable, and to possess the variable-sharing property, those results extend to SRWP and hence to RWP. In addition, the paper provides two forms of Routley-Meyer ternary semantics for this system, one based on a dual satisfaction relation with \\(\\models^+\\) and \\(\\models^-\\), the other with a variation on the Routley star-operation. For the first form, RWP and SRWP are shown to be (weakly) complete by embedding their models into models for RW\\(^+\\). For the second form, RWP and SRWP are shown to be (weakly) complete by embedding their models into models of the first form.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813672$08FA7618-8703-4FB3-BC27-5A199F68F5AC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813672$0841262C-29B6-4932-ACBD-80F7C7D10D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2813672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2813672"}}}}}