{"entities":{"Q801897":{"pageid":803745,"ns":120,"title":"Item:Q801897","lastrevid":64445766,"modified":"2026-04-11T19:55:06Z","type":"item","id":"Q801897","labels":{"en":{"language":"en","value":"Paraconsistent analytic implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880656"}},"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":"Q801897$3293F4B7-AB17-4A19-A192-98B83D3D5A78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"577616dd7c26b020cfba3273872efd8c0221f516","datavalue":{"value":{"text":"Paraconsistent analytic implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801897$2A7B4F31-0C91-4EBA-A1E4-7C7AC26127EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e9ec04461f1b02bd8f7b2069fc311ca8f80e74e","datavalue":{"value":"0553.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801897$3C85A82E-1E67-4056-AA7F-CD94C052CBE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9b24156f4cfad7c0e73c9664fd3afd8ec9eeb15","datavalue":{"value":"10.1007/BF00297573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801897$C3BC46E6-CC49-4841-9E46-091DB1965701","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f04bf513a028917c3b70ab6ee773491319d3925","datavalue":{"value":{"entity-type":"item","numeric-id":801895,"id":"Q801895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801897$32193A1C-06A4-4B5C-9540-70CD9F2A8B8A","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":"Q801897$09CF3D1C-977E-4BAD-8140-436E58233C2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q801897$D2766790-FFF0-4556-8BDE-6308B0E08B3C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a30b0d89717d07b0c4fffb043ee876dacca8ed99","datavalue":{"value":"''Analytic implications'' in the style of Parry are marked by the property that an implication \\(A\\to B\\) is not considered as true unless the ''content'' of B is already included in that of A. A formal system motivated along these lines was studied, in both an axiomatic and a model-theoretic manner, by \\textit{J. M. Dunn} [Notre Dame J. Formal Logic 13, 195-205 (1972; Zbl 0197.275)]. In the present paper the author isolates a subsystem of that of Dunn, which lacks the principle of modus ponens, thus bringing it closer to the usual entailment systems such as E, and proves soundness and completeness with respect to a suitable class of relational models. An interesting feature of these relational models is that instead of two truth-values they use three, identified with the three non-empty subsets of the set of the classical two.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801897$5BDE78D9-E32E-4A23-B1FD-1F58B449F468","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801897$A64C5F83-8A46-47A9-9A9A-1A6745665A47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a443aafd4ae4d164f048a090fa6afbc8c5682165","datavalue":{"value":"3880656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801897$7713A850-DFD5-4A5C-BD72-CE215112DE27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ebadc55ecbc1e5ede68440d6a5eadf17105ed","datavalue":{"value":"analytic implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q801897$EF1E1A33-1849-440D-B0F8-4AADA70D1C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q801897$0AFF6951-F3C7-49CB-A804-9B5707EC48BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q801897$CE0795BC-AD09-4811-B029-B68790D81C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4a83e9bf1465d5662c8bbc43f6d98e579abdca","datavalue":{"value":"relational models","type":"string"},"datatype":"string"},"type":"statement","id":"Q801897$4AFB3857-B5B6-4621-B193-5462C6F5F691","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801897$F28862EC-5237-4327-AFAD-CB0B18C195C0","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":"Q801897$6FB3EC8A-A6AC-4665-AF60-3EE2665EEB26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44c8675217981374eb879b87caf9ae51e48b449","datavalue":{"value":{"entity-type":"item","numeric-id":1257470,"id":"Q1257470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801897$B9FD2FE6-E82E-4C16-B0DF-032F0A9FB8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d4140752ee1ee39784c89a9a4f8ac3200219a4","datavalue":{"value":{"entity-type":"item","numeric-id":1078164,"id":"Q1078164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801897$3A68529C-9CFD-4373-AEE0-E12139FF4BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b21a0cbd9d202c4d858892712685ade0d68231","datavalue":{"value":{"entity-type":"item","numeric-id":5638267,"id":"Q5638267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801897$2EA8A885-057D-4207-896D-4962E482CEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba182f1af21e851b9ac4197667a28846572d838","datavalue":{"value":{"entity-type":"item","numeric-id":2562073,"id":"Q2562073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801897$B7B51EE6-9FB4-4DFB-92F1-86EA4EEF13BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40577beaf841ab5cf378be716ef9ca606f70e31","datavalue":{"value":{"entity-type":"item","numeric-id":3149171,"id":"Q3149171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75566bef7b8cd0a866eb37e7bd985b69cb18266a","datavalue":{"value":{"amount":"+0.8500014543533325","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":"Q801897$43B27A6D-D0C3-48AE-94DD-FD5DDCF2FF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d79f34c2a1b19be2d12dfad598e1370f0014e00","datavalue":{"value":{"entity-type":"item","numeric-id":1090323,"id":"Q1090323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a774e9c1ff68dfc60ade0bcc672e8b7aa879b2","datavalue":{"value":{"amount":"+0.8449466228485107","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":"Q801897$D2B9B39D-95B6-4B5F-ACA0-0448856B0C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e21bd5284507f6472e9b35305658cf1bda7d38","datavalue":{"value":{"entity-type":"item","numeric-id":4811785,"id":"Q4811785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83716fca357c05a8eed1a5f80090be13f0b2ae57","datavalue":{"value":{"amount":"+0.8154327273368835","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":"Q801897$0B7CA95F-25DB-4A87-81BA-CFB37329392E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081b76975025f45709ecb9fd318a3e35a0733faa","datavalue":{"value":{"entity-type":"item","numeric-id":1876092,"id":"Q1876092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899f42b9b24d10bb00d2bcdc027fdad59e6280e3","datavalue":{"value":{"amount":"+0.7710840106010437","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":"Q801897$64D99C34-3D08-4BB0-B661-20FD5D0864CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142e59cd142d5175dfa6a2755158ae82846b149f","datavalue":{"value":{"entity-type":"item","numeric-id":1683263,"id":"Q1683263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54307fe536040d04f13e3540fdd2f932b349e5be","datavalue":{"value":{"amount":"+0.7643546462059021","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":"Q801897$6019AD79-B519-415A-A842-FDC036688238","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Paraconsistent analytic implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Paraconsistent_analytic_implication"}}}}}