{"entities":{"Q1769649":{"pageid":1780391,"ns":120,"title":"Item:Q1769649","lastrevid":70860978,"modified":"2026-04-13T17:44:28Z","type":"item","id":"Q1769649","labels":{"en":{"language":"en","value":"On the strict logic foundation of fuzzy reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2151868"}},"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":"Q1769649$53E10B65-0818-41B9-88D6-E713068890FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"369a3dd57bd8d0f6565f32ae57182fbce62a00f7","datavalue":{"value":{"text":"On the strict logic foundation of fuzzy reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1769649$960C9901-9BF7-4458-83F3-FBE8F9F0EB66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67d1a0ca72c90dff386d9a1ce39a12a04ef5be2d","datavalue":{"value":"1066.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1769649$10667842-F631-4584-A703-59EB9E4C0175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcf8b29f998e6586890411a08c34f70ea4883f1","datavalue":{"value":{"entity-type":"item","numeric-id":1717924,"id":"Q1717924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1769649$350227B5-EDCA-4762-9E85-6BDDED3E8072","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1769649$302CF529-97B1-4EAA-BA34-CCC8763FBAFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66197cc87631c188182cc95b49a671abfbdd5a2b","datavalue":{"value":{"time":"+2005-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1769649$9AC3FB24-CE4B-4F08-8E20-C3F212E171F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cea4738ff478e2c64971c184ca7acad14a76e42d","datavalue":{"value":"Logic foundations of fuzzy reasoning are discussed. As an alternative to Zadeh's compositional rule of inference, the triple I method of \\textit{G. J. Wang} [Inf. Sci. 117, No. 1--2, 47--88 (1999; Zbl 0939.03031)] is discussed and further developed. After building a complete first-orer formal system \\(K^*\\) and the many-sorted system \\(K^*_{ms}\\), the problem of formalization of fuzzy reasoning is studied. Based on the system \\(K^*_{ms}\\), the triple I algorithms of fuzzy modus ponens and of fuzzy modus tollens and their consistency are formalized.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1769649$9422C609-F469-4508-8864-307112F082E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0b7e8bba2607231d291833ec35db8abb2a31f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":221206,"id":"Q221206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1769649$2953DC19-0B62-47EB-97A5-0205333891F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1769649$57F6CBE5-00B6-4EB2-BD5F-511B64E6CC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1769649$2473E88D-95E5-4C17-9E29-A822C9456837","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f67e72c8818fb5adac9781a307d3223fbf6a60a","datavalue":{"value":"2151868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1769649$D470ABEB-FD22-4B37-9BE6-9A5FB57EF064","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"378f1574024ee74fc4e5003313aa31cdac31efe1","datavalue":{"value":"inference methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1769649$B15BB3B1-244D-4239-A2DA-7BF7268B987D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b7d506c8e81689588079cee254f61b71e3c393","datavalue":{"value":"fuzzy predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1769649$E7A8559B-9F6B-4089-8B37-86EE6F3CCEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd9da4c6e819b1f037aaeb422cb3b6c93bf2d0be","datavalue":{"value":"fuzzy reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1769649$67C38066-A5DF-4803-84CA-CA9B13667E3B","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":"Q1769649$BEDF68BB-CDA3-462D-A826-8BC66482A9DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc55246e4a8e528b26ebf8e3a2e457dfab5f850b","datavalue":{"value":"https://doi.org/10.1007/s00500-003-0312-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1769649$1C817D8D-9A2A-4D52-8B9E-D2166DB773B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"222da6c8e505dd678066a809bd9b734f1e3c8bf7","datavalue":{"value":"W2000551437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1769649$5ED69DB5-F2F1-4575-8911-96803F050FCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93f6ea3648435dcbc01137fe87d15da361539e88","datavalue":{"value":"10.1007/S00500-003-0312-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1769649$F66C9762-774A-48E3-A205-C2F784EA8D57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ed6fc82227c28d130cb995d5fb2c69aa83c1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1961817,"id":"Q1961817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d47e4b0f4a275c22f1306d86e9ab7cae16e22fa","datavalue":{"value":{"amount":"+0.962376","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":"Q1769649$BE25BF7A-5C93-44B9-B587-FCF5546A70BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce4f56530e35e332cb488c416a18c7568c80bb5","datavalue":{"value":{"entity-type":"item","numeric-id":5285146,"id":"Q5285146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c319ca8034c8290f3579089cef148e97ad74ec1","datavalue":{"value":{"amount":"+0.908332","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":"Q1769649$88217EBC-B796-4DE5-A660-B05CAACE0B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadf3fcd6d65ffb3f830890323b472019ff14bcb","datavalue":{"value":{"entity-type":"item","numeric-id":5388700,"id":"Q5388700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837406547aaf470c3e37068cc4616ab0e0f8e37e","datavalue":{"value":{"amount":"+0.90308213","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":"Q1769649$2E278769-B42C-422F-BFF4-E79405A1357D","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":"3d5b1c00681d23baab75289a834a25db535a2e34","datavalue":{"value":{"amount":"+0.90064657","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":"Q1769649$554C6C96-05BB-48E7-AAD9-EF5533BC20BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a59d1be51a779ea28d23a764abb030059254d5","datavalue":{"value":{"entity-type":"item","numeric-id":4675355,"id":"Q4675355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137d143299088c515f3475c45108b7d1fb34d97e","datavalue":{"value":{"amount":"+0.8998734","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":"Q1769649$E79ADBD5-7C96-424F-9D29-4888E91B8D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0868cd61b58fa07408075183c8b0f1ee6eb4ae42","datavalue":{"value":{"entity-type":"item","numeric-id":4338149,"id":"Q4338149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627ae0b37964c83abe6dd67c20eb7607e5cb2d07","datavalue":{"value":{"amount":"+0.89868724","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":"Q1769649$EC58702E-FC93-4C24-A3F3-ECC01DC46F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00da1675cc6a172171d712344c36c0787fb63dd","datavalue":{"value":{"entity-type":"item","numeric-id":2276948,"id":"Q2276948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe87d31a38bc6c08f7846a070ed2f3b6b15e433","datavalue":{"value":{"amount":"+0.89761937","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":"Q1769649$C60A1A30-32A3-46BB-ADDD-80FDEB0BCD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c0466aed8948b05b9cdea4311fdddd9a2393533","datavalue":{"value":{"entity-type":"item","numeric-id":3117233,"id":"Q3117233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf3f9664f931b394dbac7e820ea45aa4bb9edea","datavalue":{"value":{"amount":"+0.88517517","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":"Q1769649$2E9B53B3-3D85-4655-9E34-728F140C13F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d018d627cf8dd048a46a99ff5ca5b9fe6ec502","datavalue":{"value":{"entity-type":"item","numeric-id":3720567,"id":"Q3720567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662c00cc41deb69f39a10dc7c0c1c14acebd0687","datavalue":{"value":{"amount":"+0.8846202","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":"Q1769649$55B82F95-DD1C-4FAA-950F-542999D7168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ef8ecfa8fa907a1c9b4fb885dd6493e411eb55","datavalue":{"value":{"entity-type":"item","numeric-id":4457512,"id":"Q4457512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b31c1d075442ede0ab7b3d00d08eff859e254eb","datavalue":{"value":{"amount":"+0.8813535","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":"Q1769649$43146D0F-3EF3-4E28-9BB9-4C24171120E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the strict logic foundation of fuzzy reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_strict_logic_foundation_of_fuzzy_reasoning"}}}}}