{"entities":{"Q1586841":{"pageid":1597581,"ns":120,"title":"Item:Q1586841","lastrevid":43228669,"modified":"2025-07-22T14:28:06Z","type":"item","id":"Q1586841","labels":{"en":{"language":"en","value":"Pseudo-complementation on almost distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1533399"}},"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":"Q1586841$025A24FC-CFF6-4D2D-89A6-5078FD14833C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d97adad3ee744a1cb2fb9ada9ae29472c04cbd3","datavalue":{"value":{"text":"Pseudo-complementation on almost distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1586841$67347508-D9F1-491E-B80F-17DAC5F52C98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36112b75f0adaf966db8ff618f20781bc86ee4a2","datavalue":{"value":"0982.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586841$9CBC646C-560F-45CB-8A3F-EA7A8B7CF5E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0622e4341a9f7aef575aadf67dd52fffe58b243f","datavalue":{"value":{"entity-type":"item","numeric-id":455406,"id":"Q455406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586841$EEDC33FE-06EF-4D9F-A5AD-84400EAC8CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b07e7ec411b731b6b5dc6d8103c0b7bed7bd7355","datavalue":{"value":{"entity-type":"item","numeric-id":847447,"id":"Q847447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586841$720675F1-BB8A-446E-BB2B-30D28BA5F524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82cf807b3434af145bd4998affdb58abddb44752","datavalue":{"value":{"entity-type":"item","numeric-id":787180,"id":"Q787180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586841$EF8C4AD8-BA96-4EE2-B868-6F96295ABD2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586841$FDE02046-FEA5-48DB-B0EB-A283014715C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910b748a15c45cd335bff2eb974340b10444976e","datavalue":{"value":{"time":"+2001-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1586841$D4D6953A-26B0-45B5-B02C-ED3A444B1AB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5cf3ab735c224b45b533518da71b469c187ea687","datavalue":{"value":"An algebra \\(L=(L;\\vee,\\wedge,0)\\) of type \\((2,2,0)\\) is called an almost distributive lattice (ADL for short) if it satisfies the following identities: (i) \\((a\\vee b)\\wedge c=(a\\wedge c)\\vee(b\\wedge c)\\); (ii) \\(a\\wedge (b \\vee c)=(a\\wedge b)\\vee (a\\wedge c)\\); (iii) \\((a\\vee b)\\wedge b=b\\); (iv) \\((a\\vee b)\\wedge a=a\\); (v) \\(a\\vee (a\\wedge b)=a\\); (vi) \\(0\\wedge a=0\\). Clearly, every distributive lattice with 0 is an ADL. It can be shown that every ADL is partially ordered by the relation \\(a\\leq b\\) iff \\(a=a\\wedge b\\) (or equivalently, \\(a\\vee b=b)\\) [see \\textit{U. M. Swamy} and \\textit{G. C. Rao}, J. Austral. Math. Soc., Ser. A 31, 77-91 (1981; Zbl 0473.06008)]. Moreover, if \\(a\\leq b\\) in \\(L\\), then \\([a,b]\\) is a bounded distributive lattice. Therefore, an ADL with the largest element 1 is a distributive lattice.   A unary operation \\(a\\to a^*\\) on an ADL \\(L\\) is called a pseudocomplementation on \\(L\\), if it satisfies the following conditions: (j) \\(a\\wedge b=0\\) implies \\(a^*\\wedge b=b\\); (jj) \\(a\\wedge a^*=0\\); (jjj) \\((a\\vee b)^*=a^*\\wedge b^*\\).   Main results: (1) Let \\(L\\) be an ADL with a pseudocomplementation \\(\\phantom{}^*\\). Then the set \\(B(L^{**})=\\{x\\in L:x=x^{**} \\}\\) is a Boolean algebra. (2) The class of all ADLs with pseudocomplementation is equational. (3) Having an ADL with two pseudocomplementations \\(\\phantom{}^*\\) and \\(\\phantom{}^+\\), then \\(B(L^{**}) \\cong B(L^{++})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586841$C5CB2B86-81FE-4649-B3A5-FD86A53E6F71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586841$945DFC62-7C05-4262-80B7-D86362809390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bcd11de660ba29d87868b613c6dcf47fc0cd353","datavalue":{"value":"1533399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586841$F632C9C6-771A-4B45-8E97-747C64288319","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2cd547b4eda3c821c264abfb6dfd34ffbb89365","datavalue":{"value":"almost distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586841$374BB4E8-E114-42EB-BB2E-AA876DE88F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492b82c5296cf6c6eb3130421ea4de2c0f14c83b","datavalue":{"value":"pseudocomplementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586841$2901ED2C-14E2-4713-9359-D584B1043A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586841$038E389A-7CC8-4F78-8E01-C9A190B8D756","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586841$5F55F9D8-BF70-46B6-A695-09A02439D8F5","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":"Q1586841$67585F94-6889-4D6B-922C-C41ABF3B701B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf74dbb5426f51e8b6c79d858cce7a2092d058a6","datavalue":{"value":"https://doi.org/10.1007/s10012-000-0095-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1586841$7C7F9042-0548-4181-B227-C8D5A71AA17D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8da9bf8df241e756bb68c2c7ae6d2a3d87950e2e","datavalue":{"value":"W2042936652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586841$8D26F5FD-7675-47DE-9769-5AE8A7FDFECC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"772d8224507d5bbe3e71687bf91344565b236530","datavalue":{"value":"10.1007/S10012-000-0095-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586841$D2EA5C8A-B372-4CEF-B29B-7677694CEE32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f56a1415c50b741af8847f07b42de4d596ed427","datavalue":{"value":{"entity-type":"item","numeric-id":4909902,"id":"Q4909902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1d5c3ac52a4b8dc456d5618191874d906bb1e3","datavalue":{"value":{"amount":"+0.8930235","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":"Q1586841$F1612644-85BE-4392-8243-1315AD0CC175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27667eb8b90c8269da40423663f16e92109ff626","datavalue":{"value":{"entity-type":"item","numeric-id":2948026,"id":"Q2948026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f61e6083f65fc4a7bf4e6f9dc7c493505ed7f4","datavalue":{"value":{"amount":"+0.85046285","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":"Q1586841$4899ACDF-F75B-4944-BF1B-429C5CAA37F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d5a2949b4c46d1b744569ab0f8748d286830d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3575409,"id":"Q3575409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8443dfeea884aad53e7e08cea7bb29db7414a6","datavalue":{"value":{"amount":"+0.8491332","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":"Q1586841$FD25E5BD-6D47-4957-B811-8F8B0D6498BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae8f3e77f161df1517a6ceb2ea1acb0969d35927","datavalue":{"value":{"entity-type":"item","numeric-id":1885189,"id":"Q1885189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6efd00c25b71d7490f625d68700faba8bef405","datavalue":{"value":{"amount":"+0.8286099","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":"Q1586841$9F330324-D494-40E7-B325-07E25EC52EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a6b2500b585c67b9bdece10cd1e81736a331ad","datavalue":{"value":{"entity-type":"item","numeric-id":5178364,"id":"Q5178364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8160900d463a2541f8e35a7b2358ee178a8182b9","datavalue":{"value":{"amount":"+0.82239723","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":"Q1586841$330967CA-E150-4A01-A4E3-F3EC3B9F4A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a0a2108ff3f068267e6c17a31e2dbc226533c0","datavalue":{"value":{"entity-type":"item","numeric-id":2218121,"id":"Q2218121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a9d05f62addf192407d6d0183bfa8dae6d8a28","datavalue":{"value":{"amount":"+0.8188494","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":"Q1586841$B93FDC4A-9DF7-4075-8A5F-F1E0B876D72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b32f2a279438e0d75030a3e4d7edff05732f87d3","datavalue":{"value":{"entity-type":"item","numeric-id":1879057,"id":"Q1879057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea998933bf3b10a8c8bf759198a9d1db56fdb62c","datavalue":{"value":{"amount":"+0.8144779","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":"Q1586841$2B5F95AF-83D8-4802-B433-3020AF6758E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c073780cdaa66e198fbb675591727abb7bdb5918","datavalue":{"value":{"entity-type":"item","numeric-id":377845,"id":"Q377845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd8d9f5bf1085b11a78ed79ba106080e9179bf3","datavalue":{"value":{"amount":"+0.81211597","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":"Q1586841$094ABDD7-ACDC-46A9-BE90-42C2580FA133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18472f84eb92aefedc0c140753580a0077a0c324","datavalue":{"value":{"entity-type":"item","numeric-id":4985534,"id":"Q4985534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cc514868cefd368dca09050fec7e613a6c1fc9","datavalue":{"value":{"amount":"+0.8042023","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":"Q1586841$8A3A62C2-799A-45AC-A8E9-415DA6287C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a19b0d824c44e787652120f73bd64f5bca7b739","datavalue":{"value":{"entity-type":"item","numeric-id":1728441,"id":"Q1728441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81755acc3448e9da9722df94756c92ad71a273b1","datavalue":{"value":{"amount":"+0.79982513","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":"Q1586841$9628F3FD-FC6D-41E4-B625-5879F779E698","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1586841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1586841"}}}}}