{"entities":{"Q791512":{"pageid":793360,"ns":120,"title":"Item:Q791512","lastrevid":64369215,"modified":"2026-04-11T19:23:58Z","type":"item","id":"Q791512","labels":{"en":{"language":"en","value":"Deduction theorems for weak implicational logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3851042"}},"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":"Q791512$F2895456-BE9D-4198-8E4B-9908465594B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0aadf9929ac9618b03c62868ddf3be7447837a4","datavalue":{"value":{"text":"Deduction theorems for weak implicational logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q791512$8CE3EECD-9AA7-4559-8B29-9EA3779D614E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71354360de675991fc9ab6b5a44fba4b4645c382","datavalue":{"value":"0536.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791512$84B64461-4500-41EC-AA14-F22790186782","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"003216127c47465305c3467766d0f270162394a8","datavalue":{"value":"10.1007/BF00370338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791512$B1EAA512-2993-4B31-9A57-BA18E9840F51","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":"Q791512$0D0A2B36-78E9-4A97-A01C-B69AF724DD08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q791512$738D63C5-4DAC-4324-A920-5E9F1C26578C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19bff69be984aee8cefa74e3772bc894a733a35f","datavalue":{"value":"The standard deduction theorem or introduction rule for implication, for classical logic is also valid for intuitionistic logic, but just as with predicate logic, other rules of inference have to be restricted if the theorem is to hold for weaker implicational logics. In this paper the author looks in detail at special cases of the Gentzen rules for \\(\\vdash\\) and shows that various subsets of these in effect constitute deduction theorems determining all the theorems of many well known as well as not well known implicational logics. In particular systems of rules are given which are equivalent to the relevance logics \\(E_{\\to}\\), \\(R_{\\to}\\), T, P-W and P-W-I.","type":"string"},"datatype":"string"},"type":"statement","id":"Q791512$0D0DEC13-5796-41B9-BDAB-6B264ADB9170","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791512$2F7DDB5E-B10A-4894-942D-479FA397ABA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9287db30da27006a932870402f8e60c356cacf01","datavalue":{"value":"3851042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791512$CB9FE846-8947-45A0-8562-07A8F62872CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc72cce8df58616f0eb92d04c80527ed7937b544","datavalue":{"value":"weak implicational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q791512$04603A00-FBA8-4DAE-B0D4-AEF356C2A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64ee3509b4dc05c2da8c143709291d3bc7550bbf","datavalue":{"value":"Gentzen rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q791512$117B2547-AF33-4C83-87A0-2040F1EE7CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c75e750785800d16c976e51c3338cf237cbb82b5","datavalue":{"value":"deduction theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q791512$8E7AEE8A-9320-4A6C-8256-770D8197F3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q791512$DE4CC59C-7973-4FF4-AD80-CE3393E6ADA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791512$AA3BB305-0386-46D8-A92B-4269800D5A9E","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":"Q791512$82B14317-917F-41A1-B282-179C929E82A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76fba741091a0e8ad16341836675fd5ed880002","datavalue":{"value":{"entity-type":"item","numeric-id":791512,"id":"Q791512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791512$E78BFC0B-8BD2-404A-9B23-20F26E1FDE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ac3b92dc129bdfe56bad064b5964f97940e2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5825229,"id":"Q5825229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791512$A5C35443-F32D-4B37-9D28-C57A8297A720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25313d367058edb8143ccf81859fe214d888d1ea","datavalue":{"value":{"entity-type":"item","numeric-id":5723175,"id":"Q5723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791512$D346E2B6-5BE5-46AF-B123-D53D60E8D3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5b759001c42067c93f95a501eda133e25ed188","datavalue":{"value":{"entity-type":"item","numeric-id":1252340,"id":"Q1252340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q791512$CBCC034C-37DE-48A5-9EA3-1910A4215E73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c33dc043f3dfc0ff19709e37223adf5f243a48c5","datavalue":{"value":"https://doi.org/10.1007/bf00370338","type":"string"},"datatype":"url"},"type":"statement","id":"Q791512$DE0AF603-E213-47C3-8E1C-D35BC2E4F667","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7edec6c79f9e807401df88a671b365591eaee9f8","datavalue":{"value":"W1971424167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q791512$64E7D55C-FD1B-4A97-9442-DDF04887EE86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c88df3b68b0a93378264492d60c7b3bda50c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1103605,"id":"Q1103605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe2dc79fbd1409065dbbd6408da3d9ed20f87e0b","datavalue":{"value":{"amount":"+0.8289992213249207","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":"Q791512$CC714ABA-3BDF-4E68-B61C-52B0421A909C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b7f673c7f381ed30163adb1904ad83fb0ae0ed","datavalue":{"value":{"entity-type":"item","numeric-id":1061116,"id":"Q1061116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caaa8ec34af5c73cd5de3eee0ce467ade2796428","datavalue":{"value":{"amount":"+0.7945738434791565","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":"Q791512$CAD92F9C-FF1C-429A-9797-23DC293BE130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09971581323988f2325c5cbffe9856ed6704d56","datavalue":{"value":{"entity-type":"item","numeric-id":4206709,"id":"Q4206709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5675362f116ff58f454468354683d4c5fe647077","datavalue":{"value":{"amount":"+0.787816047668457","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":"Q791512$FE50883C-664C-4710-8A94-8D0B0FE103EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95381bc8c7fb3e455800e0f1a425a361ef1b8041","datavalue":{"value":{"entity-type":"item","numeric-id":4424653,"id":"Q4424653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32575b65d257d06a10e62cdc6df42b731e49755","datavalue":{"value":{"amount":"+0.7865757346153259","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":"Q791512$AF91655E-8BC9-46DE-B34A-C09B3290CA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4711df8ef76d45088066859315949b8e82137981","datavalue":{"value":{"entity-type":"item","numeric-id":1319363,"id":"Q1319363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6de7c08c7cc5040cd74450cbedd3409ad16d8f0","datavalue":{"value":{"amount":"+0.7812474966049194","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":"Q791512$48A01030-B546-499E-B5EE-D51F39C2F0BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deduction theorems for weak implicational logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deduction_theorems_for_weak_implicational_logics"}}}}}