{"entities":{"Q1111545":{"pageid":1122294,"ns":120,"title":"Item:Q1111545","lastrevid":69668745,"modified":"2026-04-13T08:35:09Z","type":"item","id":"Q1111545","labels":{"en":{"language":"en","value":"Gentzen-type formulation of the propositional logic LQ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4075028"}},"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":"Q1111545$CD043754-6C2B-4EEE-91D6-60E2834D1516","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"284cc53f8fda1d203d940881c151ddf90523a414","datavalue":{"value":{"text":"Gentzen-type formulation of the propositional logic LQ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111545$52068925-7747-450F-86F6-0B48B764A6EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e8ae7b3e47c8ade32a61e0f23f8be9f1d897441","datavalue":{"value":"0658.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111545$2862516B-BAA6-495E-BFA9-41E83E8D9F7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16ca402c8ea45f2190667467762c36683ac1c7f6","datavalue":{"value":"10.1007/BF00374051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111545$9203BCD8-0AA2-409A-9868-D72E5F3AAC8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4597744f225d71e666abfe477379201f378152aa","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111545$E3CF54C6-85E4-4267-A6AF-988C5C9D69D1","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":"Q1111545$E84A2AA9-54CC-4748-952C-DFB344CFC19E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1111545$EBF28D6C-EC11-4EC1-81FC-A24E6C4B09F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b991404e62346f5d498553a3bc3896cbf4d35d3","datavalue":{"value":"LQ is the intermediate logic obtained by adding \\(\\neg A\\vee \\neg \\neg A\\) to intuitionistic logic LI. Presupposing familiarity with Gentzen's formulation of LI as LJ the author proposes a sequent version GQ of LQ by listing two sequents and a rule for readers to add to LJ. The sequents are (BL): \\(A\\to\\), and (BR): \\(\\to A\\). The rule is called WEM: \\(\\Gamma\\to \\Sigma\\), \\(\\Gamma\\to \\Sigma /\\Gamma \\to \\Sigma\\). These additions are accompanied with syntactic restrictions, unmotivated by semantic considerations, for avoiding contradictions. By syntactic means it is shown that GQ\\(=\\)LQ and that GQ has cut-elemination.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111545$2BE622CA-12B7-48B7-9844-12C960F40AA7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bed602846c7cd1aca477737525739d8e83d5c5a2","datavalue":{"value":{"entity-type":"item","numeric-id":599802,"id":"Q599802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111545$9BBCE213-B0B3-4656-9224-09AA1927BB01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111545$D0B90369-04B0-45AF-AB07-12DB4EFB5D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111545$5A6E5088-2F1B-40B7-AF59-B98A5A94E66D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"845b84b7b7b93a81607a2240f2abbeac0ddd5bd7","datavalue":{"value":"4075028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111545$7D10CD76-BB75-4D1F-BCE8-C860F55E923B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111545$88C4D03F-F101-4948-8AA0-65ACE0B2BE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111545$43F76801-F464-4F82-8FBF-8FFE3D60C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8678627aab26432cf94eab2dec430849543f58ba","datavalue":{"value":"cut-elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111545$78B4CF65-EE0F-4E43-A56D-17410FFE033E","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":"Q1111545$EFAA3AA4-8166-4886-BFEB-44C0FB0F76F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7207be005a499c2509de8b48ff1384bda9529748","datavalue":{"value":{"entity-type":"item","numeric-id":1100191,"id":"Q1100191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111545$9FB1C0C2-A333-4854-88A4-BF31982B9465","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":"Q1111545$AA643BED-59BC-40A1-909B-35D197C49B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f260e96a3fb34f7e080b8746000bd4777946861","datavalue":{"value":{"entity-type":"item","numeric-id":1820766,"id":"Q1820766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111545$247278DA-A95C-4A73-BCF8-875110F89651","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4e7932f9fb70560f3392fc75d71c440556296a","datavalue":{"value":{"entity-type":"item","numeric-id":4391083,"id":"Q4391083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a35ed6bc2c2f4d7d3a9a306c6a9b0e1fbdc9e9","datavalue":{"value":{"amount":"+0.9150021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111545$647373B1-37D3-4761-BF42-D8E795606053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e766c604c5d7ce25d8b17e756799bd5d17b1b04","datavalue":{"value":{"entity-type":"item","numeric-id":1187547,"id":"Q1187547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322182b99bc429c7ce8349fdf55da94539dbc5b0","datavalue":{"value":{"amount":"+0.9000156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111545$8F5E703C-9C4C-439D-9BE8-9B01A88663AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843e523af5a1f031e3def03f94ae38c119ac1f4e","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb83f1111ec9abbef8ccbb6cb360ec119c09e381","datavalue":{"value":{"amount":"+0.8929704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111545$7ADBB1D0-4D40-4671-8108-89FD84B722BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878a7fcc9542bbcbf3740f127862c1eec8b8a673","datavalue":{"value":{"entity-type":"item","numeric-id":1863958,"id":"Q1863958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f1e6b60b9a6408d47adac4dab1213749e476165","datavalue":{"value":{"amount":"+0.8921698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111545$3777F6B5-EB12-4CEB-91F7-C08673B05A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e7db2c89817e4131e993d30b49220221cc4859","datavalue":{"value":{"entity-type":"item","numeric-id":3772185,"id":"Q3772185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30c50449d752cc49e754ddc70be0dfb8e6431f3","datavalue":{"value":{"amount":"+0.8916295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111545$C1DB5239-50C4-41AE-9DC4-BF9DD6423348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7c6d33d9deca46906e5d4c43b2e5e49039ebcf","datavalue":{"value":{"entity-type":"item","numeric-id":3338219,"id":"Q3338219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f7bf6ff9bc10fd013dfa0a1f9b56365f08a9d1","datavalue":{"value":{"amount":"+0.88818014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111545$3B85F433-65EA-4C0F-83F4-A0A3EEC02B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabfeae4255709b3cb974f9d8a299fac7772d883","datavalue":{"value":{"entity-type":"item","numeric-id":5455020,"id":"Q5455020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffbe7743de72fa37a968f9cfa0fedd4cc60d2e85","datavalue":{"value":{"amount":"+0.88511384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111545$9D43545E-B7A1-4BEB-B192-399D5DFB2E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4f959bceddb1b72e27899a577180b98d7338f7","datavalue":{"value":{"entity-type":"item","numeric-id":1902550,"id":"Q1902550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e3d38ed7c3c65e78c12952bd513860494b27e5","datavalue":{"value":{"amount":"+0.88196373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111545$C91E932C-D0E3-49F2-BF48-392F943C7F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c003f871bcfb0d2871b5e22d0c5274a5a34710e","datavalue":{"value":{"entity-type":"item","numeric-id":2767023,"id":"Q2767023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd11c8a405f7e8f635004827042b14e4d36a1da","datavalue":{"value":{"amount":"+0.8800585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111545$396BAAB5-03A9-45D6-824F-E8A94EECB214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f19ebeaa5b954c83d3f7c179d443ba2b0833e7","datavalue":{"value":{"entity-type":"item","numeric-id":4955352,"id":"Q4955352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2147085e5d3698c27ceb4bc50efda6ff8a1489f0","datavalue":{"value":{"amount":"+0.87576205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1111545$F0CB1503-4A5C-496D-8D33-D8289F0EB866","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gentzen-type formulation of the propositional logic LQ","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gentzen-type_formulation_of_the_propositional_logic_LQ"}}}}}