{"entities":{"Q763311":{"pageid":765160,"ns":120,"title":"Item:Q763311","lastrevid":64193445,"modified":"2026-04-11T18:15:23Z","type":"item","id":"Q763311","labels":{"en":{"language":"en","value":"Compatible operations on residuated lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013473"}},"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":"Q763311$F4076ED2-5835-4099-B4C1-2CBA71C504A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5754f0e85f5e65144c4fd28a4e1658dfcb30f23","datavalue":{"value":{"text":"Compatible operations on residuated lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763311$2C582F09-AAD8-4B68-B670-696EDFA7C1F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6284529640c19fcd6c98d192ae79190fa36ad413","datavalue":{"value":"1239.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763311$E7F69DB8-DB44-4873-ADBF-BCA8FCDF679D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$A452A155-5E1D-41A0-A6C7-5D4D0E8292EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763311$DA66AB59-3BEE-403C-B542-1F35D0736BA7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8b4fe07071c809fd19fdf9166e7ea4fa3a856b2","datavalue":{"value":"The authors adopt a definition for residuated lattices in which the lattice reduct is not necessarily bounded, commutativity is not assumed either, and both the left and right residua are present. An operation \\(f\\) on a set \\(L\\) endowed with an algebraic structure is said to be compatible iff every congruence of the algebra \\(L\\) is also a congruence of \\(L\\) enriched with the operation \\(f\\). Compatible operations on residuated lattices translate into compatible connectives in the associated logical system. The authors show that the variety of residuated lattices is locally afine complete, that is, the restriction of any compatible operation on a residuated lattice to any finite subset is a polynomial function. They also study some compatible unary operations on residuated lattices which generalize frontal operators on Heyting algebras, and they give examples of equationally defined such unary operations. Finally, they discuss the affine completeness of residuated lattices equipped with some additional operators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q763311$854DC596-A5DB-4BA5-8F81-C9CB9111DDC5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6b2a766fa4580d586548716dae8fdf9871fa9222","datavalue":{"value":{"entity-type":"item","numeric-id":377477,"id":"Q377477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$511B8340-2203-491B-910C-220995EB26A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763311$B4E6D863-BA8B-4561-B684-6021F6CB2C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763311$0C7E568F-D804-447F-91FF-903530296532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763311$79861D6A-E625-4973-9993-3DEAC5B5FAE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c77bfe499fd000c1b7f7f0bbc8f0a848f5e0de64","datavalue":{"value":"6013473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763311$7F76334F-962E-4243-BB08-99EC3B4F35D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be26f9d44ad0d92e8ee0accaee91fef48bf8ab8b","datavalue":{"value":"compatible operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q763311$FA38AE0D-5768-41B0-9E33-B45DEF907C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q763311$3E14FA71-0431-4654-905C-935B911AA29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7113f078d1cf128e2037a96fad1d381a375fd7f","datavalue":{"value":"frontal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q763311$CBB6FC46-78C1-46F0-94C1-E7A57A21185B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aae77e8e2b82a5dc2fb39edee5badd3b8f12c82e","datavalue":{"value":{"entity-type":"item","numeric-id":266866,"id":"Q266866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$278D7220-E879-4518-BFF6-6F31545582F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ec376dcb7cf5125b803e313059b45ffe75fceba","datavalue":{"value":{"entity-type":"item","numeric-id":284215,"id":"Q284215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$B58A4987-E663-4307-A0E7-EC54BC111F2B","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":"Q763311$B983FCD3-716C-46F1-A6EB-1634D385F918","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9119d5fe26eb30537f596b29eae44caa937bb92f","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9333-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q763311$514C1D00-FA08-4DF9-B1BA-26E426225E08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b88940dc8b0303b2de9384abad6486370bc424e","datavalue":{"value":"W2029884971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763311$5DE096AC-C675-4668-8401-D8A2F9F68379","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$134C175A-1214-4FE5-BD60-B1AEAF5CD041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$3302BE16-B362-4404-8D0B-82066CEA472B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320513a3ba82b73e91e0cbf8ebb10423f4bc4a58","datavalue":{"value":{"entity-type":"item","numeric-id":1770605,"id":"Q1770605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$CD1D5BA4-2F86-4A8E-86F6-7FFE017155E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cb8cb927478b7bcf307eb544a22df4115a278e","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$18162C46-7BFC-4E7A-B8F0-77B855F1A1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec99d402e70e752d79b95f6b2fc2fc6eb6c27b5","datavalue":{"value":{"entity-type":"item","numeric-id":3086536,"id":"Q3086536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$6D75FC58-D538-496F-88E3-B311960F89E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff0585f9b6dd82c264b003885d2f13eb3a9d0fe3","datavalue":{"value":{"entity-type":"item","numeric-id":3643365,"id":"Q3643365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$B25F5E23-ADE5-4314-B6F4-5E93E93F34AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d17becb178336b5fdf348b81a95a35ac9eff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":3086535,"id":"Q3086535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$82F9DABF-9576-48CE-ABD3-B68ADFCACAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de332840536f381870db505612964ed89a02917","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$CF74EF8B-D10D-46F6-B4BF-90FA5C3FBB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1447146e83d8e7b4da394c0bc504ce8e67e8cece","datavalue":{"value":{"entity-type":"item","numeric-id":1240220,"id":"Q1240220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$77F67ECB-62E1-471C-988A-C7FF8629EBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$FBB1A74F-B120-4F1F-B8B4-C8DEC43E75F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$141420F2-FCAB-41FE-93FE-B462DCDE6B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5b2614e112448ba5efd623bcaf2f69f2afa68a","datavalue":{"value":{"entity-type":"item","numeric-id":4527760,"id":"Q4527760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$A9E3AC56-A208-4FEE-851D-6D14D90980FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2d458089c007c8c0c501a9472e422b5147481f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$9B340D31-DA78-4324-872E-A3E3C3C64F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0effd301bc9740561be89cd2f0dd6430b0df3860","datavalue":{"value":{"entity-type":"item","numeric-id":4463933,"id":"Q4463933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$481A9E34-E457-4689-A248-8072BF33FE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c14e5332484049924f45c44de566f49380d20e","datavalue":{"value":{"entity-type":"item","numeric-id":5445172,"id":"Q5445172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763311$13B58F17-06B3-40D6-8D3C-047FCE291DDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"587fb995280338d04d3d48b8ce4b02d5ffbfe96b","datavalue":{"value":"10.1007/S11225-011-9333-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763311$2B94715B-09FE-42DC-A5ED-51774386A513","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9d87770ac61845779d25020f5c0b174b17644f","datavalue":{"value":{"entity-type":"item","numeric-id":3643365,"id":"Q3643365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a7597cc18b73a250702ce6b48edb794b2f7ca2","datavalue":{"value":{"amount":"+0.9001570343971252","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":"Q763311$E5FCB5E8-B69D-4DE1-93A6-80417EE16FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710d7bed147800e573dc0910f2df149052f65346","datavalue":{"value":{"entity-type":"item","numeric-id":2343034,"id":"Q2343034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2575bb63677c90bce7c1fdba02126027fb6183fb","datavalue":{"value":{"amount":"+0.834907054901123","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":"Q763311$C09D067A-38C5-4F4F-B70A-D61D1BA60CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c9566761bc30cca7827b2bff9e40414fd44d03","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c854e861f4a495de8149fe6e1f0977257b2c0e32","datavalue":{"value":{"amount":"+0.763667643070221","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":"Q763311$062D6F0B-7242-465B-9927-C34E96081F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ce71f6b10b56d128db75b282e1647f94f80141","datavalue":{"value":{"entity-type":"item","numeric-id":3826625,"id":"Q3826625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ae7e0e703ad8042bfcaf12cda4b822dbc336a9","datavalue":{"value":{"amount":"+0.7561302781105042","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":"Q763311$15E4F626-4457-4D86-9C8F-40E967BF3456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3c2eb7a2f70fc82fb9867e2ee6acd6c0ee1e98","datavalue":{"value":{"entity-type":"item","numeric-id":790859,"id":"Q790859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a806b73d419ead5936474a990936bc332671161f","datavalue":{"value":{"amount":"+0.7553973197937012","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":"Q763311$12F1F0B1-B6BF-46D4-AF50-871D21C2289E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compatible operations on residuated lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compatible_operations_on_residuated_lattices"}}}}}