{"entities":{"Q2519410":{"pageid":2530153,"ns":120,"title":"Item:Q2519410","lastrevid":78780548,"modified":"2026-05-06T12:25:28Z","type":"item","id":"Q2519410","labels":{"en":{"language":"en","value":"Independence of axiom system of basic algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5497525"}},"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":"Q2519410$DA803ABB-4BEE-4510-BF14-B4EE28192AFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f9e76de28e9f11c94a92a8678ecdf8f7564e374","datavalue":{"value":{"text":"Independence of axiom system of basic algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2519410$CFC27206-60C4-417A-9E6C-5BB41D81FF18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56df866bc0e4c20511cd61483d27faba30e1bfa5","datavalue":{"value":"1178.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519410$DF133F56-1092-4FD0-A642-A1047EF65519","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":"Q2519410$E1D3D3CF-5CD8-4D96-89A5-3BC3FBE3D102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fd9af0509c45e7450d6e5d25ae6270d2d4401d5","datavalue":{"value":{"entity-type":"item","numeric-id":344091,"id":"Q344091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519410$2CC4EC50-2C96-43D0-973F-94FC4A189A33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519410$70A62A78-BAF7-474D-BD61-89D4B65E958F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b4ba3f9918c1a78f7dd009f97873681096874e6","datavalue":{"value":{"time":"+2009-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2519410$F059D7B8-B0E6-48F7-BA83-4D84DAB3F1BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8fb642e1f0f5d5c12af29076b5e8176282612f7","datavalue":{"value":"A basic algebra is an algebra \\((A;\\oplus,\\neg, 0)\\) of type \\((2,1,0)\\) satisfying the following axioms:  (BA1) \\(x\\oplus 0= x\\),  (BA2) \\(\\neg\\neg x= x\\),  (BA3) \\(x\\oplus\\neg 0= \\neg 0= \\neg 0\\oplus x\\),  (BA4) \\(\\neg(\\neg x\\oplus y)\\oplus y= \\neg(\\neg y\\oplus x)\\oplus x\\),  (BA5) \\(\\neg(\\neg(\\neg(x\\oplus y)\\oplus y)\\oplus z)\\oplus (x\\oplus z)= \\neg 0\\).  This concept was first defined in the book [\\textit{I. Chajda}, \\textit{R. Hala\u0161} and \\textit{J. K\u00fchr}, Semilattice structures. Research and Exposition in Mathematics 30. Lemgo: Heldermann Verlag (2007; Zbl 1117.06001)] and generalizes the well-known concept of an MV-algebra (implicitly, such basic algebras were already studied in the paper [\\textit{I. Chajda} and \\textit{P. Emanovsk\u00fd}, Discuss. Math., Gen. Algebra Appl. 24, No. 1, 31--42 (2004; Zbl 1082.03055)]).  In the present paper, it is shown that (BA3) follows already from the other axioms, i.e., an algebra \\((A;\\oplus,\\neg, 0)\\) is a basic algebra if and only if it satisfies the axioms (BA1), (BA2), (BA4) and (BA5). Furthermore, it is shown that these remaining axioms are independent, and another system of axioms is given, not containing the axiom (BA2) of double negation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519410$70A122BC-9DF3-4949-BD82-5A7F7B4540F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519410$A5DAA384-3E24-4742-A496-C6AF4E300BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519410$7FCDF32F-ED1D-40FC-A09E-457C7455FDC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd899ef79a123c61d91c86a311ff0ff50eadf3c0","datavalue":{"value":"5497525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519410$7FF22978-1CFC-498E-B169-10C7E35E4B25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6cb38c7aaa4d252d2b4a69c12f006441478ab9","datavalue":{"value":"basic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519410$13812270-0EE1-4AEA-A7FB-0CB8E099BB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519410$4B421036-7A92-4DC2-A928-A3AD0BDE7A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afea0ec7d9b3cb33c811902dbd81792893a137","datavalue":{"value":"independent axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519410$C4CD3CCE-8B17-4347-9ADD-0347A23F3A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a861071c8d321f0d594e00d910275224375efde","datavalue":{"value":"double negation law","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519410$18F17E40-9D2A-45B5-9E3C-DDCEA2F441BD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519410$D79D0532-1568-44EF-8F05-B9B52BE9671A","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":"Q2519410$D1F6DD6D-EA3B-4764-BF1B-7125401DFCD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be0331f80594f19b5825838e112395534419e698","datavalue":{"value":"https://doi.org/10.1007/s00500-008-0291-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2519410$7FD631EE-BBD7-49B8-8DE4-69067ADDEF02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6420fd3b8e14406de0abbf163b9a979a9cd0b686","datavalue":{"value":"W2157838804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519410$2BEF317F-F534-4C61-A2C6-5CF40881836A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b623bfd922ef6708628e523f1a1996be5ae91eba","datavalue":{"value":"Q114018148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519410$B78BA60A-E369-4FF7-85BE-B29B15BCE8EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a705aa91097f7bf29848c478af91e964c5f51fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5389213,"id":"Q5389213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519410$312E2644-B72C-4BE9-BD7A-D77124D47B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04071e48f13230e20a02f67cb76034285cda11ae","datavalue":{"value":{"entity-type":"item","numeric-id":4955609,"id":"Q4955609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519410$011892E4-E978-483D-92CE-8463EC20C068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8763e85803c057ca7ce0006130aa6de64c46d946","datavalue":{"value":{"entity-type":"item","numeric-id":4664896,"id":"Q4664896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519410$BED110B9-436B-4FE8-A54A-709B2A280595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffef5a22754b9114517e63cda5c127895ce0aec9","datavalue":{"value":{"entity-type":"item","numeric-id":2426166,"id":"Q2426166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519410$DCBB476A-5B75-4284-A8A0-563A0021EB51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c7c1002b0e11177686546814ef82543c0146461","datavalue":{"value":"10.1007/S00500-008-0291-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519410$C9EC48E6-4A1F-4C16-8BAC-4D67F7192575","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3e541b208444f9f881df290f9348bf4bfb1cbc","datavalue":{"value":{"entity-type":"item","numeric-id":4806615,"id":"Q4806615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a8a9a668842230b477baeb866cf7273e1b958f","datavalue":{"value":{"amount":"+0.91005933","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":"Q2519410$F213874B-3C42-469A-B875-26F2E94936ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca28ff6aeee1ee873dac7fea4d4444e03202554","datavalue":{"value":{"entity-type":"item","numeric-id":4905680,"id":"Q4905680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10d69076a4a62d4f7f55c7e9ace8e87958fe1c7","datavalue":{"value":{"amount":"+0.9069919","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":"Q2519410$B75D20F4-FE73-467C-82DE-9A79DAB7AA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993acd6b6f743d83ed359e0ca21d31700ef952d3","datavalue":{"value":{"entity-type":"item","numeric-id":1891269,"id":"Q1891269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792709e4938bf68ed32881a7b4b702ec7bb5a52a","datavalue":{"value":{"amount":"+0.8900725","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":"Q2519410$FA63E80C-F746-4F87-B00E-11B52CC21EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7df261d1ef2c87144cd052ef10dd81a4aaa31459","datavalue":{"value":{"entity-type":"item","numeric-id":4520391,"id":"Q4520391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792709e4938bf68ed32881a7b4b702ec7bb5a52a","datavalue":{"value":{"amount":"+0.8900725","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":"Q2519410$AA060EE3-6AD4-4849-9AB6-2682BB9B38AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973e1a48a31ddcb74302e8716182255196ef61d7","datavalue":{"value":{"entity-type":"item","numeric-id":3567761,"id":"Q3567761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a492c143c15142873d814bb765beced5fc69cd55","datavalue":{"value":{"amount":"+0.8879771","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":"Q2519410$325BBE25-EDD6-481A-AB25-907602F0EF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed86c63c2e33d854f126a08a31d642e611b02742","datavalue":{"value":{"entity-type":"item","numeric-id":3035477,"id":"Q3035477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de6e29f0c45a3ee6638005e949f9de347a4d685","datavalue":{"value":{"amount":"+0.88359654","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":"Q2519410$C1CC48DE-9A0B-42C3-AAB8-C2B84032405F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457be13ab461313e101416b50b43e721fa5c7ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5468144,"id":"Q5468144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e139d154d449a907a19c5abf910df8440d067dc7","datavalue":{"value":{"amount":"+0.8833742","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":"Q2519410$9171CE78-B740-4ABB-AFF6-58D0DD8C19BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f75b1f7b0d7793a948622625783a427f9dfd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4841058,"id":"Q4841058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e41767d65adc6f4d40493ba11c673c3dac40e95","datavalue":{"value":{"amount":"+0.8829613","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":"Q2519410$E810DD21-02B9-4E7F-ACCB-4F6D8813D5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828ebbbad397adb9033a317bb7eca409ba179cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4735164,"id":"Q4735164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c81537728f8f9ad29e83de1dffd456e06b1045d","datavalue":{"value":{"amount":"+0.880832","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":"Q2519410$3FA55FEA-4CC6-4A1C-AA99-DAAB179E6502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5405dd9f80e44aafffe94813f35ae0f27cb6b1","datavalue":{"value":{"entity-type":"item","numeric-id":3237140,"id":"Q3237140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1f03f55de375ff7e98ae19ca2791f4dd33c79e","datavalue":{"value":{"amount":"+0.8793564","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":"Q2519410$F0BEF5DD-6C48-4422-961E-CA096C478DAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence of axiom system of basic algebras","badges":[]}}}}}