{"entities":{"Q477584":{"pageid":479351,"ns":120,"title":"Item:Q477584","lastrevid":77854055,"modified":"2026-05-06T10:12:18Z","type":"item","id":"Q477584","labels":{"en":{"language":"en","value":"Eliminability of cut in hypersequent calculi for some modal logics of linear frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6378630"}},"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":"Q477584$A27B353A-2029-42DD-9CBA-631A5C226116","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee4706329b1d11af9174ee30b9441488e9a86ed5","datavalue":{"value":{"text":"Eliminability of cut in hypersequent calculi for some modal logics of linear frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477584$C4B00D7D-79F1-4064-A7DA-7F80DF6B123D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77103ff3e36612d4c123950f465b1412a9725232","datavalue":{"value":"1352.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477584$7944A51D-0349-4F19-9377-A9A6C067C341","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$0071B1FE-237A-400C-BB04-6A79CF9A648C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$1900B0E6-9834-48FA-A6A4-15C799CC9202","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"647b7a1b0f81a95dd0d55b044a22a9b52645ffc6","datavalue":{"value":{"time":"+2014-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q477584$F76F746E-7E63-488C-A7A0-A7BE3D37B693","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fd691d81de453d0207278f9ef4aeb0957ef63b7","datavalue":{"value":"The paper presents Avron-style hypersequent calculi for the modal logics of linear frames K4.3, D4.3, and S4.3 and gives a constructive syntactic proof that they satisfy cut elimination. A form of the calculus for S4.3 appeared in an earlier paper by the author [Bull. Sect. Log., Univ. \u0141\u00f3d\u017a, Dep. Log. 41, No. 1--2, 89--104 (2012; Zbl 1287.03046)], but only with a semantic proof of cut elimination (i.e., completeness of the cut-free system). The cut elimination proof in the present paper is based on the method of \\textit{A. Ciabattoni} et al. [Fuzzy Sets Syst. 161, No. 3, 369--389 (2010; Zbl 1190.03026)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q477584$69317DCC-D9F7-4E22-8D71-2370074A810B","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":"Q477584$4F7A0EE6-7E73-4743-9AA4-66BFB9463277","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477584$0DF0377D-00F0-4C78-9DE5-8D8D9625E92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477584$6ABAB696-4316-4762-93E1-A6F6961A2E29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c74fbcc7e90d54a8ab9443d4b2ebde140e33fdf8","datavalue":{"value":"6378630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477584$3B8FAD12-FDFA-437A-BB25-6BFB9689F34B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q477584$4E653E47-9010-4613-8B8E-F9A576005EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q477584$FC442F13-C3E9-4AF4-8088-5CCADBA0328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q477584$5BE3CEDD-8F27-4E0D-AA59-042E2AEEF435","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":"Q477584$91FD13E6-CA3F-4A0D-9AC1-23202965C291","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":"Q477584$03A7FB65-4627-4097-A7DF-FA1BF1BF2C32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"544a762f5748a0b28ca4dfd375fc25ee10e890c1","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2014.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q477584$3F821568-9F91-4C8A-BD4C-AC47E43631D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2143322f2e5fd2409ec093d84da4b3d084d1be97","datavalue":{"value":"W2043677412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477584$5B1C9450-AC25-4B2E-A553-70F45DAEC12D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$5F76E859-D44F-44AF-99D4-6381288732C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$7A564283-9A26-4606-A2B9-E4F0FA0118E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$27081860-2359-4D28-BCA8-7EF6AF7143D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b55e9c8d88a8480c3e2dddf9678e7410e8cfb1a","datavalue":{"value":{"entity-type":"item","numeric-id":4412849,"id":"Q4412849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$F3F0956C-17F1-43B5-9ACB-0BF24C9B2250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$B96EE3BE-791C-437F-BA9C-F7672B14C80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$B9F75AC9-4C31-4C6D-BC63-0A226E51815F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1d2b184db23631f35a7de90ca0357cff037d4f","datavalue":{"value":{"entity-type":"item","numeric-id":2270235,"id":"Q2270235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$0270454D-1706-4BE3-9724-5EBC97DB912C","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":"Q477584$032EFC59-0CDC-4BC2-A180-9075699EA90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfb4c4094c0faea570d2638a776fc5bbcfdf698","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$372BE06E-14F4-4F71-B8AB-D7784E10A495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$99D4D5B0-1115-4B48-B1BA-14AB2C8D3BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$8D3393D8-98D5-47AC-BBB4-0ED4BDC74816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300ea78ec7ea0769e1281ef30aafeee2002753eb","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$12DB070F-7936-4502-ABCB-A574B554CC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa807cfe649a38829e1790bec87e132b547189de","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$4EE549DA-F393-403C-A036-DCAE6D6B548C","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":"Q477584$BCA3AD72-ECB5-4D77-AFF7-B976D707FD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$DBA0BCE5-CA14-4B39-BA01-E1FE7F594053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477584$1985CD51-CA22-48FC-AA15-556967EB7880","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b253e44af73bd2c1268b0ebadfd508f0ccda9f88","datavalue":{"value":"10.1016/J.IPL.2014.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477584$656A29F2-09B2-4413-984F-83EB42D3EB7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95581da49d8e3c37a4665da04d77b92186b104e8","datavalue":{"value":{"entity-type":"item","numeric-id":5413334,"id":"Q5413334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e241f9b3c7cb10adea7b539924378af71c28a53","datavalue":{"value":{"amount":"+0.8750219941139221","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":"Q477584$5D2F9E1B-8947-4B5B-8605-A79157DF4370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eabfadcc6c7e02259b9de46de1f95af4db5571","datavalue":{"value":{"entity-type":"item","numeric-id":5027667,"id":"Q5027667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420e9d89070e271b9d4c1420ad342bec3f625192","datavalue":{"value":{"amount":"+0.8266555070877075","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":"Q477584$871C2D91-912C-4E9B-8F43-0A46554DF7EE","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":"d95cd7b1e048e10e5d9ff89eada4b21539347498","datavalue":{"value":{"amount":"+0.8087677955627441","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":"Q477584$AD69BC25-351F-4134-8252-231DBA6380E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f846f8b84a24dd2b5e8b5f7d7e17cd5c668057fa","datavalue":{"value":{"entity-type":"item","numeric-id":5271078,"id":"Q5271078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4148b3c3bd9536ca4f13a049e9833f1bd15cee5","datavalue":{"value":{"amount":"+0.8082175850868225","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":"Q477584$C36F91D8-41E2-4378-8EE3-88BFFE4A6B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cbb356d708ec4d093af55fa2b4d23959b0ff10","datavalue":{"value":{"entity-type":"item","numeric-id":2987741,"id":"Q2987741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaad1c49d041db7bac61312cd5a8638f59a22fb","datavalue":{"value":{"amount":"+0.7958955764770508","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":"Q477584$09F73E1C-DF29-47F6-BD11-697DAE7A4459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eliminability of cut in hypersequent calculi for some modal logics of linear frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eliminability_of_cut_in_hypersequent_calculi_for_some_modal_logics_of_linear_frames"}}}}}