{"entities":{"Q780267":{"pageid":782116,"ns":120,"title":"Item:Q780267","lastrevid":57649509,"modified":"2026-03-31T19:08:04Z","type":"item","id":"Q780267","labels":{"en":{"language":"en","value":"Left residuated lattices induced by lattices with a unary operation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7220820"}},"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":"Q780267$340DEAA2-6C89-44F2-887E-6282C19E7592","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d999d25bcd70447310da7b10019428030249bd94","datavalue":{"value":{"text":"Left residuated lattices induced by lattices with a unary operation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q780267$81C38887-5311-4494-A5BB-DA82399C6496","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13842c8c1e454aa362ce7265a46f88f9d73ab38b","datavalue":{"value":"1457.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780267$069A2893-26B3-4078-A8DF-49DA2F6129F2","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":"Q780267$C3E5B6E2-75DB-4B31-BFB1-4EDB8B0C07AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7162e547d241b1c8d9309bd3535cff7ea502835","datavalue":{"value":{"entity-type":"item","numeric-id":190393,"id":"Q190393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780267$025E9302-5002-4A68-AEAE-446F73364CD9","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":"Q780267$6CA139AA-0D84-4CAE-B737-2A9BD1115CA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e350fc7c195d16f814c187ed9a5e8197e91de136","datavalue":{"value":{"time":"+2020-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q780267$FBC162C2-37EE-4899-A3C5-7672604913B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f38b7a260521d1bdd388e4957903fa165c397c50","datavalue":{"value":"The authors recently have shown that every orthomodular lattice \\(L\\) can be converted into a left residuated lattice with  operations \\(\\otimes\\) and \\(\\to\\) defined as term operations \\((x \\vee y') \\wedge y\\), resp.,  \\((x \\wedge y) \\vee x'\\) in \\(L\\); see [the authors, Miskolc Math. Notes 18, No. 2, 685--689 (2017; Zbl 1399.06020)]. This  result is now generalized. Let now \\(L\\) be a bounded lattice with an unary operation \\('\\) and binary operations \\(\\otimes\\) and \\(\\to\\) defined as above; then  this lattice is left residuated and satisfies the equation \\(x \\to 0 = x\\) if and only if the identities \\(x \\wedge (((x \\vee y') \\wedge y) \\vee y') = x\\) and \\(x \\vee (((x \\wedge y) \\vee y') \\wedge y) = x\\) are valid in \\(L\\). In the rest of the paper, the connections between these two identities and weak and dually weak orthomodularity in the sense of [the authors, Asian-Eur. J. Math. 11, No. 2, Article ID 1850093, 18 p. (2018; Zbl 1386.06009)] are investigated. Finally, the mentioned result is improved: with the simple definitions \\(x \\otimes y = x \\wedge y\\) and \\(x \\to y = x' \\wedge y\\), the two identities may be replaced by \\(x \\wedge ((x \\wedge y \\vee y') = x\\) and \\(x \\vee ((x \\vee y') \\wedge y) = x\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q780267$1E4FA2AF-1C5C-44D0-9625-0F86733CDE69","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":"Q780267$FCDC8CF8-82D9-4C2C-AC35-296D9796B170","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780267$1919FF25-D210-4014-B734-2659EE2137AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780267$6B667962-3C84-4C11-BB7B-08D81AA2DF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780267$B5133941-9BB5-4298-BEF0-24814115B040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780267$A304733E-0751-4CD2-8EFD-C6D24D1F8D45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c76ac040d96fe40db36d2dc88589ac4d6e9d93e","datavalue":{"value":"7220820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780267$936C6012-0B1D-4C1A-8900-5D591D897448","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7875b5617b60c12a11321922821b9be706e87356","datavalue":{"value":"left adjointness","type":"string"},"datatype":"string"},"type":"statement","id":"Q780267$F30E2903-3ECA-4CD3-8745-C3544E61BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c507a35199d84dfe3e8a360b7b2b6fce03ff70a2","datavalue":{"value":"left residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q780267$7688D9A8-07C5-407F-9131-4EB40A37DEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46619e0d617ea9e503c7894d6da0bdeec0fe0664","datavalue":{"value":"variety of lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q780267$9DBE5D73-96DC-4BD3-A9B1-98D71A4F61C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6ca5830bb196d22982f07aaf4153153c8a2a3db","datavalue":{"value":"weakly orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q780267$F13788D7-DB70-45EC-953C-63165C591F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d7bc48a2b318138f1239edefa0f9a85047b2e64","datavalue":{"value":"dually weakly orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q780267$AC3F5745-7FAB-449F-9B62-C903854591CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bd2b411df4ec5da5d4932208cc92c897b0a58e1","datavalue":{"value":"complementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q780267$C2EEEC43-630B-4E3E-8E67-E8FABF874882","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":"Q780267$B1F3500F-83E6-4610-8096-237DD4BB6659","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b05d08e0264995c6c76b14e9257aa57e5bf57f46","datavalue":{"value":"https://doi.org/10.1007/s00500-019-04461-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q780267$951E77AB-7B75-4899-92A3-BC8350BD61DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7a3f98d67aff07209af5ad03978ac40f9dede7b","datavalue":{"value":"W2988141478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780267$C7302B1D-BFFF-484D-B8C9-8E2E84FE9EC9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2bb6c256f3be009bfae9a2a168d7031bcdc0910a","datavalue":{"value":"Q126842585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780267$52A2A901-BD85-4619-AA1D-2F6AC1C5ED04","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":"Q780267$8177E993-AA04-4607-87AE-C6B53475AED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc224f98ebb98150f156e1deff157253937c11f9","datavalue":{"value":{"entity-type":"item","numeric-id":682622,"id":"Q682622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780267$6042E256-3407-4E5B-8551-A304F8127EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e480ef79890eba2bee2b5d3655306bd7f95e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2358204,"id":"Q2358204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780267$B5B9B32B-4955-40B6-8160-2BA3E7640D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb75f0da0a20fa8ad88b0bdb0e13d2822167571f","datavalue":{"value":{"entity-type":"item","numeric-id":4608380,"id":"Q4608380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780267$C4127345-A23B-4CEC-B3D2-75602E6943C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab1c555a9de49e7138fe0ee9a7b80f3f58902ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1789061,"id":"Q1789061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780267$7E16E65F-8415-4955-B064-FED8A2AF5DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869beb3679dafbcd970422148a7767ee94fa639b","datavalue":{"value":{"entity-type":"item","numeric-id":3297040,"id":"Q3297040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780267$4F726C2B-79FF-4146-8291-D65D180A1D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9eb14862565793bbcdd0c0c4e295a02bf31f2c6","datavalue":{"value":{"entity-type":"item","numeric-id":4591126,"id":"Q4591126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780267$E2F05CF4-A58E-4B61-8471-36BB520D5B8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"313a51b8b0d1b208f1a2aa72131c26e0441be690","datavalue":{"value":"10.1007/S00500-019-04461-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q780267$CA46A19D-FB73-48C5-9BC9-F7E0F8157C42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8977c04de8d72456d344b6bb9d3071e113342d","datavalue":{"value":{"entity-type":"item","numeric-id":2358204,"id":"Q2358204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc5de8976d4d4999873f667493a99f82f07e8fa","datavalue":{"value":{"amount":"+0.8097355961799622","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":"Q780267$997BA945-3A9B-47FA-A224-D55121196EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22eaff092519ccaa34a4d2349998656192cf43d","datavalue":{"value":{"entity-type":"item","numeric-id":4608380,"id":"Q4608380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f7a29026d4bd547b8a416e1a33ebff7c68bc3a","datavalue":{"value":{"amount":"+0.8059290051460266","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":"Q780267$02F40B69-FB6F-4B50-8606-C1A6C4F71BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747ed6afcac902b5af01aae9b2a2975ba5c18e42","datavalue":{"value":{"entity-type":"item","numeric-id":4631118,"id":"Q4631118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af71ede7b21f550b4341848048d024d54041d96e","datavalue":{"value":{"amount":"+0.7942526936531067","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":"Q780267$7ED63131-7C2C-4FC8-804A-43E30C46D68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f60eeedea70045c484cf86ea14136677a5f82b1","datavalue":{"value":{"entity-type":"item","numeric-id":780122,"id":"Q780122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7870132ee45ac4623343f0b6f0add96be6fcd5b7","datavalue":{"value":{"amount":"+0.7782360315322876","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":"Q780267$4920583E-48E0-4024-93A3-BFE0E78850E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d35557d869edfa6f747ee2a55cb595176370406","datavalue":{"value":{"entity-type":"item","numeric-id":2062191,"id":"Q2062191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f43164c088419fa406576349ba9040b97965b29","datavalue":{"value":{"amount":"+0.7713311910629272","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":"Q780267$D76E4359-9D85-4C2D-9BBF-BC7464D3A804","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q780267$879EB3CD-B0C8-4394-970F-822EB0F6FC94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:780267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:780267"}}}}}