{"entities":{"Q1023055":{"pageid":1024903,"ns":120,"title":"Item:Q1023055","lastrevid":66639738,"modified":"2026-04-12T11:28:45Z","type":"item","id":"Q1023055","labels":{"en":{"language":"en","value":"Proof theory for admissible rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5563898"}},"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":"Q1023055$B80D1164-7F37-45F4-9132-9A75E6B60B0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b78a91364b088a3736f46469dce2b7cb61b0edf3","datavalue":{"value":{"text":"Proof theory for admissible rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1023055$F126F8DF-C3CA-4E26-B0A6-60C48DF3F1EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29a39d8236531dfdf211a6f29066b75e5462710b","datavalue":{"value":"1174.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023055$98ACEC40-E598-46F4-936D-A3DC4A58E8BB","rank":"normal"}],"P16":[{"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":"Q1023055$B3C405A4-EA64-47EB-BE87-5601BF6F5290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$7711E3D8-5E47-4F21-9CAB-3219CBA0875E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$0F3DAEB3-892C-4A00-99D4-38C1F45D1EB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"787079cd334b8c7e529712503a5fe043609e5231","datavalue":{"value":{"time":"+2009-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1023055$BCB5B0B4-BEAA-4C6B-8736-913170462B96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fcd56f239a162a034a6064d4b0a5fb74906ad71","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26742","type":"string"},"datatype":"url"},"type":"statement","id":"Q1023055$4AD86928-4BC2-4A4C-954D-F7F5C47CEEC2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a8ca0b40335d7ca0708738c52c16250c46159d8","datavalue":{"value":"The paper is a contribution to the study of admissible rules of nonclassical propositional logics. A rule (closed under substitution) is admissible in a logic if the set of its theorems is closed under the rule. Admissibility was shown to be decidable in a variety of normal modal and superintuitionistic logics by \\textit{V. V. Rybakov} [Admissibility of logical inference rules. Amsterdam: Elsevier (1997; Zbl 0872.03002)]. Explicit bases of admisible rules were constructed for some superintuitionistic logics by \\textit{R. Iemhoff} [J. Symb. Log. 66, No. 1, 281--294 (2001; Zbl 0986.03013); Notre Dame J. Formal Logic 46, No. 1, 65--81 (2005; Zbl 1102.03032)] and for some modal logics by \\textit{E. Je\u0159\u00e1bek} [J. Log. Comput. 15, No. 4, 411--431 (2005; Zbl 1077.03011)], drawing on the work of \\textit{S. Ghilardi} [J. Symb. Log. 64, No. 2, 859--880 (1999; Zbl 0930.03009); Ann. Pure Appl. Logic 102, No. 3, 183--198 (2000; Zbl 0949.03010)] on projective formulas.  In the paper under review, the authors present a proof-theoretic treatment of admissible rules. They introduce certain analytic calculi operating with multiple-conclusion rules consisting of Gentzen-style sequents of formulas, and show their completeness for admissibility in a class of modal logics and in intuitionistic logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023055$BDC7C3F6-D8AF-43DD-B641-C9A09882CD3E","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":"Q1023055$DEA431E7-658F-4977-8AF0-BA6056DA5CDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023055$2705A14B-55AC-4712-A1C5-C52DD7F6ABBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023055$8D4D76F5-4118-4A92-92B6-D1821EE0D848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023055$15D7DC69-BFFB-4501-B2C3-D24B15DE7D57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f211846b2533dd38342e4d3ff247c216649b5a9","datavalue":{"value":"5563898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023055$E8CDBCCC-FFBB-41D0-8ECE-3E9BEAEE54C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023055$CE2577F3-099B-4B20-807E-A5A0FD33B66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34baf5a3fb49e343e0bf7867cc6feafdcd155d10","datavalue":{"value":"analytic proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023055$C6CB93F5-6A47-44CD-957E-C7761BB28858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023055$73304EDD-01E5-414A-826E-4582C923AF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023055$61BF3952-3E5A-4B93-8638-572CEE70D06A","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":"Q1023055$D7CDBCFB-AF36-4B90-83E0-A4D624343F15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13ead4c08c1d49e94c9893e68471923ab576ed03","datavalue":{"value":"W2170146694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023055$15EEF833-A9F4-42EE-AEB6-4462017A8296","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$9E86ECE7-163A-4B3D-830C-0F22D667EE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932eb9f75e23d79158ee6b26a933dbdd68025fed","datavalue":{"value":{"entity-type":"item","numeric-id":3338239,"id":"Q3338239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$D14A1016-8232-4386-AC14-1C94DB49FACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$825A62F0-FA72-4896-ADD4-1F7F80B77400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$4E204B2C-2C16-4432-B61D-1A3FD3BE7D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$A592A583-D73A-493E-B016-9418835889D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01d004bc791b096d5f460ea55dd47f3931feec9","datavalue":{"value":{"entity-type":"item","numeric-id":3147430,"id":"Q3147430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$149B27AA-4C2B-4F53-9BED-49B85DF87965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$356FF825-84C3-40C5-904F-28FDC6C70105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$53CF88D4-5EC1-4414-A5EA-B7DE3E1F5273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefb6509a1b508e1b7920ec2ac838bb2dd222bcd","datavalue":{"value":{"entity-type":"item","numeric-id":4808463,"id":"Q4808463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$40EDF8EF-4838-4435-BAFE-9452E3101738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e050a2beefe1e68ff899c461aebd3bc8543a39da","datavalue":{"value":{"entity-type":"item","numeric-id":5292641,"id":"Q5292641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$B85FDFCD-5FBE-4E8D-B698-4AE8771B6BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468a3a1c09b18a83961082ef93dd46e46840fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":558441,"id":"Q558441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$B0F800D6-D38A-4000-9DA8-A24892C8C821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99833e4d3a78240d8e0401c991313b094b54d60f","datavalue":{"value":{"entity-type":"item","numeric-id":3605532,"id":"Q3605532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$C77B0167-66F9-4F14-8B6F-7E23445DE148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa13f8d08455deabdb8d53876205365d278e87","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$60DC6232-BF1A-4DE0-9BB8-7C94BB0FBA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f2c7b1ca123ec2d4e3addb0a776271a4803298","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$659D3677-F218-4FBD-BED2-EBD481FA9378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$44992522-40D4-4E0D-B656-09E0AA0E0772","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":"Q1023055$E01E5DEA-15F1-4631-B42B-EBED9643B921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b937da0dd9bb2e82591f8d65bd9050f5bc70f6","datavalue":{"value":{"entity-type":"item","numeric-id":5957858,"id":"Q5957858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023055$BBC561F9-400D-49FD-9061-BA7746A3CB3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16e7961d6d9e90e0deefaa66ab645c34ffa006dd","datavalue":{"value":"10.1016/J.APAL.2008.10.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023055$09F111E5-4747-4F5F-99F0-A5A635B09CB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe79e9fc4d4c24197a362f8a14a15f8e6b2f9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a60c424d7d181544053de7172f75aab8fc89972","datavalue":{"value":{"amount":"+0.8434844613075256","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":"Q1023055$5313C849-CCA5-44BD-8DC8-CC13875CCF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fc9c9e8e5322e5fd038edc77c8c05eb00f78e3","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa42092b292f7a832caf4e6b24138f316233d36","datavalue":{"value":{"amount":"+0.8271957635879517","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":"Q1023055$1DF1D168-9A82-4CA5-A155-632369D4BCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a869dec8bfaaf08a0d71340913ca9a032bff115","datavalue":{"value":{"entity-type":"item","numeric-id":5292641,"id":"Q5292641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f13b25bfae08fbfa7c0cbf1f971dc12b6204eb2","datavalue":{"value":{"amount":"+0.8214952945709229","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":"Q1023055$0B251D22-1BF0-41E6-88D7-C765CB080066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8b78e8bf15f7419c31a55f9885fdaf6f076ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2915017,"id":"Q2915017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7531903c76d39d829a4e280b6c4cfdfaa8bc0277","datavalue":{"value":{"amount":"+0.8173865675926208","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":"Q1023055$6C3E8552-171A-43E8-83C7-7DBA013BBCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681e166eca0a385b26a0015ed2b6c73dff134cb8","datavalue":{"value":{"entity-type":"item","numeric-id":2366361,"id":"Q2366361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51a13f057d5cc017c62123829c843f6dadd10ef","datavalue":{"value":{"amount":"+0.8151566386222839","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":"Q1023055$CF622CB1-3873-4B8F-9B6C-C93811486B91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory for admissible rules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_for_admissible_rules"}}}}}