{"entities":{"Q2335051":{"pageid":2345794,"ns":120,"title":"Item:Q2335051","lastrevid":78584366,"modified":"2026-05-06T11:56:45Z","type":"item","id":"Q2335051","labels":{"en":{"language":"en","value":"The logic of pseudo-uninorms and their residua"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7129845"}},"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":"Q2335051$9C7A134B-8E9D-4504-B4F9-8379E8EFC685","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e68ca854badda1db6d36dfe6fa173f2a60052b77","datavalue":{"value":{"text":"The logic of pseudo-uninorms and their residua","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2335051$5C096067-780E-450E-AF64-44E1BD469581","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54bcc0775bdb519a23c149f82da8d35d6e18f268","datavalue":{"value":"1423.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335051$C14440E2-21C2-4DD9-A3AD-081F6B1D2E80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"536de48637c235d08fe3e176612e997aba7a2c18","datavalue":{"value":{"entity-type":"item","numeric-id":83462,"id":"Q83462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$4502D422-DFF9-459C-98C6-D30CB3321677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cce5560f694216ba99b4e4d50a7d9bab949bc76c","datavalue":{"value":{"time":"+2019-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2335051$11DEE7A4-FDCF-4365-A43F-1D413E643041","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9966a73cf8de9b223433ea642fe22efa6d3f40ba","datavalue":{"value":"https://arxiv.org/abs/1707.05441","type":"string"},"datatype":"url"},"type":"statement","id":"Q2335051$6C0DBE29-0A73-413F-9DAC-D4AF77E4B05D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1d67102bda693e9bd759daac025feb2a0f734fd","datavalue":{"value":"Summary: Our method for density elimination is generalized to the non-commutative substructural logic \\(\\mathbf{GpsUL}^*\\). Then, the standard completeness of \\(\\mathbf{HpsUL}^*\\) follows as a lemma by virtue of previous work by \\textit{G. Metcalfe} and \\textit{F. Montagna} [J. Symb. Log. 72, No. 3, 834--864 (2007; Zbl 1139.03017)]. This result shows that \\(\\mathbf{HpsUL}^*\\) is the logic of pseudo-uninorms and their residua and answered the question posed by \\textit{G. Metcalfe} et al. [Proof theory for fuzzy logics. Dordrecht: Springer (2009; Zbl 1168.03002)] and \\textit{G. Metcalfe} and \\textit{C. Tsinakis} [Soft Comput. 21, No. 1, 175--189 (2017; Zbl 1396.03060)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335051$53E0219C-A382-4F65-90D6-484B81B75A8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335051$D6AFC8E5-6C11-4493-99D8-D422DC355B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335051$A58596A2-B36F-4549-BBE3-106D267823A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335051$A6EB85A1-D203-4824-9EE7-0F7A0D2B3667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335051$30678EF0-4A63-4F3E-B1F1-8AB034B58C8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a19fa1cd56b86764bb6880147f9e09ed84e7b41","datavalue":{"value":"7129845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335051$4F56B47E-F0AC-45F7-B796-70C7AC989B88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d81574493566183bc84a60a64489e3d3d85b230","datavalue":{"value":"density elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335051$A527C7A8-5666-4523-93A9-4875F93B59AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2be330c72b94e75eaf2656841e6828839f75b367","datavalue":{"value":"pseudo-uninorm logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335051$BF2F3746-0937-4BDA-B3B5-44FB132E2F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2d554a3deb56342c61df0fc26314b92e675b647","datavalue":{"value":"standard completeness of \\(\\mathbf{HpsUL}^*\\) substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335051$941343F8-E749-401C-A319-8D3D9A825F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2335051$8A1161F7-F1EC-49F4-9A92-2054CD772E44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459b450f50ff9420f376ca6123d67dedc99c346","datavalue":{"value":{"entity-type":"item","numeric-id":412070,"id":"Q412070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$D5C12CFE-2395-486B-AA8F-BB97FC6C2788","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":"Q2335051$A2D6248A-8E56-408F-8A02-A13481A6218A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c20672ab70c6db26329e4bcc7bed7e76b81a28e","datavalue":{"value":"W2963441459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335051$F559DD49-76C7-414E-A85A-56B0A6D630EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$1BDF345E-8398-4576-A624-B6A5D89A963A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155840193fddbd09b9f4f686f2220e61d02fd710","datavalue":{"value":{"entity-type":"item","numeric-id":3391743,"id":"Q3391743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$EC363547-ABF0-47E5-B1F2-1ABD385CB2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b573b4d85de632d5273b87a25efc67e3f96d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2450646,"id":"Q2450646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$274A9CE7-6AE4-4406-B4D3-F997AB00A230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$5BE36DB9-C26C-467F-842B-C4130122C96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01992ba22abcea3d7a12e01e85230b0a13ec96a6","datavalue":{"value":{"entity-type":"item","numeric-id":4805679,"id":"Q4805679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$5EB1ED06-69C3-4605-890E-4CE8E5021006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1def82d1eb507c4e958e634a0bfb5203749a80c7","datavalue":{"value":{"entity-type":"item","numeric-id":1699744,"id":"Q1699744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$F345F7BB-2A07-490C-8C18-0A958E4FAFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$6B85DC5F-36CC-4B88-9BBC-679134B769E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c7441f14cd80867272d212ce0f09fd35cbd33f","datavalue":{"value":{"entity-type":"item","numeric-id":695273,"id":"Q695273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$D5F22F70-CE2B-40CC-AFF8-22AE77F26F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d12abfae0606d4328f96e653eed2c6b54d3080","datavalue":{"value":{"entity-type":"item","numeric-id":2450645,"id":"Q2450645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$18233BEC-11BB-4AE7-B676-2ED6F3945E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af79ddc601acc398c2585143ed2b809a318aa23","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$232E6022-901D-4F31-96C2-251FD49F82C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$A5F935E7-2DE4-4749-A645-06874FC32C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$5353169F-F0AB-4983-8D78-3E0BC6D6E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c13b01a6661c3de998d504c6bc19f396fe63467","datavalue":{"value":{"entity-type":"item","numeric-id":271692,"id":"Q271692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2335051$F5ABAC8F-5BF6-463C-9958-7160AE940FF1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"12cc9aed1f53750554c910aff751714551d3ef03","datavalue":{"value":"Q128226115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335051$C1F068E4-A08F-4B16-B469-8DDD82BDB50A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb72130bec93e6e327a5ab76d31ca5a0e9be39cf","datavalue":{"value":"10.3390/SYM11030368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2335051$2027CF35-A527-41F2-89CF-B4111ECB1EC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3758fa57e48d635e8efe3bc7863c4d4868014b5","datavalue":{"value":{"entity-type":"item","numeric-id":3391743,"id":"Q3391743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628ba4fa5701a674a6fa2dd127255bffbf2a412c","datavalue":{"value":{"amount":"+0.8372703194618225","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":"Q2335051$BBE0AD55-CDAF-4381-8942-69B1FBF4F7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6b1e49f9180df03ae03fc9b9937109da599721","datavalue":{"value":{"entity-type":"item","numeric-id":2450646,"id":"Q2450646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfa0577a29cf7545bd226f65ecd1ab3f77e5b51","datavalue":{"value":{"amount":"+0.8078082203865051","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":"Q2335051$F68FCD28-06F7-4380-B572-F38E9FEA9799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c59cadd48c8f5528354e3827f628130233fad733","datavalue":{"value":{"entity-type":"item","numeric-id":695273,"id":"Q695273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62ae5ff9d16e8666e53e7c2577648f80e31a10e","datavalue":{"value":{"amount":"+0.8058741688728333","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":"Q2335051$E8662006-04DB-43ED-B52B-7B2182FB6F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019a936a970050ea34bdbf80144d3a2856dc1dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2337894,"id":"Q2337894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41bed3fc047299ed9c807d4b7617b9bdc6c66bf9","datavalue":{"value":{"amount":"+0.7974969148635864","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":"Q2335051$CFC40A29-85A7-4E0C-AEFA-956773062CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364a1492ef1af0460fb7e2002f048c09458a676e","datavalue":{"value":{"entity-type":"item","numeric-id":894654,"id":"Q894654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed95feb2c5eb7a24a23d195920bd09f8a89c4dd5","datavalue":{"value":{"amount":"+0.7586091756820679","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":"Q2335051$CCA5B0B7-3601-4C43-853F-C17E9B1E9EE2","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":"Q2335051$F833DD22-4319-4198-AEAC-9A003B6C8888","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The logic of pseudo-uninorms and their residua","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_logic_of_pseudo-uninorms_and_their_residua"}}}}}