{"entities":{"Q1979863":{"pageid":1990605,"ns":120,"title":"Item:Q1979863","lastrevid":72176442,"modified":"2026-04-14T03:08:31Z","type":"item","id":"Q1979863","labels":{"en":{"language":"en","value":"Finitely generated sets of fuzzy values: if ``and'' is exact, then ``or'' is almost always approximate, and vice versa -- a theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7390603"}},"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":"Q1979863$F1141521-E397-4D8B-BB1A-DF7CB1C9A054","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96d19798738a61e30c6a984281f21bcc2f3a3a69","datavalue":{"value":{"text":"Finitely generated sets of fuzzy values: if ``and'' is exact, then ``or'' is almost always approximate, and vice versa -- a theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1979863$D12415FB-43FD-4742-B286-FFB97600CC1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5bcafb2cfb3e41d9c90b9b15fe7175e1d5a0f29","datavalue":{"value":"1483.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1979863$883F9117-A6C5-460E-8291-7C91337C5308","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef0d09e17739ee0c943b45770d3e82981b8ba523","datavalue":{"value":"10.1007/978-3-030-65324-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1979863$19A19C98-DD7A-4825-AF5B-47666B1FF56A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e387e64f5f95efafab3d3500ad02c702e767ae9","datavalue":{"value":{"entity-type":"item","numeric-id":624348,"id":"Q624348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$64BAD239-9C42-49C7-8151-5946F4111A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcaf91a6ac18c99ee8a2f6dbe02f078635dd3c89","datavalue":{"value":{"entity-type":"item","numeric-id":705281,"id":"Q705281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$14E64015-3242-45E6-8FF7-A9A2D3B7F9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2498ed7cf3607871ad6e64c348055a3c8fc89172","datavalue":{"value":{"entity-type":"item","numeric-id":592003,"id":"Q592003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$5772E41F-CF29-4503-A1B4-943FA277D316","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3659634a54505b21af2691a50b5a61bfaa047bf","datavalue":{"value":{"time":"+2021-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1979863$71518EFE-0C07-4A69-8235-2A267F822EC3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0eeb8c9ca88aaa4ae1d78f26c4ccc5d7f85c0ee","datavalue":{"value":"This chapter deals with the problem of evaluating the compound sentences (in particular, built with conjunction, disjunction and negation) within fuzzy logic. The authors remind the reader that evaluations in traditional fuzzy logic represent degrees of confidence, which are indicated by numbers from the interval \\([0, 1]\\). Now, taking into account that there can only be countably many such degrees, the set \\(S\\) of the \\textit{actual values}, which can be ascribed to sentences, should be a subset of the interval \\([0, 1]\\). Clearly, if conjunction and disjunction are defined as the functions of \\(\\min\\) and \\(\\max\\) respectively, and for any degree \\(a_n \\in S\\) its negation is defined as \\(1 - a_n \\in S\\), then the result of evaluating conjunctive and disjunctive sentences belongs to \\(S\\). However, this does not hold true in a general case. Namely, consider a set \\(S\\) of values of the type \\(a^{k_1}_1 \\ldots a^{k_{2n}}_{2n}\\) from the interval \\([0, 1]\\), where \\(a_1 , \\ldots , a_n\\) are given rational numbers, \\(a_{n+i} = 1 - a_i\\), and \\(k_1 , \\ldots , k_{2n}\\) are arbitrary integers. Then, there are only finitely many element \\(s \\in S\\) for which \\(1 - s \\in S\\). As authors observe, it means that for all but finitely many values \\(s \\in S\\), the negation \\(1 - s\\) is outside the finitely generated set \\(S\\). Hence, ``while for this set, `and'-operation is exact, the corresponding `or'-operation almost always leads us to a value outside \\(S\\)''. However, it can be shown that this observation cannot be generalized. Namely, it is proved in the chapter, that for each finitely generated set \\(S\\) -- with the only exception of the set generated by a single value \\(1/2\\) -- there exists a negation operation \\(f_\\neg(a)\\) for which, for infinitely many \\(s \\in S\\), we have \\(f_\\neg(s) \\in S\\). Moreover, it is also proved that the set \\(S\\) of degrees that can be obtained from \\(0\\), \\(1/2\\) and \\(1\\) using ``and''-operation \\(f_\\&(a, b) = a \\cdot b\\) and negation \\(f_\\neg(a) = 1 - a\\) is the set of all binary-rational numbers, i.e., all numbers of the type \\(p/2^k\\) for natural numbers \\(p\\) and \\(k\\) for which \\(p \\leq 2^k\\).  For the entire collection see [Zbl 1467.62007].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1979863$A96E7471-F456-4778-8819-A05B330B6EF8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bb5a4a2c374444b66a40fc8d22c526516814731e","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$252F10DC-8F41-4F3E-A704-54F24D9E8E4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1979863$6034858B-D1E4-49E2-9E64-07FBD03024D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4ac788669bc7b2a9f25e7daa751ba7a1e92b220","datavalue":{"value":"7390603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1979863$2870225A-7A36-4FDA-B025-DEBB8701D85C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1979863$B28EC0C1-EBFE-47D1-A514-F3BCB211E0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a28bdd3fa564308e2e5c714dc067d2fd221f93","datavalue":{"value":"degrees of confidence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1979863$4B378A48-2401-47FF-8CB3-F5D82B3DE873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"297bfb02f896be9278c44b8aa1f4049110d3c1d7","datavalue":{"value":"t-norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1979863$48C0B7C4-3C96-48A6-AB91-A2D188A6CB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7c85dacab36db987447fd88d157d78958674048","datavalue":{"value":"t-conorms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1979863$4CA01F88-A9D9-4748-BB7E-D0B3FD744B1C","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":"Q1979863$85A32A29-4936-42B6-B591-B077E537C90B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"895fd58de9678b989698bc3bbbac98ff0530fb61","datavalue":{"value":"https://doi.org/10.1007/978-3-030-65324-8_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q1979863$B0041E77-1A10-4C5F-9022-8F7AB20B69C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f179e52c3e862418e3b0d2f58e5b213b08be7fc2","datavalue":{"value":"W2999457004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1979863$5CA6B6DF-C852-4EB1-9077-90EED4C682F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b745085626647892f11c46906c576b077c348e03","datavalue":{"value":{"entity-type":"item","numeric-id":5441000,"id":"Q5441000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$138BB159-0283-49D8-9ED8-FEBE8DD5C161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96ff4454ed8f4550a4bbd0e04986d9d3dceba45","datavalue":{"value":{"entity-type":"item","numeric-id":2988315,"id":"Q2988315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$FF4D6BC4-CFD4-4528-9138-2332FC7F26DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc823fa0c3240d669e630a744a2b6bcbb4e8b912","datavalue":{"value":{"entity-type":"item","numeric-id":5719099,"id":"Q5719099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$60AA550F-DA18-45F1-A8CE-12E3A8AB3C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52811bfc7c1962136717156ab14a01cf0d130ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4421931,"id":"Q4421931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$2DE1240C-D9FE-42AC-BB4C-B398F471CAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56af834022ca76ce49c3d46530d68c823b60bdca","datavalue":{"value":{"entity-type":"item","numeric-id":3838055,"id":"Q3838055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$84577E35-5B4B-4A9A-8280-D1202702AE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52be7a50c165e6426d5c4ac6e29578ed2f535cc","datavalue":{"value":{"entity-type":"item","numeric-id":4168661,"id":"Q4168661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$B53A90D1-2AF8-41A7-8FB8-77417A2B23F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108ed15a8b4672a8db405341d8087ffd7ee2a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3735800,"id":"Q3735800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$ACA3FD06-8215-47F2-974C-34F5BB84BAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114d1ad773307e493fb7dd1df4e4012f1b78cb17","datavalue":{"value":{"entity-type":"item","numeric-id":2970994,"id":"Q2970994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$4315C861-9A86-4BB7-A479-D7B01DBBAA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692b6e52492347f2452a05486552e0d4e58aa5c4","datavalue":{"value":{"entity-type":"item","numeric-id":4586551,"id":"Q4586551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$40AD890B-A5BF-4148-8F53-9B9ABB214C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25315bb0a219f22b0613857de546a2d28471f4fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714149,"id":"Q3714149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$CC4474EB-65C0-4A94-A578-66A39298184E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d270f8a57834243fda40f3a11d79976712ea64c","datavalue":{"value":{"entity-type":"item","numeric-id":4554927,"id":"Q4554927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$843E2E37-6493-4F42-B2F2-338B27399B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4971710e4358cd9ca63b9a295e880af2959f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4269081,"id":"Q4269081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$D714B133-224F-449B-B05C-26E788657576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb8a116e68fa9db7fd09ebb369051c31094c586","datavalue":{"value":{"entity-type":"item","numeric-id":4846022,"id":"Q4846022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$174D7E88-DEAC-483A-945E-B99E7022D9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80af2c1f93e6af0aac1c3719bf92d6daa17781d8","datavalue":{"value":{"entity-type":"item","numeric-id":4210105,"id":"Q4210105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$8284F6E4-6752-4FAC-99E3-61F839D5A5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1979863$54662655-3C44-4449-8C55-18C6FAAA573F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eceec12bcd486be0738130caf0efd8f24cf88d56","datavalue":{"value":{"entity-type":"item","numeric-id":3143790,"id":"Q3143790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a13e1acd949c7dd5c1f57f298bd812840e628d","datavalue":{"value":{"amount":"+0.7435247898101807","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":"Q1979863$3580BC51-A77F-40DF-8649-7CB43978CB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b946dabcf0fe88c7ba7a88407a2faed12de5e4b5","datavalue":{"value":{"entity-type":"item","numeric-id":4440523,"id":"Q4440523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e480c8b4c1ed53b61f0e205fde8ccd3a8be87523","datavalue":{"value":{"amount":"+0.7317306995391846","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":"Q1979863$FC07F993-F80F-478A-A7CF-CD580FCDC65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"675b743bbfae3ff04c60b14864f826fb3bbfdfd2","datavalue":{"value":{"entity-type":"item","numeric-id":2302900,"id":"Q2302900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dce09b7790ee96d18e434f7743a40c9caa76cc7","datavalue":{"value":{"amount":"+0.7288601398468018","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":"Q1979863$036E9AF2-831A-41BA-91CE-24020BAB8314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc86e47e0ce59e3b548c7d62cc53abe9fab640af","datavalue":{"value":{"entity-type":"item","numeric-id":5213714,"id":"Q5213714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec6e0f0fbd969965b7eebe1caa6e9bc1272d534","datavalue":{"value":{"amount":"+0.7222080826759338","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":"Q1979863$6D880350-8988-46CF-B22B-136913F39EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fbae374c75c29524bc121d4dc3afce98230d35","datavalue":{"value":{"entity-type":"item","numeric-id":3222189,"id":"Q3222189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a79a9e0037086797a689dbebfbb461b64fb75df","datavalue":{"value":{"amount":"+0.7199054956436157","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":"Q1979863$C658439D-5A1F-49DE-AF85-4BF29462CC1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely generated sets of fuzzy values: if ``and'' is exact, then ``or'' is almost always approximate, and vice versa -- a theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitely_generated_sets_of_fuzzy_values:_if_%60%60and%27%27_is_exact,_then_%60%60or%27%27_is_almost_always_approximate,_and_vice_versa_--_a_theorem"}}}}}