{"entities":{"Q1203764":{"pageid":1214513,"ns":120,"title":"Item:Q1203764","lastrevid":66343785,"modified":"2026-04-12T09:29:07Z","type":"item","id":"Q1203764","labels":{"en":{"language":"en","value":"Cut-free systems for three-valued modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 120371"}},"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":"Q1203764$9E6CAFDA-0870-44FA-8B81-53C25DB5CC65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cbbc8daefae38639cbd5553ec64d4409f8dc06b","datavalue":{"value":{"text":"Cut-free systems for three-valued modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1203764$72996789-8CFA-4124-B267-77F3B30D867A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30d1ca327039e07a8996b8dad87bcaa2db7fea39","datavalue":{"value":"0778.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203764$F0D94F50-9987-4112-BEAF-F2E38DF3E654","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203764$30A69D43-94F1-4A8E-AE84-E8540A657723","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":"Q1203764$C242C539-8BAE-4AE4-99FD-340D811A5D8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23a4a462ecb1c2bb71942cea74b7fdc5aca3680","datavalue":{"value":{"time":"+1993-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1203764$F5DD203F-853F-4332-89B2-A85EDFA57B9B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"404b4106dba717cbf18ea031326c5cdcdddccfdf","datavalue":{"value":"\\textit{O. Morikawa} introduced [ibid. 30, 130-137 (1989; Zbl 0665.03013)] (the three-valued version of) the sequent calculi for the three-valued modal propositional logics 3-K\\(_ 3\\), 3-K\\(_ 2\\), 3-M\\(_ 3\\), 3-M\\(_ 2\\), 3-S4\\(_ 3\\), 3-S4\\(_ 2\\), 3-S5\\(_ 3\\), and 3-S5\\(_ 2\\). But, as he showed, none of them enjoys the cut-elimination property. So we formulate, in this paper, other sequent calculi (for those logics) which admit elimination of cuts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203764$113ADA26-007A-4059-B8B7-4E73DBD241E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203764$928AB853-DB7C-4C20-991E-B970943D1F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203764$2C944D3C-DA73-4011-AAC2-88F50DF632D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203764$31480AE5-FE2C-444D-A220-01702C8E00E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e37771eeec3ca10fe0adfc871870f7a3fde2c9d8","datavalue":{"value":"120371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203764$5862B69A-E3F6-4B01-ADDB-7ED52A3C2B87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203764$2722BC87-052A-444E-B813-C0229A81D7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203764$BDE17A9A-7B6F-4404-B254-44913CD5C163","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":"Q1203764$F97CE2A8-F159-4F98-95A0-FC37BA91A6CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07c00ef485b8dd5b7c165f9ca6367352627a4491","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634401","type":"string"},"datatype":"url"},"type":"statement","id":"Q1203764$6228DAE9-6E75-43A9-8364-C33134CA4441","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"774eef44cd9dc69f039a90692c47b52e02e90323","datavalue":{"value":"W1988289605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203764$9E8EBBBE-5B99-4799-B8CB-2D08A5F3F6EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1f92b3f5733f71e6f1b5c74ba2a287db69a98f2","datavalue":{"value":"10.1305/NDJFL/1093634401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203764$0262CC15-929F-4BB6-B8D1-829D497BA9CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddddc5eb4d667d38223ad5ae3b1499527711434e","datavalue":{"value":{"entity-type":"item","numeric-id":383567,"id":"Q383567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1cb195a771c50eb199fb6b54fdb22e8c101a8ef","datavalue":{"value":{"amount":"+0.9128591","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":"Q1203764$701E17AE-5EAE-4E25-92D8-B03DA9B088E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6e3724e0f64e2f381212d20f00300c137799d6","datavalue":{"value":{"entity-type":"item","numeric-id":1115854,"id":"Q1115854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3000bfb9a5307efb1dad82972ce7602e1dd509da","datavalue":{"value":{"amount":"+0.89391875","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":"Q1203764$CFA0BFB6-A2E0-4AB4-B757-318284D1419C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b6bbbd84cd459aa19e2fe7abee03ee846af9c0","datavalue":{"value":{"entity-type":"item","numeric-id":4542600,"id":"Q4542600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6361e46bda26e9eca8b5cdc1c86168b961e41540","datavalue":{"value":{"amount":"+0.8878577","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":"Q1203764$C36AD6D0-96C5-4D7B-9705-B44825E00B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652ec6d7ea2d684a48e5124e1125be4daccb75b1","datavalue":{"value":{"entity-type":"item","numeric-id":1337606,"id":"Q1337606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de88ac9c679a3e14fff271ef6a813e9db7f0239","datavalue":{"value":{"amount":"+0.8860613","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":"Q1203764$39E0B3B0-B08A-4AF4-84CD-1DFB6F158DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc1e9a9a1e59db9d5d7fe5b524e065bb8be21a3","datavalue":{"value":{"entity-type":"item","numeric-id":3141958,"id":"Q3141958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79889df6db1df7e2c7e4368895aacc6efae802b4","datavalue":{"value":{"amount":"+0.885382","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":"Q1203764$F85CED2D-8FCB-4208-ABAC-614DB46D6F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82db5c57d9d6d524cce9d7986eef63c56700eab7","datavalue":{"value":{"entity-type":"item","numeric-id":4395139,"id":"Q4395139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8168b444e293f39e08b182b19c861336c992f1ce","datavalue":{"value":{"amount":"+0.8841077","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":"Q1203764$63358E9C-C813-4A23-91DD-F93ADB0B4659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2396bba8dfc90dce3e47b524a32007f7a3a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb58354428af355cc53979b6e5b5c5c62447e8a","datavalue":{"value":{"amount":"+0.88376766","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":"Q1203764$FDAEA0C6-B3DB-4429-9278-ABEEBC7E4BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeca5c86a55f2648ba3d2fd2ef04baaf05d8dffa","datavalue":{"value":{"entity-type":"item","numeric-id":2987760,"id":"Q2987760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fe0f9633e3ccad970647044af533d2928cf0d9","datavalue":{"value":{"amount":"+0.88320494","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":"Q1203764$223791FD-223C-478B-A6B6-CA9C361C24BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583e8f05f24a712b989d1f165c33bb66f501606b","datavalue":{"value":{"entity-type":"item","numeric-id":5241519,"id":"Q5241519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23402db15eafcc6de6a7c6619085a5c82a686b3d","datavalue":{"value":{"amount":"+0.88254535","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":"Q1203764$414FD472-ED62-4A4C-ADFC-EF9DB132E5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bbb944d7bd330bc1afb709ccce74d67d547970","datavalue":{"value":{"entity-type":"item","numeric-id":1277163,"id":"Q1277163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1dfdf5540526d4a38a7cad51c28198a3d57dc3","datavalue":{"value":{"amount":"+0.88122565","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":"Q1203764$6717D3B1-8000-49E2-9E49-3EF67138E2CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-free systems for three-valued modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-free_systems_for_three-valued_modal_logics"}}}}}