{"entities":{"Q2450645":{"pageid":2461388,"ns":120,"title":"Item:Q2450645","lastrevid":74359251,"modified":"2026-04-14T19:43:39Z","type":"item","id":"Q2450645","labels":{"en":{"language":"en","value":"Involutive uninorm logic with the \\(n\\)-potency axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6295495"}},"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":"Q2450645$B4FDA3A7-1515-4614-860E-82B6B6A759FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4cabeaca82e8cbbbfbf1d475718e16e7d412403","datavalue":{"value":{"text":"Involutive uninorm logic with the \\(n\\)-potency axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2450645$9EDE0C05-141D-4F53-8C2B-650BADD9557B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44543a24e2592614bfafdca21795423a1c009345","datavalue":{"value":"1307.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2450645$96BA6351-AC35-4128-833A-0076401AF583","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2450645$368BF03C-021A-4247-BAD3-EA1C136C9F51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c152340ac0b0636b94de35321a7f88ea26a273d9","datavalue":{"value":{"time":"+2014-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2450645$1E2A7D39-ADB7-4AF2-A6DE-51CB618DAC32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ba731cab8ab78e49caab07e953093b7ef728e0a","datavalue":{"value":"Uninorms are binary operations in the real unit interval which make it into a commutative ordered monoid. The involutive uninorm logic IUL has an algebraic semantics given by the class of all chains among the commutative residuated lattice-ordered semigroups over a bounded lattice.  The author proves the standard completeness theorem for \\(C_n\\)-IUL, i.e.\\ the axiomatic extension of IUL by the \\(n\\)-potency axiom \\(A^n\\leftrightarrow A^{n-1}\\). That means, he proves that already the class of all those commutative residuated ordered semigroups over [0,1] gives an adequate semantics for \\(C_n\\)-IUL, which satisfy the \\(n\\)-potency condition \\(x^n = x^{n-1}\\) for the iteration of the semigroup operation. To reach this goal, he generalizes some methods for the construction of left continuous t-norms to uninorms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2450645$9ECE97AC-C016-44D5-836C-60985CFAE53D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2450645$8DA6D7F3-86ED-41DA-B1A7-B46DC953CD1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2450645$CE5A83EA-8BB1-470B-AC73-2399ABD26404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2450645$42FEBC0B-EC16-466A-9E47-79668ECCC452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2450645$2B6D9862-BD06-4EC4-BCFB-48AE3B8968DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e946327bdf49ea4794f18521185f57e51dff96d3","datavalue":{"value":"6295495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2450645$31A48463-6594-43FB-A8A4-D43B4DEF4BB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2c79c8682fbe274fc16872eded01e22ad6da24","datavalue":{"value":"fuzzy logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2450645$400E73EB-B03A-4E24-AAC4-B9883DD206C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82905d4f26f4e05e0c4181fbe196c437c7c3268","datavalue":{"value":"uninorm logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2450645$52507055-1E48-432E-89A0-BA508FC2DC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11207872cc31823b6ef56524d249f2fbcc85fee2","datavalue":{"value":"semilinear logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2450645$A8E57946-7810-4726-911E-53F8FC438AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2450645$B34B50CE-FDCC-4392-87C0-798EA7E6933B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84b385a1fdb49956580fe68f3fd28810f7cb231","datavalue":{"value":"standard completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2450645$58F45B56-03CA-48C1-9AA2-4260579C7288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"473867f47b79e3c9ff3812039308377dd64bd4ac","datavalue":{"value":"\\(n\\)-potency axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2450645$01547D7D-6E68-49E1-A9C2-8D912E63F247","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":"Q2450645$91C20DF2-66C5-4C41-BECD-A17B0730C6EA","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":"Q2450645$C81539EC-121C-4480-94CA-88F7EBC109F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9620f544820f65f868746c0ad866944c472b7de","datavalue":{"value":"https://doi.org/10.1016/j.fss.2012.09.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2450645$0D00927D-58D6-4194-BB46-ECC38D06B22E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cd4fdc0a05c88303c6ba92161c427e893ba82f0","datavalue":{"value":"W2039022935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2450645$8EAB5E6C-6584-4564-AC73-6A15C925FEBF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"21a2ed1838dcaf3d01e8321039854503cc7c0934","datavalue":{"value":"Q59306549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2450645$7C611657-42B7-4A18-B93F-2A9CCCC078BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4167ed626a656c3e7812fa64e533b65c18f9e567","datavalue":{"value":"10.1016/J.FSS.2012.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2450645$E6642DB4-5BCF-4A42-8CA8-D791A1CE05E7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9538f82b30f731e79bb98b90b92652ba75fceda8","datavalue":{"value":"journals/fss/Wang13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2450645$50FDD2AE-022C-484A-9310-D41EC74E8845","rank":"normal"}],"P1643":[{"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":"8adffb36eca277b8062043e6d1ea1b1a296f5549","datavalue":{"value":{"amount":"+0.9654808","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2450645$21F42BA7-B419-43B9-9314-DF108B5DADA1","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":"48f2e06af80270a7b6121efbb7e0c214249dd697","datavalue":{"value":{"amount":"+0.9242506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2450645$C7F11D29-828F-43A7-AF0F-B17F07A710B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47ccfafe408b944630ded75a9b5d50c98fc9fc9","datavalue":{"value":{"entity-type":"item","numeric-id":2700813,"id":"Q2700813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fe5acbd2fbebf45832356d1f8a5e508ac547f8","datavalue":{"value":{"amount":"+0.89835536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2450645$3412A7D2-0075-4108-9BA6-62A2FE109DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d1682873a335287479f743d7fec28c38472c66","datavalue":{"value":{"entity-type":"item","numeric-id":558444,"id":"Q558444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb609b5ecd299e2fd1908957042ca14bdaca172","datavalue":{"value":{"amount":"+0.8758636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2450645$282BA142-D568-4D33-A574-DC5A294D74E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9638643072faff1c89f8b49af52f812e7ffd81","datavalue":{"value":{"entity-type":"item","numeric-id":4666943,"id":"Q4666943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63323e1c5cdd6bbb313c58987039b43296f3a959","datavalue":{"value":{"amount":"+0.8742118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2450645$D3D07C6A-D9EE-4001-B3FC-9F3229F4AC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d2aa691b101ec6306ff84aa967c5cf2fe440f8","datavalue":{"value":{"entity-type":"item","numeric-id":5704807,"id":"Q5704807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107c3fa4b37b65378019dc255eca2c03d9ffeb1e","datavalue":{"value":{"amount":"+0.8718991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2450645$04F557A1-D74E-48C9-BC87-B4F080165C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea9eeaef59fef824a1cc67c10e673d755df4765","datavalue":{"value":{"entity-type":"item","numeric-id":6485187,"id":"Q6485187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b96c39364f4d188e22e513f110ad0f2d380f177","datavalue":{"value":{"amount":"+0.8698511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2450645$6E1EBFF2-9EAE-4DE2-B286-4E028CF521EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a404614825300543eeb61f3162411d21ce194a9d","datavalue":{"value":{"entity-type":"item","numeric-id":5221578,"id":"Q5221578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a0181d2773cf2fd9e351a1c20d3cb35dcc6877","datavalue":{"value":{"amount":"+0.86955464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2450645$0E2832A1-7CA7-4C42-9B61-0263EA429477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbc399e8874c597f0cb83a43b17314d1031c9aa","datavalue":{"value":{"entity-type":"item","numeric-id":2335051,"id":"Q2335051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5751ae25af7c1eefb7b2cbae9c8d2b749c943427","datavalue":{"value":{"amount":"+0.8689678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2450645$8F3C287F-80D7-49EF-8064-615BC2B67D85","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":"2fee818b128b8f4cb0f63ce2e773657365c3f6c8","datavalue":{"value":{"amount":"+0.8686556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2450645$E4A42DC6-86E5-46A8-9E5F-B2A40FFA5A9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Involutive uninorm logic with the \\(n\\)-potency axiom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Involutive_uninorm_logic_with_the_%5C(n%5C)-potency_axiom"}}}}}