{"entities":{"Q2468920":{"pageid":2479663,"ns":120,"title":"Item:Q2468920","lastrevid":50263793,"modified":"2026-01-13T16:48:14Z","type":"item","id":"Q2468920","labels":{"en":{"language":"en","value":"Order-reversing involutions and lattices with residuation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5231252"}},"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":"Q2468920$06384018-9B5B-4D30-AFA5-6D353B8A02B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cca0b9e54806ca17697e126780f1b5af06c87fd","datavalue":{"value":{"text":"Order-reversing involutions and lattices with residuation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2468920$BD9B960A-849C-4FF4-B76E-B2F7765BB98F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9ad0236865bf59afb8d5f3655bf03da57e54b07","datavalue":{"value":"1137.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468920$FA023599-83BC-48F8-ADA0-455E6FA6A601","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a1c0767586802affaa4004db8368cd72a5e8644","datavalue":{"value":{"entity-type":"item","numeric-id":292832,"id":"Q292832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2468920$EE4EB994-50C1-4671-9BBC-DEAE874CB5A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0880aa7dda3bbf22b991349876cdfc0e33b32d5f","datavalue":{"value":{"entity-type":"item","numeric-id":164177,"id":"Q164177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2468920$703E8976-541A-48DB-94E9-7AB44CC390A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b80f2db475e02b6d953b62efc1e9f2803126ac8f","datavalue":{"value":{"time":"+2008-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2468920$DB58C301-8E8F-41A7-B4F8-18772F185723","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3eda8ce269b3e0171ae922aa165b0b6e1fb827a4","datavalue":{"value":"The paper under review deals with relationships between residuated lattices and Hutton algebras (fuzzy lattices). The author seeks answers to the following question. Given a complete lattice \\((L,\\leq)\\) with an order-reversing involution \\('\\), does there exist a binary operation \\(\\ast\\) such that \\('\\) is determined by the implication \\(\\rightarrow^\\ast\\) associated to \\(\\ast\\) (in the sense that \\(\\alpha\\rightarrow^\\ast \\perp = \\alpha '\\) for each \\(\\alpha\\in L\\))?   An analogous question for bounded chains has been considered by \\textit{F. Esteva} and \\textit{L. Godo} [Fuzzy Sets Syst. 124, 271--288 (2001; Zbl 0994.03017)]. As a main result (Theorem 3.4) a technical answer is given. As a consequence, in the case of completely distributive lattices with an order-reversing involution \\('\\), a necessary and sufficient condition is given for the desired residuated binary operation \\(\\ast\\) to exist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2468920$8FA3CDF9-0A39-4383-97E2-205BA9B27262","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce7354067e3e4f96b05bf145b3ce0810909d0c89","datavalue":{"value":{"entity-type":"item","numeric-id":169660,"id":"Q169660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2468920$8264A8E3-0549-45EB-9A15-5F58D3E32A95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"08ff37085da1bb248e1e5dc7e77aec603b6cf16a","datavalue":{"value":"06D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468920$DD920837-469B-44AE-922D-71F8896C969C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468920$F5BE1B24-086A-4EED-85A2-1C4024E2DE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468920$54AEC55D-3238-46ED-9597-B6000FF02AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6db1828dbb3c08eb1952bb1f3c77d2df0622014","datavalue":{"value":"06D72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468920$6BC61CD5-6492-4087-9CE0-F1EF82AAB193","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3243a7cdad3f248477defa2ab39cb4153259408f","datavalue":{"value":"5231252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468920$1AD5C71F-74CE-485A-B383-9A7D5D69F843","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc10ca6fd2fc7a991e595b898fedefcb84194a79","datavalue":{"value":"Order-reversing involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2468920$11409C44-3D27-4B17-B406-F71FE8CA62EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2468920$30086D97-BE30-410E-A486-C78E309CC0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2468920$313C16E0-D2CC-428D-A9C2-D31F521F0FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bc975018bd9860a0f02ad3ddca26041d21fc37","datavalue":{"value":"completely distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2468920$328E7F2D-6F16-47DE-AA97-F4D2CAFCB372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17e06bb6f13d5f80292563a4ce12027112d6c52","datavalue":{"value":"Hutton algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2468920$6EBDD02F-1AA3-499A-9636-22B3177E8C9E","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":"Q2468920$7196F25E-9F43-4A89-BC4B-0273CEEB3898","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ad852a53ff799f22fb217a1076efdaae5e108f","datavalue":{"value":{"entity-type":"item","numeric-id":3421013,"id":"Q3421013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25ade11350eb0a3e7bbe81a3601463c46ecfcf3","datavalue":{"value":{"amount":"+0.7729343175888062","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":"Q2468920$B57AC016-4028-4A1D-A998-94FDA2E96DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a93c3b62de4fcd519a1f76f4e94ab855b3261ee","datavalue":{"value":{"entity-type":"item","numeric-id":5291409,"id":"Q5291409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f871a678877ad302b9769b21cd413da6d86ee3","datavalue":{"value":{"amount":"+0.7607945203781128","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":"Q2468920$42F26A0F-ABA1-4A58-B9D7-005CDD9DBBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937b93b076862a61a35d89eccdd39c5d6a8d6343","datavalue":{"value":{"entity-type":"item","numeric-id":466876,"id":"Q466876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d755568b6d19d71e2c84daf048f23af2aa6db07","datavalue":{"value":{"amount":"+0.7524418234825134","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":"Q2468920$76E2680A-9956-4017-BE9A-A53F048F8D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fce4c1c694e53febd7084ce20810e4cf8e52b87","datavalue":{"value":{"entity-type":"item","numeric-id":879018,"id":"Q879018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e135298824c9f27e6cee0a3be158c9592305147","datavalue":{"value":{"amount":"+0.7498117089271545","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":"Q2468920$D35E7439-AD76-497A-A3C0-C62ACE32EE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86da1a671779a37729ba085deeeb91dcdc821833","datavalue":{"value":{"entity-type":"item","numeric-id":5696168,"id":"Q5696168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46bd67871501ddcd2188c22d37f1af95fece442","datavalue":{"value":{"amount":"+0.7417418956756592","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":"Q2468920$95F0E90E-025A-42D9-A5A3-3A7188FE7B9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2468920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2468920"}}}}}