{"entities":{"Q2426732":{"pageid":2437475,"ns":120,"title":"Item:Q2426732","lastrevid":50341874,"modified":"2026-01-13T20:51:00Z","type":"item","id":"Q2426732","labels":{"en":{"language":"en","value":"What is the logic of inference?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5266919"}},"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":"Q2426732$25303D8F-80A3-4CCB-9538-DC860686131F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d59fadbc94dde3ded00e186489d4cd60ff7519e9","datavalue":{"value":{"text":"What is the logic of inference?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2426732$067385C3-57A8-4668-A01B-E9A07A134BA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62732bee710d269f7c0c24908340d2a21535778a","datavalue":{"value":"1142.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426732$4C709BDC-1324-4486-B4CA-0EA7F03D3AF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ffaffe1b7f5ecc9c8861e2547e5daa11cec77a4","datavalue":{"value":{"entity-type":"item","numeric-id":302244,"id":"Q302244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$395B9897-582E-4817-B21C-FA0693A7C6FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$6B6E5A05-9206-463B-9FCD-650D3FF4F1A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf324988b0ab84cd79ea617d0af4c4a5423fc8a","datavalue":{"value":{"time":"+2008-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2426732$F5834C63-A8CA-4A49-95BE-A8752AC111B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c8c232659c2bfc82b4e0e38ccada2b50bdc9698e","datavalue":{"value":"\\noindent An inferential structure \\(I\\) is an ordered pair \\(\\langle L, \\vdash \\rangle\\) where \\(L = \\langle S, \\langle o_1, \\ldots, o_n\\rangle \\rangle\\) is a propositional language with operators \\(o_i\\) and \\(\\vdash\\) a relation between finite sequences of elements of \\(S\\) and elements of \\(S\\). \\(A, B, C, \\ldots\\) denote elements of \\(S\\), called statements, and \\(X, Y, Z, \\dots\\) denote finite sequences of elements of \\(S\\). The authors prove Theorem 6.1: \\(A\\) is provable from \\(X\\) by means of the collection \\(R\\) of rules iff \\(X \\vdash A\\) is derivable from \\(R\\) by means of Gentzen's structural metarules (REFlexivity), (EXTension), (CONtraction), (PERMutation) and (CUT). Three `inferentially native' logical operators are introduced which explicate inferential properties and the author shows that the axiomatization of these operators leads to the system of intuitionistic logic. This justifies to call intuitionistic logic \\textit{the} (natural) logic of inference, assuming that the logic complies with Gentzen's structural rules. However, as explained in this article, classical logic may well be seen as \\textit{the} logic of \\textit{multi}-conclusion inference, again assuming that it complies with Gentzen's structural rules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426732$6F099BEA-313B-4BD1-8FB6-8C552BD104CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426732$B1188FB7-C572-4A60-A6B5-877D63DB9111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426732$F7415FF7-FAAB-4BE2-BB59-A3C5F2AF8931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426732$AD46DDA5-FA53-4628-8423-0D508351A0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426732$92089AD5-2759-4BCD-A599-478316CEF794","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"098a23d2bec6c9e677d0cf8d0c6bf46924d2b180","datavalue":{"value":"5266919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426732$F5DA47AF-A892-4F4F-9434-1A13003BF6A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426732$359BF5E8-7A90-4F0C-B923-728A2EFBB0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426732$C105507C-9A08-44C9-BA1B-0545D45129B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426732$9CBB16C5-89AF-499E-A5F3-284BE868D93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"415cce2d2abc3d0897c679ecfd88adfa795da773","datavalue":{"value":"nature of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426732$837023FD-9973-4206-B78A-49C7F2A6C428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8ffb5ac52300779140a3b04071d4bf08b0b92d9","datavalue":{"value":"logical operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426732$77058099-8963-4612-87D9-F485CB9B2A9F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fc1a21339bf57fcd3fb28f3310bd7c50400e6e1","datavalue":{"value":{"entity-type":"item","numeric-id":16752,"id":"Q16752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$C29B851A-2BF8-4F32-9659-B9D4255CC373","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":"Q2426732$7B33EE08-D52A-48A4-B1DA-174FD3748E6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c4f1f3f1af4f328660b848d7adb30c29933fb56","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9105-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2426732$41C4FEAE-A604-468C-864C-467C1F9D04FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1adeb3f790ce55948a8164244f73b7509cf8e1f0","datavalue":{"value":"W1965893669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426732$33C949E0-46E5-4F2B-B9CC-669B798E2991","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$7E3633C0-C7E0-4A57-9117-472062BDDD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93798a086a48a67d8ec4370ad11951ead6ba87e","datavalue":{"value":{"entity-type":"item","numeric-id":4940723,"id":"Q4940723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$5C5B3822-3481-4E33-A671-51145E94ADAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a021aaa4275948ad89e201b52dfa9f09d83ac62","datavalue":{"value":{"entity-type":"item","numeric-id":4698611,"id":"Q4698611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$532802A3-8129-45B6-AFDC-2021407D9812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6379547883a8015bbc38b24ce042bd0f88666b","datavalue":{"value":{"entity-type":"item","numeric-id":4698607,"id":"Q4698607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$EBD0C0BF-D391-4375-A76C-D2EBF57AF891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$41170A59-CE82-449D-BB66-22A1E4844F9B","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":"Q2426732$02352774-77C8-47F1-B028-842CB71FDF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab902ddeb2f8a8f0173fabbd83857fb0e0140ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3208615,"id":"Q3208615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$E171B047-9DB2-4E4E-8666-9EDA9711962D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c011e5e42760beb55188452f75bca8e4fe75c1","datavalue":{"value":{"entity-type":"item","numeric-id":4318839,"id":"Q4318839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$98587DA4-F155-4D9C-8E36-32AFCBC8D86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a1b4fc0d9faf96fd9920b9b06f82c66ed4fc2b","datavalue":{"value":{"entity-type":"item","numeric-id":2432050,"id":"Q2432050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$26DF0F8E-6C08-49CA-8549-A066B8C80278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$7692729A-85AA-432C-B701-672AB882F36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf000fbe77aa4735109b86f1522c01e6b9a88772","datavalue":{"value":{"entity-type":"item","numeric-id":1568714,"id":"Q1568714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$638C967D-A39E-48B2-8658-D9A703B41A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b0c163a36b7b7dabcdd14884ed1324b40841d","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$4157824C-E81F-4648-AEE3-B306F2A22B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd4fe078402ae4d23269474c9171faf3a7ed586","datavalue":{"value":{"entity-type":"item","numeric-id":5483305,"id":"Q5483305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$9D72A8DD-59B9-49C7-A467-1EF7E6A7423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad4905c3ba5f825b1c47112f2dfdb7b9a3bd4a5","datavalue":{"value":{"entity-type":"item","numeric-id":793721,"id":"Q793721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$A82333E6-1687-4A0F-A3B0-3715A18140E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615a6cfc69bfc970b51f323fc44f5f6cf87d7f0b","datavalue":{"value":{"entity-type":"item","numeric-id":4698606,"id":"Q4698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$86B24888-E147-41A5-A8DB-663A5A67C9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dced61c474d74b066ea6e7a2ea36e3a8679966b0","datavalue":{"value":{"entity-type":"item","numeric-id":4239945,"id":"Q4239945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$A62FD287-3A83-4C20-B380-22F53F89BC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$09A85C3C-16A4-4E7F-953A-9C9EDFF9C998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e74b4234b7589a854f4c9cae8fb28ca52c5393","datavalue":{"value":{"entity-type":"item","numeric-id":1258298,"id":"Q1258298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426732$8A91B790-675E-4E56-9674-5A9FEE16436D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc44ed8fb4d6395ed4aaa4c712cd07e5e9c97942","datavalue":{"value":"10.1007/S11225-008-9105-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426732$7839ABBB-9DEE-4E10-B0B0-06579DDC3B71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298c15d337469b43a21a886f159007343e4b26c3","datavalue":{"value":{"entity-type":"item","numeric-id":1770625,"id":"Q1770625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4131619a63fde237fd5ee2b8ab0ff211a7585faa","datavalue":{"value":{"amount":"+0.734804630279541","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":"Q2426732$9B1E59A2-FD54-4E0B-B5DD-B6923A350A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f3bf87a49342d086ee59b2c2e650824bb877fed","datavalue":{"value":{"entity-type":"item","numeric-id":2254558,"id":"Q2254558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d98e56fecab31686f78a66025be0bd0e04105e","datavalue":{"value":{"amount":"+0.7228004932403564","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":"Q2426732$F7048E39-C39C-449D-A8D2-DE45841A8ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec7dc0be7f02fedf9dcb78d896eb8bf36e40baf","datavalue":{"value":{"entity-type":"item","numeric-id":5365518,"id":"Q5365518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f140ad6993d09412bfeb3cb8d0c300ff44e41280","datavalue":{"value":{"amount":"+0.7108032703399658","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":"Q2426732$B6538458-89AB-41B1-B2E0-41A6BC497B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6f1585124c809b9a79b28573f0e65b02547f4f","datavalue":{"value":{"entity-type":"item","numeric-id":302245,"id":"Q302245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe3fe2c0bf8cdc07fdd4577b31fb64c205b6e9a","datavalue":{"value":{"amount":"+0.7095064520835876","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":"Q2426732$D37CE1DC-D572-4079-A590-62D8C661A229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276e5fbd734e4426346127495d78792d374dc2ac","datavalue":{"value":{"entity-type":"item","numeric-id":4012888,"id":"Q4012888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8922fdd8348be25be4243e1af734294e829d78","datavalue":{"value":{"amount":"+0.7080247402191162","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":"Q2426732$0261789C-3574-4731-8079-05A84B3648F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2426732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2426732"}}}}}