{"entities":{"Q1088648":{"pageid":1099400,"ns":120,"title":"Item:Q1088648","lastrevid":49035652,"modified":"2026-01-06T12:22:42Z","type":"item","id":"Q1088648","labels":{"en":{"language":"en","value":"On an implication connective of RM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3991473"}},"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":"Q1088648$1672C38E-CAFE-4330-9395-A2E8A548E926","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5713b1fe021f3decea6da29159f678fc701e9af","datavalue":{"value":{"text":"On an implication connective of RM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1088648$B861505C-B596-4502-96CF-DA2A13E9F337","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64278aa1cea0414e372e32c2ef5279e4a31128b6","datavalue":{"value":"0613.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088648$4BEE4884-FCF3-476F-97A3-3537DE9114BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088648$855DD2A1-273B-4C9E-8EB3-F9A4FFFF6142","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088648$1F12213F-D0C9-48D3-8778-E28728CBCDF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1088648$26F519A3-7DEF-4E0A-B896-632FD5F6DBA4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"419424737c181e106f8eab6388f3a132bbaa982b","datavalue":{"value":"This paper contains a wealth of results about the quasi-relevance-logic R-mingle of J. M. Dunn and S. McCall [cf. \\textit{A. R. Anderson} and \\textit{N. D. Belnap jun.}: Entailment. The logic of relevance and necessity. Vol. 1 (1975; Zbl 0323.02030)]. The central theme is the definition in RM of an almost material conditional \\(A\\supset B\\) as (A\\(\\to B)\\vee B\\). Deduction and modified interpolation theorems are proved for \\(\\supset\\). The subsystem \\(RM_{{\\tilde \\supset}}\\) is axiomatized as a rather messy negative extension of the positive implicational calculus. Although \\(\\vee\\) is not definable in \\(RM_{{\\tilde \\supset}}\\), \\(A\\to B\\) is definable as \\(\\sim (A\\supset B)\\supset \\sim (B\\supset A)\\). \\(RM_{{\\tilde \\supset}}\\) is proved complete in the sense that any indeducibility in an extension of \\(RM_{{\\tilde \\supset}}\\) closed under modus ponens and substitution is refutable by a finite Sugihara matrix. Upon the addition of natural axioms for \\(\\vee\\), \\(RM_{{\\tilde \\supset}}\\) becomes equivalent to RM again. Upon the addition of \\(\\sim A\\supset (A\\supset B)\\), \\(RM_{{\\tilde \\supset}}\\) collapses into the classical propositional calculus. The author points out that \\(\\supset\\) as here defined has most of the properties one might expect of a paraconsistent conditional connective.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088648$981F4AFE-DE45-4DC5-A3AE-4A476AAF34EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088648$D27F9115-A80C-4C7B-A3E6-67123C5DBD06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b59299eb4bfaa9e3bdd10c2e4daea0bc8caf40e5","datavalue":{"value":"3991473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088648$3F0A176A-5638-4184-98E7-C49251ABF257","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cdbde980a18d3e11256613ff0337172fc7d2202","datavalue":{"value":"quasi-relevance-logic R-mingle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088648$5522ABB3-DAA3-4CBE-8568-B0EF8F3A846C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd26383bc0ce10ed11a40c0f81f0bbde15dd7b71","datavalue":{"value":"almost material conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088648$D85BFC9C-DAE5-47D5-BCC5-2477B48BE463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f09b98db54618cfa3ba50be8b09a38e5fabce387","datavalue":{"value":"paraconsistent conditional connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088648$7FDDEB8F-02D1-4ADF-9D32-5BE2ABAC300C","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":"Q1088648$2FF03F29-99BC-4DB2-A2C2-742BBC3BF597","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f5ff54e68459bc5688e85d19536932946526158","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636612","type":"string"},"datatype":"url"},"type":"statement","id":"Q1088648$83E4F0A2-68FE-4F53-9A2C-3E0168112613","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"227d9281d98da0968be1bd3ffee2adb8a5dc3718","datavalue":{"value":"W2092490196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088648$DF46E4AB-F2A8-41E2-9F66-4E4509D311DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1788fa19f993bfc6f052bc1c2ccc8e1129dc8e29","datavalue":{"value":"10.1305/NDJFL/1093636612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088648$0431244E-8D53-4D7C-BC4A-993509CF71EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882febc478e66658daabbfaadf61053485c76d10","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ca162a9f5f06d99b76022a972f860f321b6e6d","datavalue":{"value":{"amount":"+0.8177847266197205","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":"Q1088648$2DCB36CF-27E6-4505-A773-03FB36FC664E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a849e2dc62f24cc282b64497e1acd6070de7729","datavalue":{"value":{"entity-type":"item","numeric-id":750419,"id":"Q750419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd5ddf4aa3b0d17c3aefa77a0c1e0b27455fd09","datavalue":{"value":{"amount":"+0.8147069811820984","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":"Q1088648$CACF542B-EA0D-424C-AC08-601045384E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf1f8605add2dcc7b97771d581af046cff74a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1770601,"id":"Q1770601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea74e15cf8cdf17658534607f4a021a04226ff6","datavalue":{"value":{"amount":"+0.7942229509353638","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":"Q1088648$173A1934-4E97-4789-8B4A-B30794165129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0408e6202c65566d6f338e954b11451cff24145e","datavalue":{"value":{"entity-type":"item","numeric-id":3305418,"id":"Q3305418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e57d85c4524a11dfb6bd0c24d59c27aec52d27","datavalue":{"value":{"amount":"+0.7937498092651367","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":"Q1088648$1B5C4B25-DB38-4E94-AE1A-F68F2733A321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a307164cf0330fc266e30b3a550d5bbe53a23754","datavalue":{"value":{"entity-type":"item","numeric-id":3400308,"id":"Q3400308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7aeeb3137a048b086afa2be3fbf26c5b4cff010","datavalue":{"value":{"amount":"+0.7861966490745544","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":"Q1088648$A9E4319B-66C6-44BD-B72F-631BA2E18064","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1088648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1088648"}}}}}