{"entities":{"Q937262":{"pageid":939110,"ns":120,"title":"Item:Q937262","lastrevid":65482098,"modified":"2026-04-12T02:53:25Z","type":"item","id":"Q937262","labels":{"en":{"language":"en","value":"On bounded lattices satisfying Elkan's law"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5314438"}},"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":"Q937262$2AEF82D4-6905-4953-ADAC-824D8BB9DC67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"385cc4a91f17858c8be93ecaefbf6fcee4fa1d51","datavalue":{"value":{"text":"On bounded lattices satisfying Elkan's law","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q937262$1CEFC41F-B7F7-4320-B0A0-51EAC23F1053","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a125e27976e7862207d0f633fa7ee1fada8fcd53","datavalue":{"value":"1148.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937262$6DA8645F-FA43-4742-A27E-129A53B055A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209cefe6a0eff535f4f35c7d031fafe4337e548f","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937262$FF83A4B6-6D2E-483E-8678-9D8A78BB9429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9a94b2b588b05fc24c55d6d62bec489948e41cf","datavalue":{"value":{"entity-type":"item","numeric-id":202029,"id":"Q202029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937262$43D14E7F-F474-4D2B-843A-26E44BC9FA4F","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":"Q937262$7C8EBEC7-5588-41DE-BD3D-F442702F46CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba0ef11ca09d43284a43252115c6ec66468ef790","datavalue":{"value":{"time":"+2008-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q937262$7FF63A8F-7434-4046-A682-A6BFA0C04F09","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cca250b45d88d4b982c6947137509106dfd5d41b","datavalue":{"value":"Let \\(\\mathcal{L}=(L,\\cdot, +,0,1)\\) be a bounded lattice. A unary operator \\('\\) satisfying the conditions \\((c_{0})\\) \\( 0'=1\\), \\((P_{1})\\) \\( a\\leq b \\Rightarrow b'\\leq a'\\), \\((P_{2})\\) \\(a''=a\\) for all \\(a,b\\in L\\), is called a pseudo-complementation by \\textit{E. Renedo, E. Trillas} and \\textit{C. Alsina} [Soft Comput. 8, No. 1, 71--73 (2003; Zbl 1075.06006)]. A bounded distributive lattice \\(\\mathcal{L}\\) with pseudo-complementation that satisfies \\((D_1)\\) \\( (a\\cdot b)'=a'+b', (a+ b)'=a'\\cdot b'\\), (NC) \\(a\\cdot a'=0\\), (EM) \\(a+a'=1\\), (OM) \\( a\\leq b \\Rightarrow b=a+a'\\cdot b\\), is called an orthomodular lattice. Renedo et al. [loc. cit.] proved that all de Morgan algebras and orthomodular lattices with Elkan's law (EL) \\((a\\cdot b')'=b+a'\\cdot b'\\) are Boolean algebras. This result means that Boolean algebras are characterized by the class of all de Morgan algebras and of all orthomodular lattices with this equation. In 2004 they proved that every orthocomplemented lattice (a bounded lattice with pseudo-complementation that satisfies also \\((c_{1})\\) \\( 1'=0\\)) with (EL) is a Boolean algebra. In this paper, the authors present a stronger result: any bounded lattice satisfying \\((c_{1})\\) and (EL) is a Boolean algebra. This is a new characterization theorem for Boolean algebras in terms of bounded lattices. Finally, the authors remark (using an example) that the class of all bounded lattice with (EL) is different from the class of all Heyting algebras, in spite of the fact that any Heyting algebra with \\(a=a''\\), which is equivalent to \\(1'=0\\) under (EL), is a Boolean algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q937262$F052907E-8BE0-48BA-AE23-E218AF966486","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937262$FCBAAF34-8B08-45BC-B502-6BBB3A33F91E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937262$E35B5E11-D56A-483C-8F77-B9326310F745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937262$4FB3BC6A-5883-402E-ACE4-A7B5D166E853","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39e4c1efe8ee4a82fe5bdcf4c81cd494e746735e","datavalue":{"value":"5314438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937262$641C4D2F-8505-4A06-943A-1199231D739B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7021acd2cb46d1c8cc46a885b36dbefb6828cb0","datavalue":{"value":"orthocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q937262$8897CC36-06A7-4880-B97B-266A27014FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa46a78b1926f97a730a8821753d2faddded0f9","datavalue":{"value":"Elkan's law","type":"string"},"datatype":"string"},"type":"statement","id":"Q937262$8D32C5D1-0FDF-4882-8F0A-424DC3EC0F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q937262$D97AC776-1A5A-4D63-BE5F-97AC9002EB77","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":"Q937262$DF6126F3-22D0-48AB-8949-0E118312901F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86e796d5ebfd87190cfc542935f2b143ab39929c","datavalue":{"value":"https://doi.org/10.1007/s00500-007-0270-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q937262$6CBC7483-5CA4-4F4A-AB65-AF54742C0823","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b021a16a0ee4f416261b62b820b6d7bebe91111","datavalue":{"value":"W1974855089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937262$323DE938-0813-42A2-8927-4ACD7C2262E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8426399063b747f6e6f31d06a38536b5fd60b22a","datavalue":{"value":{"entity-type":"item","numeric-id":3222894,"id":"Q3222894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937262$3987BE67-9E2B-4428-8E40-28D62827E1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90979d673d2d85572d417bec7cfdc6e0909075e8","datavalue":{"value":{"entity-type":"item","numeric-id":558210,"id":"Q558210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937262$FE49DD56-6E0D-400F-A9D8-D1CEFAE4D257","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"770b6cc292cc751e4f67c40fc06e40047e0acaca","datavalue":{"value":"10.1007/S00500-007-0270-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937262$B32A574C-B4AA-453A-A32F-5772B04ADDCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03bd3dc98c96cbe923b0afbbf12ee940bc4ed790","datavalue":{"value":{"entity-type":"item","numeric-id":558210,"id":"Q558210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf8fdd1c267669e12a321d22f06a6db6698b158","datavalue":{"value":{"amount":"+0.8469867706298828","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":"Q937262$1B5C9EF9-E24B-4C81-B80A-30FA11B32688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618d4978740cad8efc108300e27392e3f14d02d7","datavalue":{"value":{"entity-type":"item","numeric-id":432196,"id":"Q432196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5924f45ce0b8b7c21b08742b972f93e71b3cceba","datavalue":{"value":{"amount":"+0.7443057894706726","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":"Q937262$66C9E0A7-0422-4A61-907C-0F48FDF00DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228ba4accb52ba22b1d301d381818fff1254fbb5","datavalue":{"value":{"entity-type":"item","numeric-id":2794184,"id":"Q2794184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec36945a2268baf2d8c1a6d070d5c7534c8d2d0","datavalue":{"value":{"amount":"+0.7429596185684204","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":"Q937262$63FA1281-4571-48B5-B68A-676BB30A8FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a07f8994276c6a1140238a5f9a928dc2db86d65","datavalue":{"value":{"entity-type":"item","numeric-id":4582649,"id":"Q4582649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc964e64408e8e71c20ee62db50ba8ae44a95df","datavalue":{"value":{"amount":"+0.7424490451812744","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":"Q937262$3013851E-F116-48CE-9A62-447CAEA4D15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed93c9b1d74be85c167b10a40bc40c6a1e156223","datavalue":{"value":{"entity-type":"item","numeric-id":5124566,"id":"Q5124566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05c3e4ec670f2361ca5ef6530f2a80c20c3cf8d","datavalue":{"value":{"amount":"+0.7409431338310242","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":"Q937262$A70CC23C-2417-4DC1-B2EA-CF4380B32C6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On bounded lattices satisfying Elkan's law","badges":[]}}}}}