{"entities":{"Q750419":{"pageid":752268,"ns":120,"title":"Item:Q750419","lastrevid":64055298,"modified":"2026-04-11T17:20:28Z","type":"item","id":"Q750419","labels":{"en":{"language":"en","value":"Relevance and paraconsistency - a new approach. II: The formal systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174897"}},"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":"Q750419$FBA02190-C024-400B-88D0-AD521D4B5DE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1406bd62286f9663fcd3bfcb6bbe439e8d09e35","datavalue":{"value":{"text":"Relevance and paraconsistency - a new approach. II: The formal systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750419$E8C0FD0E-2B32-4C23-B389-B0E6D76F617A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8185670ace83f7166efa0cbdfc42ee7cb518665","datavalue":{"value":"0714.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750419$21E8F0EB-982E-4D28-808E-46675F1CE9F7","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":"Q750419$1328C30B-E6E1-45B5-9528-AB91FF8CB7A5","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":"Q750419$F8E2206B-FD61-47E9-B07E-4D64AF375FFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q750419$4206D80A-4F42-45E9-B5D9-4ECFEDDEAB30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"627f398f1f19c8b07fbdc72e87178c68bca22578","datavalue":{"value":"This paper concerns the logic RMI [introduced by the author in J. Symb. Logic 49, 334-342 (1984; Zbl 0586.03017)]. RMI is essentially the ``semi- relevant'' logic RM [see \\textit{A. Anderson} and \\textit{N. Belnap}, Entailment. The logic of relevance and necessity. Vol. I (1975; Zbl 0323.02030), esp. p. 341] with restrictions to the principles of adjunction and distributivity which produce relevance. Amongst the things the paper does are: proving soundness and completeness with respect to the algebraic semantics given by the author in part I [J. Symb. Logic 55, No.2, 707-732 (1990; Zbl 0705.03007)]; establishing appropriate deduction and interpolation theorems; giving a multiple-conclusion proof-theory; investigating various sub-logics and extensions. The paper also argues that the properties of RMI make it preferable to more usual relevant logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q750419$A986448B-BBB0-41D0-B6B1-EFD7F5F27D8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750419$01881DFF-4F03-45F8-9AA3-7335EA30296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750419$976762B3-CDE7-4346-8D4B-50B967B7CF4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64614ffdd5f5c2c03e0db3a4c2615102b2fe8e65","datavalue":{"value":"4174897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750419$5C56B472-56AF-445E-A8BB-9B618154BA99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q750419$23479F56-75C4-4C31-8E37-F018730ACE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac1fd9a39eaf46c4226c28e65e006edcaaf3797","datavalue":{"value":"RMI","type":"string"},"datatype":"string"},"type":"statement","id":"Q750419$01560B82-2E53-40F8-89B3-535F982D3C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed98149e09fcb227a2507e4c376757d4ccf51b8","datavalue":{"value":"relevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q750419$1297C538-DF3D-4E5C-A7B2-A25106812A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q750419$92114347-8DEC-4C84-A296-F083B0F2B24D","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":"Q750419$839E29C0-CCBE-4ECE-BF34-1BD215C25A85","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":"Q750419$ABB7BBC5-A554-44AA-A68D-64ADD953F13B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f681c33230e0f31754cf719321da1567189a95b1","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635414","type":"string"},"datatype":"url"},"type":"statement","id":"Q750419$0B6BC8CE-8B00-4F09-93C8-04E04D5B4B32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"447dc72ac972913acd5d8e762b9dd826f93813b2","datavalue":{"value":"W2003647054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750419$5E15D55D-5A82-497B-A647-4D174CFE69EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfacf30d408d40652020152dc9a1a9978441292a","datavalue":{"value":"10.1305/NDJFL/1093635414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750419$88A846AF-B1D8-476B-BD1C-0CDB264F5954","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf99376bc4ac99f89f21b7d5fd7db7e1f6b48323","datavalue":{"value":{"entity-type":"item","numeric-id":3712316,"id":"Q3712316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257ef127aa2377dec4632c8549f34750d3e82962","datavalue":{"value":{"amount":"+0.8286041617393494","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":"Q750419$FBA4ECD0-D8A6-49F7-B324-D5E192091B27","rank":"normal"},{"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":"c0b56d357e88096cd9c844a5c8bb95c439a0aa05","datavalue":{"value":{"amount":"+0.8284998536109924","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":"Q750419$C6F74DBE-F496-4A11-BAEE-41EE6955AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b584869329e5e62edaedcd9bbc43904cdf75c024","datavalue":{"value":{"entity-type":"item","numeric-id":3484811,"id":"Q3484811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f27f1edb654025c7e8494ce6c32f4566fcd362","datavalue":{"value":{"amount":"+0.8230988383293152","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":"Q750419$16C098CE-2065-4965-BF26-C1AAEA311F59","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":"8112af0dc204b52acfe49bf1139e485a4adfd40a","datavalue":{"value":{"amount":"+0.8156626224517822","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":"Q750419$910158BB-A2B0-4E6D-A25F-B7FBAF48C327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f7fb763dbb2b0b83877c42ae6bde4a7d5d4f5f6","datavalue":{"value":{"entity-type":"item","numeric-id":2277440,"id":"Q2277440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7fd5e6a1b713587f96180dc44a381776d15ce1","datavalue":{"value":{"amount":"+0.8147144317626953","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":"Q750419$A2757700-508A-4EA0-89AD-A39E33D264D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relevance and paraconsistency - a new approach. II: The formal systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relevance_and_paraconsistency_-_a_new_approach._II:_The_formal_systems"}}}}}