{"entities":{"Q2426166":{"pageid":2436909,"ns":120,"title":"Item:Q2426166","lastrevid":50340365,"modified":"2026-01-13T20:44:07Z","type":"item","id":"Q2426166","labels":{"en":{"language":"en","value":"A basic algebra is an MV-algebra if and only if it is a BCC-algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5265559"}},"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":"Q2426166$3DBC5ECC-9426-4057-8C3F-B58B0342CB2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5bb5d7f4d9e35877f57a3ac41724b569cd0b31b","datavalue":{"value":{"text":"A basic algebra is an MV-algebra if and only if it is a BCC-algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2426166$98C2A44A-23F5-4E9C-BDCE-B18A2868291B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbd965ac8a7098ee9ca8338f2f8a65ccb944fd0f","datavalue":{"value":"1145.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426166$56093D0C-748B-4697-A820-351CD40B19FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426166$A4D0187B-332B-48B1-91ED-DC5E5391C4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dbeb0f87521a2b80550283ee62977c8caf5533f","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426166$99566D17-A026-4141-8F5B-F0D58CFAD4BD","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":"Q2426166$87169C4D-5A8B-4209-915F-AE07E5D29BFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3853cc16a27deff7120c9aee10560847198ea65","datavalue":{"value":{"time":"+2008-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2426166$79F45606-B072-4168-8747-774AE57A3165","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8159712694da18151489c0c4f7f2f08ac23f0a3b","datavalue":{"value":"Basic algebras are the algebras of \\textit{P. H\u00e1jek}'s Basic Logic (see his monograph [Metamathematics of fuzzy logic. Dordrecht: Kluwer (1998; Zbl 0937.03030)]). MV-algebras were introduced by C. C. Chang to give a proof of the completeness theorem for \u0141ukasiewicz infinite-valued propositional logic (see the monograph [\\textit{R. L. O. Cignoli}, \\textit{I. M. L. D'Ottaviano} and \\textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer (2000; Zbl 0937.06009)]). BCK-algebras were introduced by \\textit{K. Is\u00e9ki} and \\textit{S. Tanaka} [Math. Jap. 23, 1--26 (1978; Zbl 0385.03051)]. BCC-algebras are BCK-algebras satisfying the Exchange Identity: \\(x\\to (y\\to z)= y\\to (x\\to z)\\).   In the paper under review the authors prove that a basic algebra is an MV-algebra iff it is a BCC-algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426166$B4F9F45E-103D-43CC-A0B6-23529EFF13BF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426166$A37A230D-CF63-483F-AE62-505CDE952C6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426166$88A1DAF6-57F4-45A1-A28F-83770E6BBA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426166$6FE1DD69-725E-43FF-BD44-D32DDBA48E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426166$5DFF5ADF-99E7-4113-9B85-DDAA35BBC492","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0252420bbf01e68ae2178508e642c50156ba456b","datavalue":{"value":"5265559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426166$3471BF1A-DBBA-4B4A-99A0-32D543751862","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426166$7CCE7074-3306-4CE3-9DA5-003199CA13F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426166$BCA74B19-CDDA-46D5-9A0F-A4CFD16292FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6cb38c7aaa4d252d2b4a69c12f006441478ab9","datavalue":{"value":"basic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426166$A71550CB-0941-428D-A6B2-034CDFA7B55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ae94c07cfb807968a09f81c41709366559e315","datavalue":{"value":"BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426166$1EB69DA5-2B8E-49C8-86D3-AFB3EEC6A60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a6622ebabdffe894d3d37a94d80bc13589eeee","datavalue":{"value":"BCC-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426166$56D6F423-AAFC-4F2D-ADD1-21744EF0045E","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":"Q2426166$618D619E-D0BF-41CF-B508-7C2B0B88BC96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"733e2fc21027a9560668111ed29871c5c9da6387","datavalue":{"value":"https://doi.org/10.1007/s10773-007-9468-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2426166$B8770297-5768-4383-9649-7E370E0E2D85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"970b05e4ebe49e8933940806181fcd2469988fbd","datavalue":{"value":"W1991167533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426166$29AC6405-AA07-4EAB-A92E-07C9CFAF4087","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef83319f09c3065cc08bd63efc5e51923dc02ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5696168,"id":"Q5696168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426166$48304115-77B7-4018-84E5-EFD67D7D16C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426166$CF738F19-0A34-4B00-B820-C3A91ED19CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426166$0EDDB5C0-7F72-47C4-A59E-5F410C8D6EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cfde52ae4ca370ec9954aad90847d8b82de5421","datavalue":{"value":{"entity-type":"item","numeric-id":5536250,"id":"Q5536250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426166$7AA63677-DEBC-4AAA-8FDE-42452DB59259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1d79132a7ff6bd4c9f7ecdd27343ffd9a0068f","datavalue":{"value":{"entity-type":"item","numeric-id":4165379,"id":"Q4165379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426166$45E7D811-529E-4ABC-A54B-B66463A4B6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1715fb4685637e0065797edbff8c5879a2397e03","datavalue":{"value":{"entity-type":"item","numeric-id":3346317,"id":"Q3346317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426166$1BE9E1A6-B403-45A5-8103-D8F888A9800F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76af3132d4c50b26a0458b80aa95f0e2dbdfee3a","datavalue":{"value":{"entity-type":"item","numeric-id":3770539,"id":"Q3770539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426166$AD3EF6E5-76C7-41BD-8E46-16C4035A2C1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3069134527787fde0e00de05afd554577036a1be","datavalue":{"value":"10.1007/S10773-007-9468-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426166$05A6449C-3C33-45C5-B38B-A1C0CAB48E9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e75f3a7af96ea779a1558661b2b7dcb7cbf7ef91","datavalue":{"value":{"entity-type":"item","numeric-id":5446177,"id":"Q5446177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1a104081ac5e372c9621aba543af24e9ea0358","datavalue":{"value":{"amount":"+0.8474783301353455","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":"Q2426166$670921CB-96B1-498F-BC9E-31BB6F788377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7968fc56450dc9b8e5843b7fc6da0473e8a3be69","datavalue":{"value":{"entity-type":"item","numeric-id":3588866,"id":"Q3588866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf563269fba28bb8c918c96179549c4b03e6c68","datavalue":{"value":{"amount":"+0.8198406100273132","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":"Q2426166$BECFE111-E96D-4B8A-86B2-BD543DCC13C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b897a183294ea67cacef8e7940b4dddfe7f50838","datavalue":{"value":{"entity-type":"item","numeric-id":2464641,"id":"Q2464641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604457260cd5a817dab0e94efaeae3bb9007527a","datavalue":{"value":{"amount":"+0.801024317741394","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":"Q2426166$137D4AF6-8676-44BC-B84A-C27969F2F67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bea4ef300c88b415fadc8e115664cdea74eae0c","datavalue":{"value":{"entity-type":"item","numeric-id":4664896,"id":"Q4664896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3812159116610a3aedeedd3034da0f328055072","datavalue":{"value":{"amount":"+0.8008820414543152","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":"Q2426166$C905F889-78E8-4BA8-99C9-6541C77EA25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259f4302688859aec4aa0aca7a1dd35905d9b817","datavalue":{"value":{"entity-type":"item","numeric-id":5389213,"id":"Q5389213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f800f999078c69e13a89cb8f586e67303d9ebfee","datavalue":{"value":{"amount":"+0.7929266691207886","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":"Q2426166$FBF0A69B-F859-4C43-93F3-DF0158AB1B06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2426166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2426166"}}}}}