{"entities":{"Q5961451":{"pageid":8138253,"ns":120,"title":"Item:Q5961451","lastrevid":46468152,"modified":"2025-12-24T20:42:26Z","type":"item","id":"Q5961451","labels":{"en":{"language":"en","value":"Aspects of analytic deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 980787"}},"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":"Q5961451$D64B0F3B-38B4-4C52-8FF4-28CFA7ACACC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc0a1bf8325e573730024ee08cdd87f32f089a3b","datavalue":{"value":{"text":"Aspects of analytic deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5961451$80926993-C757-4622-A3FF-3A65FA404F29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"751472716f3457ca84b247fb9741f2fc707b9bae","datavalue":{"value":"0872.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961451$46D36273-4EAF-4217-8320-45904932FF69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"512b7c98823d8d9eb3b80cc36b0deac34e27a34e","datavalue":{"value":"10.1007/BF00265254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961451$8E8D5173-429A-43F6-8D5D-0F6CF855CAE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229160cda5c5550848d5e8f96f3c0c964b6e6c1","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961451$D30AD577-D551-4708-AB04-E756BBF13B13","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":"Q5961451$6B2F78BF-09CA-4F3A-A837-DE9963D0DA72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da3c00e8d54852979d4f6ff4a8a5ca6a97c9d9f3","datavalue":{"value":{"time":"+1997-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5961451$8651F716-C1BE-4036-B8E6-09DE37F90DFF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e45959264414992a16dc74c8f6ba1166c9156cb","datavalue":{"value":"For any set of formulae \\(\\Gamma\\cup\\{A\\}\\), the deduction \\(\\Gamma\\lvdash A\\) is called analytic, if, roughly, every atomic subformula of \\(A\\) is already contained in the set of subformulae of \\(\\Gamma\\). In this paper, the author gives a formal description of an analytic subrelation of the classical first-order logic consequence relation. This formalization is presented as a subsystem of Gentzen's sequent calculus \\({\\mathbf L}{\\mathbf K}\\) for classical logic by the corresponding restrictions on non-analytic rules of \\({\\mathbf L}{\\mathbf K}\\). The main result of the paper, regarding the correct axiomatization of the analytic classical consequence relation, can be considered as a new fine example of Gentzen's cut-elimination theorem application. The relationship between the semantic and syntactic aspects of the analytic deduction relation is discussed as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961451$FE9B3CB0-D3C1-49ED-99A0-033CE7E6E318","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961451$1FD5F4A4-D077-4C06-9E86-596D99CE4728","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961451$4F5DD873-6C5C-4E47-948D-9DBCDE712C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961451$8834CAF8-145F-4CE8-9142-F67DCA160A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961451$84C4D0FA-4D56-468B-BDAE-6CF0C04BE761","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c262ffb9ed67208b80cd3c4bb117a9072e31360","datavalue":{"value":"980787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961451$E33CC458-7F4D-4821-9B00-4F29F80318EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f21a2679e3a7856212046f09e1448bbbee562dc0","datavalue":{"value":"subsystem of Gentzen's sequent calculus \\({\\mathbf L}{\\mathbf K}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961451$51C6874A-C90A-477E-A6FE-F9E50E1E49BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c24c0c8fd67c94818a676a82e65ceb0fa3bccae","datavalue":{"value":"restrictions on non-analytic rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961451$209FF225-E5AD-4893-A5ED-E1F07632A139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961451$98FADD6B-8F56-4E03-970D-580777142DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a328c6f050cedd4a39808e90764884fc2160312","datavalue":{"value":"analytic deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961451$D3DC2B08-9F48-45B9-98D1-8430650E700F","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":"Q5961451$D40AB849-7DA8-41F0-B0E4-66E751FF86EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0daa55e042431da06a7342af1ca1ff94923ae32","datavalue":{"value":{"entity-type":"item","numeric-id":3236671,"id":"Q3236671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bbf8272539591eacd52402823d7b9d19f34efe8","datavalue":{"value":{"amount":"+0.7617267370223999","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":"Q5961451$1D050513-4209-4B00-AB73-C6C41504B20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e9a01682f573a023f87d8533a65f54de2941a9","datavalue":{"value":{"entity-type":"item","numeric-id":3007254,"id":"Q3007254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3831ba879ac1b351b7f8a8e192e15e75344f572f","datavalue":{"value":{"amount":"+0.7252636551856995","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":"Q5961451$D6AEC641-AC67-4597-902E-EBAB991B70C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3939079472c2798ae61fc18391f337ed6aeb7de","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38cdca808d22214a7452955999113c98e44237d7","datavalue":{"value":{"amount":"+0.7176969051361084","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":"Q5961451$8CCCF3F1-CA02-4B3A-A3FF-0BDE37E07A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996d502087be506f23f1ab7bdbb9f73a35c69267","datavalue":{"value":{"entity-type":"item","numeric-id":2938143,"id":"Q2938143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032543f465dcc0749b7154a970730ac67cb3e36f","datavalue":{"value":{"amount":"+0.7118170857429504","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":"Q5961451$906C87B2-3456-4ABD-91CA-E60276B59CF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5961451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5961451"}}}}}