{"entities":{"Q1586458":{"pageid":1597198,"ns":120,"title":"Item:Q1586458","lastrevid":43227397,"modified":"2025-07-22T14:09:57Z","type":"item","id":"Q1586458","labels":{"en":{"language":"en","value":"Commutative BCK-algebras and quantum structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1529147"}},"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":"Q1586458$CE5C4101-7627-4339-B1CA-049FF1BA4DD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e1fb2db71762cb2afd44165cc2728e17e08e425","datavalue":{"value":{"text":"Commutative BCK-algebras and quantum structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1586458$E64B715A-CF15-4264-B7FF-022FB59A3BFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c66b8c98a078bd8c126980eded55ac3e03775a4a","datavalue":{"value":"0972.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586458$CEE8AD1A-21A5-476D-A5D8-E2FC6A43CD87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f189fb4d93c80bffea04c97348ab01ae90045d0","datavalue":{"value":"10.1023/A:1003689821470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586458$F7290D0B-5AB5-493F-B7E8-884E34B95098","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"359c0df30f5ebfb148ed65afc8a013219b3ae9dd","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586458$F6F2CEEF-84BF-4B3A-BC07-7508C2516936","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586458$7E575860-4FE3-45D9-8143-8935D12852DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"578d89e1ee5d1fce7fb0711c39e593dc0fecf9d4","datavalue":{"value":{"time":"+2001-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1586458$1FBFBD8D-BDB0-4D5E-B24B-1813CA1CE368","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e56444d903ec2cbeba79eb1ea5fb96946df6ec08","datavalue":{"value":"Many algebraic systems in which a subtraction-like operation is either a primitive or a derived notion -- such as BCK-algebras, Boolean rings, D-posets, effect algebras, \\(l\\)-groups, MV-algebras, orthoalgebras have been used to describe the structure of the system of propositions in various classical and nonclassical logics. Connections between such systems are being studied intensively. The paper under review fits in with this line of investigations and may be considered as a continuation of the joint paper by the author and \\textit{H. S.~Kim} [Stud. Log. 60, 421-439 (1998; Zbl 0960.03051)]. It includes a short overview of known results concerning interrelations between commutative BCK-algebras, posets with difference and MV-algebras. However, the main subject studied this time by the author is commutative BCK-algebras with the relative cancellation property. Every such algebra is shown to be embeddable into the positive cone of an abelian \\(l\\)-group. Moreover, there is a faithful and full functor from the category of abelian \\(l\\)-groups into that of the BCK-algebras of the aforementioned type. (Recall that \\(l\\)-groups have been used for representing MV-algebras.) Also measures on such BCK-algebras are studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586458$4299CA72-2094-4497-82CD-4BEFFADBCDF6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586458$EF5CF5ED-3EC6-4415-A8C4-321CC45687B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586458$E3FD6B84-5FB6-4531-8C98-7B145337D478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586458$E6DCEF48-BBBE-4453-9618-1D2C0453AD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586458$AB138958-9895-4758-9ED6-C983876F1A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586458$8593B2FA-276B-4131-97CF-D5D6C15C1AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586458$FED04CEA-291A-4863-8A94-BBBC4CFD4025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d6de7896d2d266f4b74cf4ec8e518adb3d04dc2","datavalue":{"value":"1529147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586458$88A6839F-5776-43B1-AEC2-CCF488B44C05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ae94c07cfb807968a09f81c41709366559e315","datavalue":{"value":"BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586458$D8CED549-1BA4-459D-9ACE-B124FDFC787D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97dfc2fb39891e679e6db1c71e2b2a2f4ff60aa0","datavalue":{"value":"D-poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586458$75E4612D-32B2-40C2-A92C-D917DBB3A5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a3f20170fa4dced255dae092befa6423ee67afd","datavalue":{"value":"\\(l\\)-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586458$D68C1AFC-DCB6-49D1-BE6E-5AFD584B9CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586458$4BBDA69C-2D63-47CF-AB06-7BE5DC374615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"909a98476e31c6581c843469a793007a11ac33d6","datavalue":{"value":"quantum logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586458$15E5FCA6-E4F8-4E9B-8F00-3EE654389FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4436d7652526a7f125f8667add7268c4c5bd1d6","datavalue":{"value":"relative cancellation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586458$B6D0EF96-F8A8-484A-BBEF-F2D080D317D5","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":"Q1586458$F5B92F12-19D2-4F40-BA2B-B5F5EEC10C62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6ab5b03faf02ab749706e916837354c2f244619","datavalue":{"value":"https://doi.org/10.1023/a:1003689821470","type":"string"},"datatype":"url"},"type":"statement","id":"Q1586458$723540B8-9481-4E2B-B08B-7EE696AC33E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ce67068e4fd364144f06a581a3b5f9a372ed930","datavalue":{"value":"W128536618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586458$D36CAEBC-06C9-457F-8441-08C5001E0850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3fe465b6269fb2593bda9cfabe75e3996bcc66","datavalue":{"value":{"entity-type":"item","numeric-id":4256068,"id":"Q4256068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973975664f87047b5e57d19a5c4f5042367f4b55","datavalue":{"value":{"amount":"+0.76872647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1586458$5947996E-E318-4F06-8BD4-B86F812858A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4513310460b5e74d4577360b91f0b46e2dc308cc","datavalue":{"value":{"entity-type":"item","numeric-id":1577356,"id":"Q1577356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a8d74b9674c03fe4c94860e83a3a4fee8bef47c","datavalue":{"value":{"amount":"+0.7677375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1586458$DB455B9D-706A-40DA-93BD-D91063E78A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23d2079f79413e801cce73813d947e7cd9d5d33","datavalue":{"value":{"entity-type":"item","numeric-id":4360148,"id":"Q4360148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2846d45e39f10bb43a220c320be22d7a9c0bdd","datavalue":{"value":{"amount":"+0.7190452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1586458$BC1EB1C1-E52D-4FE9-8D2F-B0214F30F3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee8c750bc86d3086bceef22046893a8282c16bbf","datavalue":{"value":{"entity-type":"item","numeric-id":1583844,"id":"Q1583844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2111f7451b48f7eca261e6a0a0f876153a7d1b","datavalue":{"value":{"amount":"+0.71198183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1586458$A6D8C6DA-6E2A-4324-AC07-37A12B860178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4597fac41ab78bbd6ee39a7abf78540385f8eb7c","datavalue":{"value":{"entity-type":"item","numeric-id":4258334,"id":"Q4258334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12af95990ef01239cf41e6751e8c68eea3f83e7","datavalue":{"value":{"amount":"+0.7119776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1586458$6B1F6080-FEAE-4B8B-AC48-C86BB93B0FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f37a10f2f9b450a12ce02f67b51adb5903fdb57","datavalue":{"value":{"entity-type":"item","numeric-id":4719115,"id":"Q4719115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a99cbe7839abf30de5b65610affacd5d7022e6","datavalue":{"value":{"amount":"+0.7097878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1586458$9036DC03-9441-4311-92C0-2A489D2EEFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0a96792ece448d702ddc95f6bb6b9e3470b126","datavalue":{"value":{"entity-type":"item","numeric-id":4441345,"id":"Q4441345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69c1eed00b0a802286fbd9e114c84e89ac1269f2","datavalue":{"value":{"amount":"+0.70632964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1586458$97224509-7488-441D-B82C-1993D97FD65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04ec67abaafcfdfbae7ef331dba55bcfc4857775","datavalue":{"value":{"entity-type":"item","numeric-id":4396499,"id":"Q4396499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7f2e0e62a1cf828e6acb98ef50b638cfc8dd98","datavalue":{"value":{"amount":"+0.70112836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1586458$2D0BD2F9-9F9E-4DE8-B653-4EFDDF3D30F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96e9d6ced04eab78fc490bc0c9fd8bdd43b3def","datavalue":{"value":{"entity-type":"item","numeric-id":4488685,"id":"Q4488685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd02acdca01f7b4e4152670d930b2dc9b135821","datavalue":{"value":{"amount":"+0.6972032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1586458$828D73CE-F416-4F53-99EC-A0BA78497DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4cce3a09f650cf118d9b3b580b90ce771066012","datavalue":{"value":{"entity-type":"item","numeric-id":1970590,"id":"Q1970590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821ef44c6fdd0ed305672d236b07b5f68358be3b","datavalue":{"value":{"amount":"+0.6933694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1586458$D20AE72A-94C8-4667-8488-D9E6D4B7C2D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1586458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1586458"}}}}}