{"entities":{"Q2204373":{"pageid":2215116,"ns":120,"title":"Item:Q2204373","lastrevid":57787326,"modified":"2026-04-02T13:00:19Z","type":"item","id":"Q2204373","labels":{"en":{"language":"en","value":"Classifying material implications over minimal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7261474"}},"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":"Q2204373$D6C337F9-E9E6-46A9-AEC9-EE31928295FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6944c020d100dfc423e1169741b132e7d4fce5bc","datavalue":{"value":{"text":"Classifying material implications over minimal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2204373$3108FF2E-CF50-4947-A588-985EB92A9A4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66096ef24764fa6cc6b6feafb81f47b6c7abcc25","datavalue":{"value":"1466.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204373$99ADC09C-58CE-4ED1-B868-7945AF0E4062","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1f9795c0d114d87eac7fe9e6e5d0c69ddacb3f","datavalue":{"value":{"entity-type":"item","numeric-id":926185,"id":"Q926185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$A318A7CB-7B9C-44DC-9DAF-1041827C98EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55e85475f89d2f848fd05b0183735a601063dc2","datavalue":{"value":{"entity-type":"item","numeric-id":692183,"id":"Q692183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$0DCE7F2A-FDEA-4887-8D60-638C7AB56F6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$94C44D6A-4C69-4CE7-BE08-DCE2B8D1267C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74f969d0fb9bfcdfa4b8edd3d369bcf872715087","datavalue":{"value":{"time":"+2020-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2204373$1788C44E-5BD0-4472-8407-309AB8B9572F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"affc871d89f773a817e47a2c55d2aa7ea3a9d0c8","datavalue":{"value":"https://arxiv.org/abs/1606.08092","type":"string"},"datatype":"url"},"type":"statement","id":"Q2204373$72C0BC3F-079C-49C4-A18A-D1FD20FAE825","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dd20f55504aada6e880251272671e8c94a19c476","datavalue":{"value":"Minimal logic (ML) can be formulated by deleting the EFQ-axiom from a standard axiomatization of intuitionistic logic (H) such as, e.g., that in [\\textit J. Moschovakis, ``Intuitionistic logic'', in: E. N. Zalta (ed.), The Stanford encyclopedia of philosophy (Winter 2018). \\url{https://plato.stanford.edu/archives/win2018/entries/logic-intuitionistic}]. The authors define the lattice of a series of ``paradoxes of material implication'' (in Lewis' sense -- cf. [\\textit{C. I. Lewis} and \\textit{C. H. Langford}, Symbolic logic. 2nd ed., corrected and unabridged republ. of the first ed. New York: Dover Publications, Inc (1959; Zbl 0087.00802)]) in the context of ML and w.r.t. eight prominent ones: \\(\\lnot \\lnot \\varphi \\rightarrow \\varphi \\) (DNE), \\( \\lnot \\varphi \\rightarrow (\\varphi \\rightarrow \\psi )\\) (EFQ), \\(((\\varphi \\rightarrow \\psi )\\rightarrow \\varphi )\\rightarrow \\varphi \\) (PP), \\(\\varphi \\vee \\lnot \\varphi \\) (LEM), \\((\\varphi \\rightarrow \\psi )\\vee (\\psi \\rightarrow \\varphi )\\) (DGP), \\(\\lnot \\varphi \\rightarrow \\lnot \\lnot (\\varphi \\rightarrow \\psi )\\) (WT), \\(\\lnot \\varphi \\vee \\lnot \\lnot \\varphi \\) (WLEM) and \\(\\lnot (\\varphi \\rightarrow \\psi )\\rightarrow \\lnot \\lnot (\\psi \\rightarrow \\varphi )\\) (DGP\\(^{\\rightarrow }\\)).  All paradoxes considered are of course unprovable in ML, while only \\( (\\varphi \\wedge \\lnot \\varphi )\\rightarrow \\psi \\) (ECQ), \\(\\lnot \\varphi \\rightarrow (\\varphi \\rightarrow \\psi )\\) (EFQ) and some forms of the De Morgan laws (\\(\\lnot (\\varphi \\vee \\psi )\\leftrightarrow (\\lnot \\varphi \\wedge \\lnot \\psi )\\), \\((\\varphi \\vee \\psi )\\rightarrow \\lnot (\\lnot \\varphi \\wedge \\lnot \\psi )\\) and \\((\\varphi \\wedge \\psi )\\rightarrow \\lnot (\\lnot \\varphi \\vee \\lnot \\psi )\\)) are provable in H.  The authors use Kripke semantics in order to show the uniqueness of the implications stated in the lattice referred to above. Nevertheless, I think that the same result can automatically be obtained by using \\textit{J. Slaney}'s program MaGIC (cf. [``MaGIC: matrix generator for implication connectives'', \\url{http://users.cecs.anu.edu.au/~jks/magic.html}]).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204373$E71914AC-C605-4364-A859-260015C85DF0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1337cba793ece012dc87025b12e0025a65ffdc83","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$B4888AF2-82D8-4C5A-8889-D30C30751897","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204373$6EB41755-37D9-4AB4-9879-1E1521D823A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204373$ADEC4A69-79F0-4B65-BCC0-819B9E6A0DDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18240758dc183d74240b87c701b65b581176243b","datavalue":{"value":"7261474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204373$89B226B9-5F09-4D76-BD5E-C747BADA9E4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204373$5EF3269E-AF69-4715-A27D-2DFF2B0BA35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204373$04322BFA-70A3-44E0-A405-51C265C1C392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffab8a8b04f0c9efe1694890539f1194d7d4a7a4","datavalue":{"value":"ex falso quodlibet","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204373$5901AD6D-184D-4340-A2F4-75D7AA6E40FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204373$0AC67FF0-ACF2-4BCE-AF4F-CC0F08840F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204373$9D00D213-DA8E-4332-8571-BEC05871EB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c26fcbe883441e274101b4b9ab8fca9197ba0dc","datavalue":{"value":"Peirce's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2204373$EFF35C4E-101B-4BE5-8EBC-E2565DF5EEFD","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":"Q2204373$0D791259-6C3E-441B-8992-5933CCF88D90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39f59b197bc7178b27d7c154faf7a92f02113e16","datavalue":{"value":"W3010532782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204373$77B505C7-8A4B-44E0-954A-3C1880B9D84E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$2A409440-9869-4B9F-BE5E-BDDA854A50EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a40ec4985a9da9bbe9c2e7f75fdde13fbae5ea","datavalue":{"value":{"entity-type":"item","numeric-id":3469089,"id":"Q3469089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$B83BCC92-6F29-41AD-A971-E3DD1DD133C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$3DCF1FDF-9575-4F69-B39F-8AF7EF3AD874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$91B89C5B-C406-41AD-A19F-382A180F98DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09242c66e9de738abf006bc653cd2c2ed81531b9","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$A2A21C01-E4B4-4D64-BF32-75486FBA709B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7dcafd8e910226157571b027b8da292ea4aec6e","datavalue":{"value":{"entity-type":"item","numeric-id":4333049,"id":"Q4333049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$10EE5593-4DBF-4332-A79C-9130B8451CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8806961d868ec09e1c3c97674adb1294ce137692","datavalue":{"value":{"entity-type":"item","numeric-id":2793912,"id":"Q2793912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$4504B258-069F-4678-AD80-77948285F9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986360752d3038d54763536872f028118126b5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$D65A316F-F43E-47CE-8EA5-D7D9826B069E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed78aa3e5290bec99ba5aa9eeb3fd6618b1ca3a","datavalue":{"value":{"entity-type":"item","numeric-id":4917992,"id":"Q4917992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$5FF34CCC-19E0-445C-8DD3-08ECE3650C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b0a3ee07901a1b46687b1417f0716f1188254d","datavalue":{"value":{"entity-type":"item","numeric-id":1770621,"id":"Q1770621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$26BF373F-1747-422E-993D-FE81D46727F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a440d28d6bed94d7f563583c748cd8a4a0c95d","datavalue":{"value":{"entity-type":"item","numeric-id":1775862,"id":"Q1775862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$1A104C4A-DF45-45D9-B050-05C106C83A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$565B5511-9C0A-441C-A45F-02D28BC820E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16238b7b305e47995299b7fa143b7b717b5deffc","datavalue":{"value":{"entity-type":"item","numeric-id":4692665,"id":"Q4692665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$2E1A32E6-E07E-4E36-90C5-2FE4763EA930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4977850ce5142634f32984b139abed4ce1f93e","datavalue":{"value":{"entity-type":"item","numeric-id":5518354,"id":"Q5518354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$377FBFEF-D5FB-432F-A51B-44328BE3065C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475cbdbbb7f14d6e3e0d9483dc4949b7a9efba76","datavalue":{"value":{"entity-type":"item","numeric-id":4126319,"id":"Q4126319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$9432E04C-1B51-4274-AB5D-CBD61819A550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3fa6c42320f84c3ba81f6cf9d19de23ed3a5219","datavalue":{"value":{"entity-type":"item","numeric-id":4533383,"id":"Q4533383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2204373$06B64BE4-EA71-4197-B161-356C8DD6B707","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41208934713eaae9838338384fe5811f36c926d4","datavalue":{"value":"10.1007/S00153-020-00722-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2204373$2F6D20F3-418E-4F80-A0B1-D2857F599723","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe12846c21b31c18f48db7b9b6ae3182fb688beb","datavalue":{"value":{"entity-type":"item","numeric-id":3592787,"id":"Q3592787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd8023f1a9c6143e636954b0d6b50e412d09fd5","datavalue":{"value":{"amount":"+0.7419587969779968","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":"Q2204373$B61A72EA-9D70-4BB4-B5C6-D9AE8A61A70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9333240fbb0bf5adfeaa46920a91eb83ad0f6d9","datavalue":{"value":{"entity-type":"item","numeric-id":484113,"id":"Q484113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397c19c46a732c641b228143155650a71b1efdf0","datavalue":{"value":{"amount":"+0.7386561632156372","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":"Q2204373$F52CB9B5-A8E7-415B-BDA2-91A843715194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1252546c2b21faa92f6c7ade714c42f03b8138","datavalue":{"value":{"entity-type":"item","numeric-id":2863911,"id":"Q2863911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04eee11f4a015a2dcd8caeab85d2450ee633489","datavalue":{"value":{"amount":"+0.7328142523765564","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":"Q2204373$740DC931-2D18-4D52-9845-2B083C880742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f97e3d740b757bacb987c4f4dc0a3dfb7a123d","datavalue":{"value":{"entity-type":"item","numeric-id":1119616,"id":"Q1119616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5717b31d389408421d29dadf60d097d9c291d9d","datavalue":{"value":{"amount":"+0.7251419425010681","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":"Q2204373$39E1BD2A-CD48-45AC-B04B-BF8FCA2869F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9c82e4733064657e04b07974a4aec0be8f524","datavalue":{"value":{"entity-type":"item","numeric-id":4821861,"id":"Q4821861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf5b3174318afba9151e0a1feddf6a1e46fc405","datavalue":{"value":{"amount":"+0.7244219779968262","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":"Q2204373$E30A4E2E-B3C5-4D63-8AE8-1E8FCE272F05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2204373","badges":[]}}}}}