{"entities":{"Q583185":{"pageid":584952,"ns":120,"title":"Item:Q583185","lastrevid":49345738,"modified":"2026-01-07T00:15:44Z","type":"item","id":"Q583185","labels":{"en":{"language":"en","value":"Normalization and excluded middle. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132123"}},"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":"Q583185$753C85E0-E22A-4567-8671-022C2826CD99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61753d7742260130d3129c06f6670de1d4dd148e","datavalue":{"value":{"text":"Normalization and excluded middle. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583185$7714A0ED-6E4E-429A-92E1-8FD4632B57B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db4be5369663a1da183f01199f6918c809cbcf84","datavalue":{"value":"0692.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583185$DA5B42FD-2DB7-4997-8799-F9B6708ABD01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d351e5b80242c136ea1b1fadc547a9d018dca13","datavalue":{"value":"10.1007/BF02770512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583185$EC107E8D-D852-46B2-817B-8910F9E94455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c8a82181abf50fa906f6fa96d701d7aa12bbdc","datavalue":{"value":{"entity-type":"item","numeric-id":242949,"id":"Q242949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583185$114484AF-5926-4C3A-92BC-D97641587050","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":"Q583185$0AF567B3-3C7E-4C42-A4E5-E846FE565289","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q583185$8C3E9280-FEFA-478F-8999-FF8F435AB51E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a920232cd76d5b9a1a6796636c746a02b441349c","datavalue":{"value":"The rule  \\[  \\supset K:\\quad \\Gamma,\\quad \\neg A\\vdash A\\quad \\to \\quad \\Gamma \\vdash A  \\]  is precisely strong enough to give classical logic from intuitionistic logic, and thus it is exactly equivalent to the law of the excluded middle. This rule is a special case of the rule:  \\[  \\neg D:\\quad \\Gamma,\\quad A\\supset B\\vdash A\\quad \\to \\quad \\Gamma \\vdash A.  \\]  The main result of the paper is to prove the normalization theorem for deductions in the propositional logics and first order predicate logics obtained from intuitionistic logic or minimal logic by adding one of these rules. Every deduction in these logics is shown to be reducible by complete \\(\\supset K\\)-reductions to a \\(\\supset K\\)-reduced deduction with the same undischarged assumptions and the same conclusion; and then, any \\(\\supset K\\)-reduced deduction can be normalized by the methods used for intuitionistically based logic since each \\(\\supset K\\)-reduced deduction has at most one inference by the rule \\(\\supset K\\) and that, if it occurs, is at the end of the deduction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q583185$F7484000-1899-493C-8981-645707FEB7D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583185$EDE93A30-7C9B-4D1B-8258-6C4A5AE3D452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583185$9CA39CAB-69EE-4D33-AF26-AAD1FC72D6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583185$1F0CF657-C6EF-43E9-BE2C-A6717669ABEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583185$F946DF46-D952-4A8C-8BAF-1D04EB1298E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5b99d167d4ca12c560abe058e6e142f6b477aad","datavalue":{"value":"4132123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583185$B540F915-1095-415C-94F9-121290740EE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q583185$00990A84-4326-45A9-A396-015318620D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q583185$A3363D9D-4AD9-477B-AD81-6D32C9FE6274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64816d0c1d55b330a0b61284847d2ce7f9a36edc","datavalue":{"value":"law of the excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q583185$D5A92625-57BF-4F7D-948E-C0A738A5126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q583185$9216F785-5901-4703-9FB4-C50D3B2D004E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q583185$738D5802-9CB9-4635-AC68-F01B488D7070","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":"Q583185$C56CF374-F4F5-4210-8A79-75794EE69FEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57189ecb55e1ba61822003d7d3f2f53dca71d675","datavalue":{"value":{"entity-type":"item","numeric-id":5802120,"id":"Q5802120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583185$AF8A9711-EC0C-4914-85EE-E05DE0CE6048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19b855d6ca816c190e71fb5215926f3aa550aaf","datavalue":{"value":{"entity-type":"item","numeric-id":5813907,"id":"Q5813907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583185$7B98CC0E-6336-43E2-8720-94F30B464085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583185$375708CE-9782-47BA-AD00-D9B5FFDAE7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b1eea68b82598b9f6521d94c19a70909d6298b","datavalue":{"value":{"entity-type":"item","numeric-id":5579475,"id":"Q5579475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583185$A3314963-8E8E-43BF-8D88-5A3555B73D5D","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":"Q583185$8295DC75-F25E-4CBD-B053-412A05FD5355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583185$229260B5-59E7-4251-93E5-6AF9935F36E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75072c5bce5a3ad953643dfb9953f029de8fe98","datavalue":{"value":{"entity-type":"item","numeric-id":3781073,"id":"Q3781073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583185$27BC59CE-CB9A-4446-AC82-C6CD936A31B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583185$72C6B07F-EA22-47E9-A486-162EB4BFC48C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78664621b5cbb729d31de1009b71c095cfabae9b","datavalue":{"value":"https://doi.org/10.1007/bf02770512","type":"string"},"datatype":"url"},"type":"statement","id":"Q583185$FBF9952F-7C51-4D57-8B7C-0C00E3492D30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e42d125d1dc93a30fbac9578404a2d98f305ba18","datavalue":{"value":"W2036407372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583185$33D197E1-9EA6-4114-9F32-A650490872E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fc1315f14c94f52dcd1eb05d2064a06c5d946b","datavalue":{"value":{"entity-type":"item","numeric-id":1607223,"id":"Q1607223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5987c025a1d491dd3b3c3ea48d143aff034c9b3e","datavalue":{"value":{"amount":"+0.8159651756286621","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":"Q583185$A60B7816-C524-4B31-932B-831ECA9B869B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7aa5ead69dbf0841fd08059947c7b01894005b","datavalue":{"value":{"entity-type":"item","numeric-id":4379628,"id":"Q4379628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856d8ec1f23c3b108c9b442cd531e0db92c66626","datavalue":{"value":{"amount":"+0.7913320064544678","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":"Q583185$1A01B3C3-F5FE-4CD6-8A2E-3D621AC29687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582e026f61bf9973b41773f9fbd1fb29fcc99518","datavalue":{"value":{"entity-type":"item","numeric-id":5224781,"id":"Q5224781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856d8ec1f23c3b108c9b442cd531e0db92c66626","datavalue":{"value":{"amount":"+0.7913320064544678","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":"Q583185$8C656859-A090-414B-9C7A-168EE5418081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29354c5a52be0eba507370836c3290b080fcc429","datavalue":{"value":{"entity-type":"item","numeric-id":708929,"id":"Q708929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980198b49b9ae47654f282ba3b263707ad7cad2e","datavalue":{"value":{"amount":"+0.7900618314743042","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":"Q583185$77E54AE3-4131-4BA1-870D-3745FD9032DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5bdd6c64f3d11dce0698d773543a060f36e14a","datavalue":{"value":{"entity-type":"item","numeric-id":5170286,"id":"Q5170286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55e758c605d1cd3262e18c85627ad1890f88510","datavalue":{"value":{"amount":"+0.7894895076751709","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":"Q583185$EC070E31-0601-4133-B416-A540255BA658","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:583185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:583185"}}}}}