{"entities":{"Q1982008":{"pageid":1992750,"ns":120,"title":"Item:Q1982008","lastrevid":54081503,"modified":"2026-01-26T05:24:26Z","type":"item","id":"Q1982008","labels":{"en":{"language":"en","value":"Sequent calculi for intuitionistic G\u00f6del-L\u00f6b logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7391973"}},"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":"Q1982008$6F424F9E-79C7-4583-A286-AEA17D434F54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a1e29e150cb7af7dc36eecb8cdcbee9ca1611be","datavalue":{"value":{"text":"Sequent calculi for intuitionistic G\u00f6del-L\u00f6b logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1982008$20AFF0C3-FAA1-4905-8E7A-AB0E142135D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3c22c69e9b0e37de1b01bebc99e573e5adaa753","datavalue":{"value":"1490.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982008$58779FEE-109F-4EC7-80D6-C9C3E6B71312","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3924ad5aefe7a604ea51bed9f5f84e970c653bf","datavalue":{"value":"10.1215/00294527-2021-0011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982008$2091CE11-D4E9-4F16-BD84-AF5F27F15E45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93cfdbf92300fb1842f9d6c37605aa42247d1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1982007,"id":"Q1982007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$E79012CD-2AF5-4C2A-AA65-27612353ED9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$8BBB0F67-00CF-48F4-8130-F797F75C7CEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$70B1A174-B60E-458C-9B2F-42EC08BFF26C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a092842a78445abe6eddf882d96533bd820ccb4","datavalue":{"value":{"time":"+2021-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1982008$9BD44FD1-829E-4D8E-88DD-2BF1A9E7E662","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c2db57ddb97cd13744da8cac49dafc1c9b3fc56","datavalue":{"value":"The paper investigates two sequent calculi for the modal logic iGL, which is the intuitionistic version of the G\u00f6del-L\u00f6b logic (the classical provability logic). The first one, GL3i, is a common cut-free one-sided sequent calculus for intuitionistic logic augmented with the GL modal rule \\[ \\frac{\\Box\\Gamma,\\Gamma,\\Box A\\Rightarrow A}{\\Pi,\\Box\\Gamma\\Rightarrow\\Box A}; \\] the second-one, GL4i, is based on the Dyckhoff-Hudelmaier terminating intuitionistic calculus.  The paper proves in detail that cut is admissible in GL3i, using ideas by \\textit{S. Valentini} [J. Philos. Logic 12, 471--476 (1983; Zbl 0535.03031)] and \\textit{R. Gor\u00e9} and \\textit{R. Ramanayake} [Rev. Symb. Log. 5, No. 2, 212--238 (2012; Zbl 1254.03113)], and that GL4i is terminating. The authors go on to show the equivalence of GL3i and GL4i (which implies cut admissibility in GL4i, and that both calculi are sound and complete for the logic iGL), and the Craig interpolation property for iGL.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982008$39BC6BE0-FF97-4FEB-AAA7-5BCDC6D8799E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf05c748b19f894b0cb445a65a1da1ca24dbc809","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$CAE2E0A8-6364-4AC3-A0EB-1914BCD1F330","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982008$14467E31-E7FC-4D5D-8C5B-2CD69DC7AF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982008$E850EA1C-9CBA-4AE1-9741-17C2A6880631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982008$A1B3462A-9CA2-4F3F-A69C-56E933C7FC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982008$226B0AC7-176A-46C3-9880-901A4E343224","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60bbe88e244e476c97eb936592827f92113d0993","datavalue":{"value":"7391973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982008$BEC10FE9-9E66-44D3-BBDF-019F96C02CA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982008$76C2283E-D1F4-4020-83A1-6AA56D89B7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982008$28A8F526-E677-47D3-9DFB-02B78FBE5957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982008$C95BCAA5-7A27-434D-8D2A-C83FF4C6D087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b117cf251cec88c66a52b2392d0867e5e86e7ff8","datavalue":{"value":"cut admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1982008$E44882C6-EEB2-49CE-B1FC-AC24593290D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$ADF6EFD3-F332-4221-B76A-8E5625730B49","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":"Q1982008$3EAA2639-CF6A-4F8F-8514-A407DE3D4B3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2207785cc6e17d3ce5b50139a7569e4cbb75959","datavalue":{"value":"https://doi.org/10.1215/00294527-2021-0011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1982008$A711546A-C05D-4FD3-B9E9-0883E8BFD006","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"251e5f3ce6c42fd1ea5df8c456c8d01f5b1da2d9","datavalue":{"value":"W3171305237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1982008$00126B5A-3889-4852-A543-D6A18A4A2483","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4cc1e43abdf1c047e967223968ecff0afc7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":720757,"id":"Q720757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$A13814C3-CF2F-421B-8533-AA39BCE98C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77d029ca17e8cbeae5ff8bc11ecd94cb2895f59","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$DE648A9B-F07C-445B-984B-B24D176E864F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d08e6067b59bb61a8cf9444d0c163829dae753","datavalue":{"value":{"entity-type":"item","numeric-id":878154,"id":"Q878154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$BCC47158-73E8-4817-AACC-DAB2A1AB0800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cda8bb07038ab61b0d0468e81424e619fd369f","datavalue":{"value":{"entity-type":"item","numeric-id":3607747,"id":"Q3607747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$9088BBD5-3833-4EBE-826C-34ED28DB0089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$6C2E28FA-2C6C-49E2-855A-01B9E07C9D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$6D00DC3B-D073-492B-9304-64C46C736676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba4829fd07b9b49631e42171c8fc19ce2487bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2890695,"id":"Q2890695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$96F5E5CE-B717-4CBA-8FF7-5980F74FE8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$EB6A77BE-C5AC-4ED4-B279-2FF3218F328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c3f0062690f32b6da1cdb4fe91638f618aefe8","datavalue":{"value":{"entity-type":"item","numeric-id":4612455,"id":"Q4612455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$83C99B70-2D60-4B11-B60C-006A7F47558C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb93535332a50764f81a3ddaee046dbfde1d1975","datavalue":{"value":{"entity-type":"item","numeric-id":1712936,"id":"Q1712936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$225DA6C5-D32D-49C4-998F-27070D17B510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41800396e5c2208facfb06cc21f34008252d3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3909044,"id":"Q3909044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$77AE61B9-829D-4A04-B849-849E15B31154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e08786b7a1174ac9d76d6bde17d9942d64900e","datavalue":{"value":{"entity-type":"item","numeric-id":5255796,"id":"Q5255796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$5DA157A6-A4F1-4015-9680-3A62CDA61340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9403bda3e8d143ea3b316761fd1aba52a4725f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5957915,"id":"Q5957915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$E5BCDD04-B497-4EDD-BADB-76117EB359FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$43BD007B-E4FC-48CA-B06E-DA6F6704E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$84419107-72CF-4EFE-9FAF-8B5C811100C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$251709AF-BBD2-40B9-82FB-460E3060325F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$69675CCA-DC7B-41DB-AD8D-8370E87AF6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072a2e836470e0d9e6f8a4bdf1266e485d185912","datavalue":{"value":{"entity-type":"item","numeric-id":1134143,"id":"Q1134143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$AB6486D5-AB42-49F8-B4B9-76FE72AA0675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9046092912369ae53c021eb53125c7bea4658d3d","datavalue":{"value":{"entity-type":"item","numeric-id":790809,"id":"Q790809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$FE6C0A1D-F7A3-4DA7-A14A-FB5DD8C5D5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8075c9dcc01bcfeca2af5f45d7bba7d775947b","datavalue":{"value":{"entity-type":"item","numeric-id":1740459,"id":"Q1740459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1982008$B69C1BA5-1AB5-4BA6-B709-C830BD9606A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42a2c5c1557cf86b004fd438a7929e8c2ea8860","datavalue":{"value":{"entity-type":"item","numeric-id":4612455,"id":"Q4612455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9eceeb2cc8bc5b5022f028133cccb3f4226453f","datavalue":{"value":{"amount":"+0.8186915516853333","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":"Q1982008$A54BD733-5CA7-4EAA-9C6D-9E92CD214887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7982ab060501728ce0f2208c041f28be535a51","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257ce5498b2d5b03f0e3de24a39f52135fe2576b","datavalue":{"value":{"amount":"+0.8067156672477722","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":"Q1982008$735BE116-F5A5-4809-BBE9-45F65F9AF4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6bdfb6d3006b453474ea06a77e968873feb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5014057,"id":"Q5014057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dae18f20120cd99fa68c6903978987e58c58fd","datavalue":{"value":{"amount":"+0.8031216859817505","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":"Q1982008$18EBC15E-2ADD-4B6F-A1BD-6A57A10876C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780e4db8b6fc18e8d02466a2906c4529c66f6d06","datavalue":{"value":{"entity-type":"item","numeric-id":3480016,"id":"Q3480016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94f7f4ca24ea9f81a1cdcaa56274c3b40aebad5","datavalue":{"value":{"amount":"+0.7926477193832397","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":"Q1982008$2221069D-072E-4B0C-8B16-257BF6547268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7f3bc9356358b9f94668635adc4d5588619e2e","datavalue":{"value":{"entity-type":"item","numeric-id":5283428,"id":"Q5283428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58809cbac916d0ed73f1b58b1e157dd322b25131","datavalue":{"value":{"amount":"+0.7868547439575195","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":"Q1982008$6C0428AE-AE61-4106-BE9B-8FE0C86E1039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1982008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1982008"}}}}}