{"entities":{"Q5966494":{"pageid":8143290,"ns":120,"title":"Item:Q5966494","lastrevid":49302772,"modified":"2026-01-06T22:35:59Z","type":"item","id":"Q5966494","labels":{"en":{"language":"en","value":"Solution to a problem of Ono and Komori"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112582"}},"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":"Q5966494$CDAB25D2-64BF-4452-A6F5-F72E713B5FFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f7e73facbc105c7d35f338b8d3b115f9704ce3a","datavalue":{"value":{"text":"Solution to a problem of Ono and Komori","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5966494$6480339D-CAC3-46DB-97D2-925BC322A9DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9421f1cdb376c456a0d1e85a6bba2ef26460e5d","datavalue":{"value":"0679.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966494$616D1BDC-D67A-4868-A23F-A7321C8F7814","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9efa9bd05efef2b36683a66c9725534a75880c74","datavalue":{"value":"10.1007/BF00296176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966494$AFF8021F-84FF-4710-B73D-CC2536DC06C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bcf20fbd6e518d6ec705e75c1250ec189c8029f","datavalue":{"value":{"entity-type":"item","numeric-id":689215,"id":"Q689215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966494$8B8A8CFA-DFF8-4B57-8EC2-0991549D00FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966494$8032DC67-7B00-47A8-A04F-D05846FD3A91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5966494$34DB1A5A-5FC6-4D74-8120-5A9B0B669B0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c95a8a5aafdefcc6114119998eff2822007db411","datavalue":{"value":"\\textit{H. Ono} and \\textit{Y. Komori} [J. Symb. Logic 50, 169-201 (1985; Zbl 0583.03018)] posed several open problems concerning some systems of contraction-free logics. This paper gives the solution to Open Problem {\\#}6: Give a Gentzen-type formulation for the distributive logic \\(L_{DBCC}\\) [equivalently, \\(H_{BCC}]\\) or \\(L_{DBCK}\\) [equivalently, \\(H_{BCK}]\\), for which the cut elimination theorem holds. The Gentzen systems presented in this paper are singular on the right and utilise two kinds of sequences or methods of combining formulae on the left, as is now common in dealing with relevant logics. Once this technique is employed, the choice of appropriate structural and logical rules becomes relatively straightforward, but the proof of a cut theorem (which is given in the paper) becomes correspondingly complicated.    Ono and Komori's original systems are closely related to some contractionless relevant logics, to \\(TW+\\) in particular. So this paper draws appropriately on \\textit{J. M. Dunn} [in \\textit{A. R. Anderson} and \\textit{N. D. Belnap}'s book: Entailment, Vol. 1 (1975; Zbl 0323.02030), pp. 381- 391], the reviewer [J. Philos. Logic 14, 235-254 (1985; Zbl 0587.03014)] and \\textit{R. Brady} [ibid. forthcoming]. The author points out that the techniques are easily generalised to related logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966494$7436BCB5-8671-4DA8-BB8A-6814C78AAA98","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0aa64c621a2feafe101247ed541c38a7affa2b8e","datavalue":{"value":{"entity-type":"item","numeric-id":579233,"id":"Q579233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966494$44178CF9-B1FC-41B1-A4A2-8DFE5353A551","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966494$0A826778-74FC-48CD-897B-C41FDE254B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966494$6AD277BD-D40B-4D28-9A13-272DECD34CE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86aae1d10014384e7abf7ef631d381be306c1eb5","datavalue":{"value":"4112582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5966494$38F73E51-B5F1-48D6-BC99-750B6362593A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007178e48802a62bc4654c927dc92fdb00a13725","datavalue":{"value":"BCK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966494$B2BCDE49-CC90-4D39-A5D1-F6D5990C76FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4023a236734655c68f1f37fb4aadf1f34993f4a5","datavalue":{"value":"BCC logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966494$1F82CF94-670E-49A3-A0AB-0243A086C66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72398f9a28f182ef9fd00964c3b0378b770645a","datavalue":{"value":"contractionless logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966494$AFEAC0D9-F7A8-4B9A-AC6F-DDC3B06637F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc750346d57276d844613acb7a05d50f7e5ad4f","datavalue":{"value":"TW","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966494$3C66B1EC-B937-4A85-990C-DD9397B97559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"093bda0fe2ce6b9c31255c3a2d81074b995cb83e","datavalue":{"value":"contraction-free logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966494$103545D0-803E-4DBC-A705-CCC881F50818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966494$BC733008-A073-43A4-A0C4-7F76A5594066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5966494$2707CCDE-1B1A-45E1-8F6D-D2E4F0419569","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":"Q5966494$D9F66C60-62E0-48C5-9B52-8F45377D80BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966494$1502366E-9A24-4AE7-B653-C737107AD244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5cbc6e4207291864084d3942a2b63091f8bab1","datavalue":{"value":{"entity-type":"item","numeric-id":1072541,"id":"Q1072541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966494$576DBA58-AB86-4C07-8855-F9C996CC52AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5966494$34732590-9EFB-4128-AE1C-D93C8F9B6344","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f69098d8da696f46f7e7cd9c7e9e2019afb6e5","datavalue":{"value":{"entity-type":"item","numeric-id":5903941,"id":"Q5903941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deaf104ee2175a7f3e03d33cb7910b88050128b6","datavalue":{"value":{"amount":"+0.9805855751037598","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":"Q5966494$88E787DA-2AA2-4C8E-AE8A-4F5D3704BFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d885227f885cbf4619d0b2a0a4268af7c45e49e0","datavalue":{"value":{"entity-type":"item","numeric-id":5279185,"id":"Q5279185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc8e0fa15f52ebb840c396b5d955886c3e767ee","datavalue":{"value":{"amount":"+0.7921983599662781","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":"Q5966494$58547659-086F-4EA9-966D-80BD55DEA185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d47b2cd59f4f35f3874d1a5c98b606bb7502c5f3","datavalue":{"value":{"entity-type":"item","numeric-id":4856945,"id":"Q4856945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10409c69c83dca7075a75d53bb247497b257508c","datavalue":{"value":{"amount":"+0.7825523018836975","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":"Q5966494$6BA8EFA7-38CD-49AE-8E01-B8E92A8B7671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e9b46da072a9a280b667bf2be41b3e5d24ecc5","datavalue":{"value":{"entity-type":"item","numeric-id":3128476,"id":"Q3128476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67c441dd2a6d12a5e116a71403ea9e1b2f4e293","datavalue":{"value":{"amount":"+0.77946537733078","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":"Q5966494$3CEE2530-0EA8-48EA-9411-B805FC0E3624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab561870c7225f539ca25f1fa498ee781390554","datavalue":{"value":{"entity-type":"item","numeric-id":579235,"id":"Q579235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb55ccd6cf177cec16db7d4e4c3b517a47a22bc0","datavalue":{"value":{"amount":"+0.7734735608100891","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":"Q5966494$B2E82452-476D-4BB3-B235-6692525E05B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5966494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5966494"}}}}}