{"entities":{"Q2496161":{"pageid":2506904,"ns":120,"title":"Item:Q2496161","lastrevid":49876264,"modified":"2026-01-11T12:56:58Z","type":"item","id":"Q2496161","labels":{"en":{"language":"en","value":"Cancellative residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5040231"}},"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":"Q2496161$D35DB7FC-58D0-4F72-A364-466799D69E5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8b4ffc9a5940bc835ab5f81c7a87cc146cf3f95","datavalue":{"value":{"text":"Cancellative residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2496161$EC925F13-A472-49EA-80DA-4978043BF20D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b6b75e783e39d9c58db146d9480bc11d9ba379b","datavalue":{"value":"1092.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496161$152A77F8-BF82-4689-A47C-BAF57E8163A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496161$BC9A7AF3-EBAE-460D-B4E3-509E98E8D612","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496161$2A97EFE7-06CE-436C-BBEA-CF0D9DA49651","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695354130dab3a786d23413cb8a043a7f99b90ed","datavalue":{"value":{"time":"+2006-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2496161$1C0F281E-332B-4B0F-8F3A-96B87090CA73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e21ab68bd97756fdf3b813b1ed6bfca0b8cac9c7","datavalue":{"value":"A residuated lattice is a structure \\({\\mathbf L}=\\langle L,\\wedge ,\\vee ,\\cdot ,e,\\backslash ,/ \\rangle \\) such that \\(\\langle L,\\wedge ,\\vee \\rangle \\) is a lattice, \\(\\langle L,\\cdot ,e \\rangle \\) is a monoid and for all \\(a,b,c\\in L\\), \\(a\\cdot b\\leq c\\)\\ \\ iff\\ \\ \\(a\\leq c/b\\)\\ \\ iff\\ \\ \\(b\\leq a\\backslash c\\). \\(\\mathbf L\\) is called cancellative if \\(\\langle L,\\cdot ,e\\rangle \\) is cancellative. Cancellative residuated lattices are a natural generalization of \\(l\\)-groups. In sharp contrast with \\(l\\)-groups, the lattice reduct of a cancellative residuated lattice need not be distributive, in fact, any lattice is a subreduct of some simple, cancellative, integral residuated lattice. MV-algebras and BL-algebras are both particular cases of bounded commutative residuated lattices. Generalized MV- and BL-algebras are introduced as residuated lattices satisfying the identities \\(x/((x\\vee y)\\backslash x)=x\\vee y=(x/(x\\vee y))\\backslash x\\) and \\(((x\\wedge y)/y)\\cdot y=x\\wedge y=y\\cdot (y\\backslash (x\\wedge y))\\), respectively. The existence of lattice bounds and the commutativity assumption are dropped. It is shown that \\(\\mathbf L\\) is a cancellative integral GMV-algebra if and only if it is a cancellative integral GBL-algebra if and only if \\(\\mathbf L\\) is the negative cone of an \\(l\\)-group. Let \\(\\mathcal L\\mathcal G\\) be the variety of \\(l\\)-groups and \\(\\mathcal L\\mathcal G^{-}\\) the class of negative cones of \\(l\\)-groups; similarly, for any subclass \\(\\mathcal V\\) of \\(\\mathcal L\\mathcal G\\), \\(\\mathcal V^{-}\\) is the class of negative cones of members of \\(\\mathcal V\\). The authors prove that \\(\\mathcal V\\mapsto \\mathcal V^{-}\\) is a one-to-one order-preserving correspondence between subvarieties of \\(\\mathcal L\\mathcal G\\) and \\(\\mathcal L\\mathcal G^{-}\\), and finally they show how the equational basis for \\(\\mathcal V^{-}\\) can be found given the basis for \\(\\mathcal V\\), and vice versa.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496161$01617286-3FAB-4CED-A7D6-4AEBF2D022F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496161$75981252-DCED-4E0E-BBFF-44B568849C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496161$BD058DD4-8F10-4D9D-93E7-F59E7F3AB45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496161$0F376B54-75EA-4F7A-A9BB-E2FE4B472B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496161$86946638-2DEF-4B6C-9F35-053E1C223327","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acfdc290a83443eac18be07ea769d5333cc2c02e","datavalue":{"value":"5040231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496161$C6633A1C-0C66-4144-9FA2-CC8D7E774C5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d5b381ee74d48aa82517e62584f6ebb94606c8","datavalue":{"value":"cancellative residuated lattice-ordered monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496161$B8F5ABEE-15E1-4AC2-90D3-E2FA38F2CEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2c913261cb8291b56ee6461aae9241f302c889","datavalue":{"value":"subvariety lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496161$367538E0-B582-47C2-9072-6BD58047A276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51687e5d4dfd30c4699083fa2b37e7d7c1328c6f","datavalue":{"value":"generalized MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496161$19887CFA-E2A1-4328-BC64-D498ABCDCEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a74079778e69059484cf6ddfdb3244d359889b","datavalue":{"value":"generalized BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496161$99AEE0F9-2497-4F16-9FA3-2A353BD8CBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121877ed385c486d349f440a65363ed41e27a7ff","datavalue":{"value":"negative cones of \\(\\ell\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496161$B9C7A23F-A264-4C4C-B168-8AAE1C5007D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b62080871ca60e196d84cd0e6449ba4867ed84e5","datavalue":{"value":"equational bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496161$0F2EF234-3963-4C4E-BE79-FB740F7802D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d79fb28b88f54689a9e3fddad2889a083a7e5476","datavalue":{"value":"categorically equivalent varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496161$EF0CF909-38FC-4B73-8D28-0D938186F672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c38eb18dfbed9f968493a158f2b5219ae7ccf1b1","datavalue":{"value":"lattice reducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496161$B0754520-0088-4BCD-A220-46CEA8CD750D","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":"Q2496161$D2C2EECF-131E-448F-9DCA-B26B2B63F071","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"217147879ffa8cec826b9326f11cd9f43cc63922","datavalue":{"value":"https://doi.org/10.1007/s00012-003-1822-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2496161$7EC10B93-87E3-437F-AF94-AA982BD357A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ee16d81ebb1330ff691401997b8e08d07f30c72","datavalue":{"value":"W2057500258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496161$4FC37981-CB76-42AC-B279-83FC4448652F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef039b7144bb9a95a07c5f7f7d2bbebdb5881d14","datavalue":{"value":"10.1007/S00012-003-1822-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496161$AC29CA2A-4296-4755-AB68-E47AB241D13E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6eff4f944b1f9ec6b1aa72395415a82843c0925","datavalue":{"value":{"entity-type":"item","numeric-id":607457,"id":"Q607457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5797c92b70e07f08e69bad7f75c8191224e8055","datavalue":{"value":{"amount":"+0.8554598093032837","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":"Q2496161$CAE35E9C-2090-4B6D-9FAD-311C5C52BA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c93c783d1f69890116ffdace6b6955bd46efcd","datavalue":{"value":{"entity-type":"item","numeric-id":4786332,"id":"Q4786332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"543640624cd6570e4d2b684c1573b042edc526cc","datavalue":{"value":{"amount":"+0.8311532139778137","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":"Q2496161$31D57DF0-BE14-4B6B-9A9E-E2C31A8D7350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4cb0fbfcd1643a45db1a2eb3b40a460fb608c0","datavalue":{"value":{"entity-type":"item","numeric-id":5693620,"id":"Q5693620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19a02a0602a5d85bdf92c8c77a5b372340cc2f9","datavalue":{"value":{"amount":"+0.8181866407394409","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":"Q2496161$098CC3EF-6AF5-4B41-924D-A9D14DE1F0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbf33a1935c8cedaea4dcf7bf15966d55fe1893","datavalue":{"value":{"entity-type":"item","numeric-id":1035670,"id":"Q1035670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b2d14a5a8d1e8f93dbccab53d3acccc81571ae","datavalue":{"value":{"amount":"+0.8052250146865845","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":"Q2496161$C0315DB3-03AC-484C-BE7E-D33995D91B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a86d02fe7dc16bc9458656c2859f498d2156fa15","datavalue":{"value":{"entity-type":"item","numeric-id":4652990,"id":"Q4652990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a763f6b0adad25324aa048000c36cd225dbdc43","datavalue":{"value":{"amount":"+0.7939540147781372","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":"Q2496161$ED7477B0-D5C6-4D46-9B71-777ADD51E827","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2496161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2496161"}}}}}