{"entities":{"Q622261":{"pageid":624037,"ns":120,"title":"Item:Q622261","lastrevid":63060219,"modified":"2026-04-11T10:15:17Z","type":"item","id":"Q622261","labels":{"en":{"language":"en","value":"Distributive equations of implications based on nilpotent triangular norms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5843179"}},"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":"Q622261$4D38BAD6-6522-4C08-B658-F7AF7A374242","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"993093f17ef504b93662761884c4320b5ab744ee","datavalue":{"value":{"text":"Distributive equations of implications based on nilpotent triangular norms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q622261$4BFC79F9-F040-434F-BDE2-845CDEE3653F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5037b7b2ee92e342e984a19b4fc49226feb1d291","datavalue":{"value":"1226.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622261$D8934B4A-C4B2-40CE-8881-AE6384405499","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d183f4b33de468ab16297f08f78a356c9b17085d","datavalue":{"value":{"entity-type":"item","numeric-id":279333,"id":"Q279333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$44BF1E75-C17A-4C3D-A726-169A36975E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6a5e67eea63385624dda9dfa1e8873ea073c218","datavalue":{"value":{"entity-type":"item","numeric-id":331900,"id":"Q331900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$BE3E2634-2530-4A78-995C-9F4846B1409D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$90B461E6-6A81-40B6-AF45-CA40D37DD1B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73b85e9c834dcb39e66362ee0c7ee7d5a2b03696","datavalue":{"value":{"time":"+2011-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q622261$9BAE2980-D1F8-4725-BE05-D28E3A65DC4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1229db9250df1587bb3aad093eb03ee5598a2ff9","datavalue":{"value":"The paper deals with functional equations involving nilpotent triangular norms and fuzzy implications.  Recall that a triangular norm \\(* : [0,1]^2 \\to [0,1]\\) is nilpotent if it is continuous and such that for each \\(x \\in (0,1)\\) there is a natural \\(n\\) such that the \\(n\\)-fold \\(*\\)-conjunction of \\(x\\) with itself is \\(0\\), that is: \\(x * x * \\cdots * x = 0\\), where in the former expression \\(x\\) occurs exactly \\(n\\) times. By a fuzzy implication the authors mean a function \\(\\to : [0,1]^2 \\to [0,1]\\) that is non-increasing in the first and non-decreasing in the second variable and that behaves as classical implication on the classical truth-values \\(0\\) and \\(1\\).  In particular, following Turksen's research, the authors study conditions on the solvability of the functional equation (1) \\(x \\to (y*z) = (x\\to y)*(x \\to z)\\), by itself, or in conjunction with other functional equations, where \\(*\\) is a nilpotent triangular norm and \\(\\to\\) is a fuzzy implication.  The authors prove that there are actually no continuous implications satisfying (1). Further, under the assumption that the solution must be continuous except for the arguments \\(\\{(0,y) \\mid y \\in [0,1)\\}\\), they give a necessary and sufficient condition on the existence of solutions to (1).  The authors then prove that the system of (1) and \\(x \\to (y \\to z) = (x * y) \\to z\\) has no solutions for \\(*\\) a nilpotent triangular norm and \\(\\to\\) a fuzzy implication which is continuous except for arguments in \\(\\{(0,y) \\mid y \\in [0,1)\\}\\).  A strong negation is a function \\(\\neg : [0,1] \\to [0,1]\\) such that there is an order automorphism \\(\\psi\\) of \\([0,1]\\) such that \\(\\neg x = \\psi^{-1}(1-\\psi(x))\\) for all \\(x \\in [0,1]\\). The authors give a necessary and sufficient condition on the existence of solutions to the system of (1) and \\(x \\to y = \\neg y \\to \\neg x\\), under the assumptions that \\(*\\) is a nilpotent triangular norm, \\(\\to\\) is a fuzzy implication which is continuous except for arguments in \\(\\{(0,y) \\mid y \\in [0,1)\\} \\cup \\{(1,1)\\}\\), and \\(\\neg : [0,1] \\to [0,1]\\) is a strong negation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q622261$BD5CFF32-8FFD-4CB9-9C9C-51CB38CE3AD7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c9d8398a1ca729172ff10438ecb041a167d56eac","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$C232AE1B-45A5-4A60-83F2-3D1171FDF465","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622261$C761B657-71E6-4F80-B5DD-632BE3E1D49A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85cb8fdcce97d01e6401ed187a6ed8330dfbd4ea","datavalue":{"value":"5843179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622261$6C8F75A1-C31E-42FC-9CFF-6B9506F436A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b7d2016248b5db497856616dbd0081b9a0d872","datavalue":{"value":"nilpotent triangular norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q622261$17C57D82-2159-479D-96A6-913095015336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85ed54de5940d15882ff549000d3c037bde97a9","datavalue":{"value":"fuzzy implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q622261$CE2775E6-3D83-47EC-8884-853407769424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac1d486bd7a93c00085449c3dbf8eace4ed01ccf","datavalue":{"value":"functional equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q622261$093FE0EF-312E-40B6-8D53-0AFF3F71D45A","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":"Q622261$3B7784EA-1CAD-4415-9D56-FE8EA38B2AD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9acae8e4b11398a003b551cc7afddff25301547","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2010.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q622261$F084268D-2170-42A4-9220-75D4F1AA788D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec310bef4cdf6f32ae0b1ea8be2dfe3e85501a5e","datavalue":{"value":"W2101292580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622261$530EDF25-A09C-4CA6-A58B-555E058CAB43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"977405c1e470781be986ba6bc0ea3e8e06ec8503","datavalue":{"value":{"entity-type":"item","numeric-id":3427931,"id":"Q3427931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$950BA96C-1DA8-4F6D-B361-0C1E22C6D8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00edbee1252e70cf3147d7166f550fcf4891cc1","datavalue":{"value":{"entity-type":"item","numeric-id":4824646,"id":"Q4824646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$1743551A-A903-40B5-B63D-DBF4616A0E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e69f8bdf5859945c39f619bfa9b813d0aeed260","datavalue":{"value":{"entity-type":"item","numeric-id":4263890,"id":"Q4263890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$D8933D35-B1A7-447C-AB92-591639B88D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"154a6eefd41f2ab0c07815e827436a49acc77894","datavalue":{"value":{"entity-type":"item","numeric-id":1867699,"id":"Q1867699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$B03670A6-5610-47B1-BBF4-E59B9C4FF5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a696ac8ad6dc59df6cc093c2241b81ff5a94edb3","datavalue":{"value":{"entity-type":"item","numeric-id":4315286,"id":"Q4315286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$3ECE288D-C27F-46C6-B34B-8EA999D29556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$1F74935E-E501-4E5F-B02C-3BDE61C5141D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$93B2959E-022C-4178-9DA2-CED115C8DF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3ae29f0baf59d1bb4d227445a0a48470f8852e","datavalue":{"value":{"entity-type":"item","numeric-id":3218572,"id":"Q3218572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$812E787C-3CFA-4848-8366-7EE3CA92141C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff78053fdde1ff0352d11ba3dc4ca5ca9b3465f","datavalue":{"value":{"entity-type":"item","numeric-id":5511448,"id":"Q5511448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$16DDC093-FF70-4931-808F-DAE5CA257EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27c1e81f1d6c496ccb1e1ef48bc2a18aea2a4b5","datavalue":{"value":{"entity-type":"item","numeric-id":962647,"id":"Q962647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$59F0C330-5BF7-4858-931E-3F5EDE8B4174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06480774e60dbc960241a7443eb2d4117d0ac63a","datavalue":{"value":{"entity-type":"item","numeric-id":2379840,"id":"Q2379840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$39A6A4CA-6272-448C-905E-126BDCEACFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d604382fdc555edb182c6683198df28e03e614","datavalue":{"value":{"entity-type":"item","numeric-id":2568311,"id":"Q2568311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$35D46467-FCC3-4A38-BB4F-80577567F9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175822c266fc6b41e2afa62750db4b15bec7748d","datavalue":{"value":{"entity-type":"item","numeric-id":5389878,"id":"Q5389878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$7FD6A06E-2B4B-485B-B579-A27EDAE7C280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e9178a16c5119810fcad3c7ba2c2d1f62344bb7","datavalue":{"value":{"entity-type":"item","numeric-id":868280,"id":"Q868280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$B1589478-842E-452E-A5CC-2AD30ED2B684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6872e52f99d0b7872f132765dbca8fa5d3b12903","datavalue":{"value":{"entity-type":"item","numeric-id":2270417,"id":"Q2270417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$64C1491C-A2D7-4383-AE3F-E84AD73E767F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694be8cbeef7ccc1c9d4559bee8037dc52b75117","datavalue":{"value":{"entity-type":"item","numeric-id":1964180,"id":"Q1964180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q622261$F48136C1-0BC0-4AF7-8941-56A12BED34A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a447a751086cf57471c505d3a51b51a74d54b8ce","datavalue":{"value":"10.1016/J.IJAR.2010.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q622261$6529FC2C-340C-4917-A7C3-7BF70FB21A7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df49886f674b81d12b54e65baf04153401839c7a","datavalue":{"value":{"entity-type":"item","numeric-id":4902386,"id":"Q4902386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aac4c7075b50e099ac9e1501b01f5946aae24e0","datavalue":{"value":{"amount":"+0.8964763879776001","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":"Q622261$F806BCCF-4117-4143-B3A2-60D4B104FE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b2e72e22e9f5d531edc2f979f73f429e3eee981","datavalue":{"value":{"entity-type":"item","numeric-id":3092192,"id":"Q3092192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b7c3bb731eb320843fc0c2ba9c42649620e671","datavalue":{"value":{"amount":"+0.881580114364624","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":"Q622261$FEDCC7DF-4153-43A2-85DA-D2640DA05CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac82b587fe2505c510bf10893f3a4787eb7d75e","datavalue":{"value":{"entity-type":"item","numeric-id":4902410,"id":"Q4902410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d6c073ac9de48db59eb2e6866feaa262dec1c7","datavalue":{"value":{"amount":"+0.8797717094421387","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":"Q622261$64D80D89-D6D5-46D5-B2AA-27817760CF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0118ffa142818a175d412b651c79cae1d74d12fd","datavalue":{"value":{"entity-type":"item","numeric-id":5166234,"id":"Q5166234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfcd38908f5c87a4b4d0c46d8a15ea008cdaf326","datavalue":{"value":{"amount":"+0.8726694583892822","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":"Q622261$A8056F5D-03D4-48E3-8145-CE3CFB6A67F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4035ac4c361048742d763bafc12ca58e022935c4","datavalue":{"value":{"entity-type":"item","numeric-id":2351618,"id":"Q2351618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd49bc4188f4d3ca2817852495c8e355fb0004c2","datavalue":{"value":{"amount":"+0.8714903593063354","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":"Q622261$3390BF4B-658C-4407-9EB2-5FB800671F1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributive equations of implications based on nilpotent triangular norms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributive_equations_of_implications_based_on_nilpotent_triangular_norms"}}}}}