{"entities":{"Q5945008":{"pageid":8121810,"ns":120,"title":"Item:Q5945008","lastrevid":41266068,"modified":"2025-04-26T14:33:30Z","type":"item","id":"Q5945008","labels":{"en":{"language":"en","value":"Cut elimination for a calculus with context-dependent rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1655894"}},"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":"Q5945008$D97A7993-7452-40F9-A16E-EE411972B8FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0784f1609f0679b2891fc3275d017c5949b4ed13","datavalue":{"value":{"text":"Cut elimination for a calculus with context-dependent rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945008$FB47A7E2-1AE7-4BA5-AD07-3D24C61D8BB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a8a4a60a20fae054da055d3d7b604378071e202","datavalue":{"value":"0989.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945008$A95AC84D-1025-4CF1-80A4-342DEA8813CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca5dcdef6b84578f0917bbb5df20cd52efd6352","datavalue":{"value":{"entity-type":"item","numeric-id":206558,"id":"Q206558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945008$9C7752D6-06B0-4D04-9198-698655673406","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945008$D34EF8C3-8E7F-4CC5-B2ED-72EF08391D2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5945008$E6C0947D-1891-41DE-A983-51216936EA0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25292eca8cf354565e79104329f2121634c7a88b","datavalue":{"value":"In a sequential formulation of a logical calculus, context-dependent rules are often an obstacle to eliminate cut by the standard procedure featuring the permutability of rules. Focusing on a fragment of logic programming calculus, the author shows that the problem is cleared by reformulating it in a generalized sequential style to employ deep inference rules of the so-called Sch\u00fctte type. The usual sequential formulation of the fragment, which is a kind of substructural multiplicative propositional logic, is shown not to enjoy the cut-elimination property, so that the reformulation is essential. The author discusses also the problems induced by adjoining non-logical axioms to the system, and extends the results to the case with additive connectives and quantifiers, of which an application to propositional programs is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945008$956191D9-084F-4EA6-85C9-379C3AAD2534","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945008$7ED881D9-B484-4F16-B3D2-A74EC8A308C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945008$DADDE925-1361-4084-B96F-313B7E5E0FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945008$11F1ABC7-2FDE-49F1-A04B-EECA69192103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945008$45894FF3-FD79-43A1-9A6A-8572B8E7928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945008$7D7FB656-F987-4F08-821E-A50229162642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945008$AD04363A-6A5F-403F-AE96-A045BC19F85D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"551e22f8e2c729d5d18a2dcf654feb91c5576399","datavalue":{"value":"1655894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945008$E496633B-A93C-4F56-A58E-5597B23F60B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945008$C7FBFA44-D521-4DF7-B645-B3F74328D2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945008$0CC9F39B-212D-48E0-A0B8-CAE16C9ECD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5da38b6a970816d9488a00725a8fa500f2e4d6","datavalue":{"value":"context-dependent rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945008$1FBD3481-AA66-42A0-9D27-0FD50BC272E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fde2a131833f57c1aab0333f476be0b32310b0a2","datavalue":{"value":"Sch\u00fctte-type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945008$C018A40F-BC3B-4AD2-BA78-B99D2F58D250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945008$721E0425-1CFE-44A8-8D2F-4A54AEE4FF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945008$73AA229E-E669-4804-BFC8-209DCF77CF97","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":"Q5945008$54BDAA66-ADC2-4E3C-B5F2-1B7DCD168D1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a77811992b20197950ae0185ade3dd8e8c102230","datavalue":{"value":"https://doi.org/10.1007/s001530000058","type":"string"},"datatype":"url"},"type":"statement","id":"Q5945008$49EE0CF2-2D25-4421-9F00-6AA16762AF04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93871a2b0e9f9426c521ba8be75f4a285398ec12","datavalue":{"value":"W2039754492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945008$FAFD011B-DC2A-4588-AF0B-8511A4452801","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb7824a5a4486c5ab44952f9c5208566fb36d992","datavalue":{"value":"10.1007/S001530000058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945008$1DFF4BC7-3677-4B83-8C37-31157A04B8B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d2da2d6b4625883f72814a03eebce25b7b0e7b","datavalue":{"value":{"amount":"+0.8847769","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":"Q5945008$72E2CD84-A615-41E1-9DEE-00B18A50B550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139a1eefe7c7df7ac0d695483eb65d1e58250159","datavalue":{"value":{"entity-type":"item","numeric-id":2478554,"id":"Q2478554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c790837f6f3aac6fde6f66d9f98b66c758d20b","datavalue":{"value":{"amount":"+0.88405526","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":"Q5945008$5742D9D5-D8DC-49DF-B6F8-C8B8C67BCF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eb87392f68ef7607d5fd6657bd3271e995e8f3","datavalue":{"value":{"entity-type":"item","numeric-id":5854738,"id":"Q5854738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bada8f50346c3ea1370e3f4dd115d14ee547ce89","datavalue":{"value":{"amount":"+0.8829701","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":"Q5945008$0D691CC5-2FA6-4B68-A5A9-F1C4F66AFC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d884fad1be1d006bc9315d659f9d84f8d407e15","datavalue":{"value":{"entity-type":"item","numeric-id":2936239,"id":"Q2936239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d69b7716982dd6d8a4fcc01c935531e6f1a40cbe","datavalue":{"value":{"amount":"+0.87089676","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":"Q5945008$4D14EFA6-D0BE-4B2F-BA68-FA8EE99F2521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae96437254f3007bfc20fe3038861121d114150","datavalue":{"value":{"amount":"+0.8696562","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":"Q5945008$EDE79441-029A-42A2-B3D2-DC80652CCF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bd9578bcfb0760daa8553bf78b5b43bd9c1e21","datavalue":{"value":{"entity-type":"item","numeric-id":5216979,"id":"Q5216979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7721f700f7bd2a1ccaf59c2fecbc6eb986fca0","datavalue":{"value":{"amount":"+0.86348903","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":"Q5945008$4E5FFEC7-2CB3-4317-A690-4BB1CDDF5BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5edba2b273c39208082b2cd68827931675b19a","datavalue":{"value":{"entity-type":"item","numeric-id":4608559,"id":"Q4608559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed08a84e7bd8fb4e7d30e6c78461ca19437bc5d9","datavalue":{"value":{"amount":"+0.86145365","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":"Q5945008$3571E9CD-1B5D-48FF-B3F7-7DC8EF6F3DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55446309c0901cc7b227f20e9eb6f3af5322b55","datavalue":{"value":{"entity-type":"item","numeric-id":5372010,"id":"Q5372010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42bc8ba5be9b2f47b7d36b3945f958683f5db369","datavalue":{"value":{"amount":"+0.8574399","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":"Q5945008$5339DC29-FB93-4BEB-8338-A258379B2196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577215077104f09bb0a363cf59e9c29da32bbd38","datavalue":{"value":{"amount":"+0.85720474","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":"Q5945008$60BBB9D4-BE50-4E2E-800D-EB9F83CC6F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38584f2f52deae4b10fef8e1098215a781019da9","datavalue":{"value":{"entity-type":"item","numeric-id":2363418,"id":"Q2363418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7702b6f1f704bf35a94a6729dc62bce50f379fdc","datavalue":{"value":{"amount":"+0.85554934","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":"Q5945008$4DC129A0-2DE2-4B62-BC62-0D449E04E541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945008","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945008"}}}}}