{"entities":{"Q1062053":{"pageid":1072805,"ns":120,"title":"Item:Q1062053","lastrevid":48837283,"modified":"2026-01-05T23:31:53Z","type":"item","id":"Q1062053","labels":{"en":{"language":"en","value":"On sequence-conclusion natural deduction systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3912374"}},"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":"Q1062053$3C55E81D-C149-41AF-AC45-1667FF630FC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee950090a3084fecc0becc54c10d1f601c7eee8e","datavalue":{"value":{"text":"On sequence-conclusion natural deduction systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1062053$399E4B9B-EA21-473F-ADB5-B9474BFC0B63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"659189580d0940e2196041915e52b2866b463c11","datavalue":{"value":"0572.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062053$822CF481-F911-4DEB-A398-355AA42D3816","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fd274c999b0b56e9c900d35a259d4d16d5677de","datavalue":{"value":"10.1007/BF00649481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062053$F0D1FAA8-6D83-404C-81DC-275714718DCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f097f48e57f971c8b295b988fb441632f79a07c9","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$D1DCF93F-74FD-4634-9006-CEBDFA8DA79E","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":"Q1062053$518093B1-7916-40D2-AD65-83D0783E1912","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1062053$55FD79E2-E7B5-48F9-B4A4-ACAC07D4D7FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb16e992b5824755bed24f055937f3963ae18b41","datavalue":{"value":"The sequence-conclusion approach to natural deduction is a generalization of the well-known Gentzen approach. We suppose that the premises and the conclusion of any inference rule are finite sequences of formulae. So, for instance, the rules for the introduction and elimination of the implication will be as follows  \\[  [A]\\frac{\\Delta,B}{\\Delta,A\\to B}\\quad and\\quad \\frac{\\Delta,A\\quad \\Lambda,A\\to B}{\\Delta,\\Lambda,B}.  \\]  In such a case we are able to get a normalizable and separable natural deduction formulation of classical logic. The main result of the paper is the normal form theorem for given formulation of the classical first order logic obtained as a consequence of the cut elimination theorem for the corresponding sequent calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062053$9E8D66C9-42EF-4FAD-B5BA-2CDEED1D3C29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062053$14B75206-4910-41CF-A468-758EDDC21FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062053$3E20029D-D6AC-4D31-B017-315FBA5708AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91884fb3f979cc99d9cb2437ff326b00c8275418","datavalue":{"value":"3912374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1062053$D4F32B4D-F813-45E0-AB44-2A8FF41A210D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062053$83D43073-2734-498F-916E-544C9A8CB109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8bc31c314d5d0bc758d21c21c5ec1118a6bc6","datavalue":{"value":"normal form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062053$EAC075D0-B5B7-4997-9CF1-0221A54E97E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476bdcda57d3157631e0d65814d6cb014b2bda6f","datavalue":{"value":"classical first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1062053$C26A3215-73CA-46A7-A576-C3AF3D961242","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":"Q1062053$5CE872B2-7AD8-402C-94B7-60FCFBE0A923","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$A817C54B-CAB7-4B9E-8DE2-C0BF5A160AD5","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":"Q1062053$F56D4819-FAB9-4D59-9DE9-B5CBC77EB700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7ebc6150a33fced2c281945461b73c4c98aa9d","datavalue":{"value":{"entity-type":"item","numeric-id":5523672,"id":"Q5523672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$C3C14667-18C1-4B8B-B10D-3FF2F990A045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da4f8124df616779c1e5f981f64da6f91a7a74e","datavalue":{"value":{"entity-type":"item","numeric-id":5534906,"id":"Q5534906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$500721B9-A2B9-4898-A9F4-505B9D3CD1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2dd003369088313c2f97a0db4aaa661f8065f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5732646,"id":"Q5732646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$0AD0E683-0F92-4398-B0C4-C0B793AEC63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d0435b64722e7005b0f9d3c3c42f86d6e6a296","datavalue":{"value":{"entity-type":"item","numeric-id":772218,"id":"Q772218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$01A94B9D-C77B-4E40-B7CF-9593143B5D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$124C949C-F856-4B43-BDDB-6B5DBE89F468","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":"Q1062053$86BBEB16-CC16-4130-9A3B-620B0A31A9D3","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":"Q1062053$F688BCA0-D6FD-440C-9742-66076AD2AE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4661468a127bf992bd354e4286421faab253fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3661478,"id":"Q3661478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$4345B604-BD4F-4FAF-91ED-D1F68B5235F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4c2b96b98c9b5de8abcde43035fabb51a1780","datavalue":{"value":{"entity-type":"item","numeric-id":3342528,"id":"Q3342528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$DF95A480-6DDD-4E34-BFC7-3A3BFEE99B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$804579F5-E28B-4FB1-BB8B-AC3032F6648C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$F60A2374-9BC4-4E28-9C90-4BB5CD336915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1062053$78CC8A30-831B-42C1-B1D8-8FA2D895DE35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de03e002f2927c14678bfa68e365d8ee714fd54","datavalue":{"value":{"entity-type":"item","numeric-id":5024505,"id":"Q5024505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a3c305a6cce0eff90c788bdaec29cb860a999c","datavalue":{"value":{"amount":"+0.7847838997840881","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":"Q1062053$DD438700-8690-48DA-9A16-CDFCD8BE4394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e5df2ecbb3b39b08c5ff8fe2fef9b4cc23a756f","datavalue":{"value":{"amount":"+0.768536388874054","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":"Q1062053$E1FDFD2F-AE2E-406D-B0EF-3F39CBCF1E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a4309182b689116f70bd543c15c358931182e05","datavalue":{"value":{"entity-type":"item","numeric-id":2352461,"id":"Q2352461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f157f685ec74923845deea715903b0ce634f081","datavalue":{"value":{"amount":"+0.7610576748847961","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":"Q1062053$BE481933-9E8B-4623-B899-02369C85D869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c9839b1de3c89de6aeaaec12aac3ea32bb8db2","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9224c6d6b134d5f54c8dfdf362f8bce065135f12","datavalue":{"value":{"amount":"+0.7603559494018555","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":"Q1062053$26C8905C-C9D1-4D99-8E6E-1ACC90821942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c67c7baa355d83bb8de33bb6ee7174b047b0b75","datavalue":{"value":{"entity-type":"item","numeric-id":1115420,"id":"Q1115420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9224c6d6b134d5f54c8dfdf362f8bce065135f12","datavalue":{"value":{"amount":"+0.7603559494018555","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":"Q1062053$8334F2E5-8F07-4801-92CA-6BB6289651CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1062053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1062053"}}}}}