{"entities":{"Q1267518":{"pageid":1278268,"ns":120,"title":"Item:Q1267518","lastrevid":67170063,"modified":"2026-04-12T15:46:08Z","type":"item","id":"Q1267518","labels":{"en":{"language":"en","value":"Rules of inference in fuzzy sentential logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1208342"}},"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":"Q1267518$181A4624-9B30-4D99-8758-EF9A1177A99E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c1548df8f805b1e538768cad0011e4cc169f539","datavalue":{"value":{"text":"Rules of inference in fuzzy sentential logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1267518$BF541598-51C1-4754-AC50-A4B4DD10C59B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3039e77443beb5835399b51ca502ad07ef97e0c","datavalue":{"value":"0906.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267518$B6A4C9A7-B19B-4B3F-A3E1-390A5C5E3418","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d000d6632ab26f3d818aefb04d599f4f4b002352","datavalue":{"value":"10.1016/0165-0114(95)00324-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267518$C38849F0-849E-4A51-BA4C-AC106B7330BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3657751368a20b4a9b2c6238f005be710ad10346","datavalue":{"value":{"entity-type":"item","numeric-id":218965,"id":"Q218965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267518$779559AB-E5F8-4E20-911C-D8FE295DBF1F","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":"Q1267518$BC26B761-E122-435D-82A2-32460795250E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51f6e9accdba24089d0af8ad200c252ff2ed2384","datavalue":{"value":{"time":"+1999-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1267518$4CFF79F7-BF30-416E-AB68-E2D2993DCA0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83b9a7b121bcaac9ddf7f3a0a5163d41b692ea56","datavalue":{"value":"The aim of this study is to introduce some fuzzy rules of inference. Each of them has a counterpart in classical logic. We consider injective MV-algebra valued fuzzy sentential logics as these fuzzy inference systems are proved to be semantically complete [cf. \\textit{E. Turunen}, Math. Log. Q. 41, No. 2, 236-248 (1995; Zbl 0829.03011)]. It is of special importance to realize that in the unit interval the only semantically complete fuzzy sentential logics are the injective MV-algebra valued fuzzy logics. It is well known that any nilpotent Archimedean T-norm generates an injective MV-algebra; moreover, injective MV-algebras in the unit interval are exactly the structures isomorphic with the \u0141ukasiewicz MV-algebra.   We follow \\textit{J. Pavelka} [Z. Math. Logik Grundlagen Math. 25, 45-52, 119-134, 447-464 (1979; Zbl 0435.03020, Zbl 0446.03015, Zbl 0446.03016)] and define a fuzzy rule of inference as consisting of two components. The first component operates on formulae and is, in fact, a rule of inference in the usual sense; the second component operates on truth values and says how the truth value of the conclusion is to be computed from the truth values of the premises such that the degree of truth is preserved.   After recollecting and proving some necessary algebraic definitions and results, we introduce several new fuzzy rules of inference and give a practical example of how to use them. The advantage of our approach is the semantical completeness of our logic; the degree of validity of any formula coincides with the degree of deduction of the formula.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267518$EA6D3262-93FC-484D-A965-5825F16B90D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267518$E478CFFE-CD1E-4417-B9B0-7BF8E6863C91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ffd7ba5541296a4abd1219d65f76c43e2de084f","datavalue":{"value":"1208342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267518$601177D6-069F-4BC9-B4FB-80DA43A169FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4d05d9985acd5cbf3546a063b0c24755275698b","datavalue":{"value":"fuzzy rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267518$8053C23E-FF38-4C36-BC04-441B1B69D9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267518$C987346F-8E95-47BC-9A17-934BBBE50C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"947808e7ae018c071b092ee394396c697c30cbbb","datavalue":{"value":"fuzzy sentential logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267518$CD436682-FB4D-4AEC-B72B-B409C8465D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d54771bfe51e9d10f494511c79abbe7d90cd697","datavalue":{"value":"semantical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267518$B88EF3AD-1FE5-406E-89B3-9C2D8A54DBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f92626764b5ff6bb1bc8371d93ccd7b4e4241fff","datavalue":{"value":"degree of validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267518$CE145F39-58F5-494C-B359-81C007465422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62bf424ee08e65b3e0df5ad9d4c95cc00a628135","datavalue":{"value":"degree of deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267518$D71832DD-90F2-4750-AD19-46097D8C506C","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":"Q1267518$92330DF9-F9FD-4DD0-B265-E51C85E728EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b0a2760e28639eb78f44f7bb1aa809ab1bcc56","datavalue":{"value":{"entity-type":"item","numeric-id":1185226,"id":"Q1185226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267518$402A0062-8C26-42E6-B810-79463B21C3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc5eefa81d2ddc771e71061ad056567ca35d912a","datavalue":{"value":{"entity-type":"item","numeric-id":3978829,"id":"Q3978829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267518$C9CA9601-5C87-4E45-976F-452EBADBEB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267518$472BEEF0-2A84-42B0-BC75-3C8F0A56ECBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f12d0ea6620ae453839c87f5857853b4330786","datavalue":{"value":{"entity-type":"item","numeric-id":3222191,"id":"Q3222191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267518$FBE9C5B7-F4E7-4B4F-A6BA-7333A18B47FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a7eafe3c7cf5f820bc37541b532bab5bd7dab9","datavalue":{"value":{"entity-type":"item","numeric-id":1205168,"id":"Q1205168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267518$CA61897E-22B4-447E-826C-48CA3EC94541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267518$A5A2ED6D-C496-4D4A-AE30-32F6F2CBFD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edda81673e3bb1e6c3bc2ce7894966da82a9e946","datavalue":{"value":{"entity-type":"item","numeric-id":3890664,"id":"Q3890664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267518$905D383E-87AB-4CDD-8D48-18F95F4DF3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267518$BDA9FFA0-958C-4825-B8A2-FE68136A3CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95302bd22d2c121bcf7517962f8e7b69b081e780","datavalue":{"value":{"entity-type":"item","numeric-id":4835526,"id":"Q4835526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267518$2FFC95C4-2B80-4045-8B7A-AF876D883241","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bedee692db3024a96b933daf95904b06e04092ac","datavalue":{"value":"https://doi.org/10.1016/0165-0114(95)00324-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1267518$031F2A29-8616-4A8F-8080-FC3D4667E063","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afb41fab6bc757086698f57d8a581d2d1fde1a32","datavalue":{"value":"W2092445873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267518$2C3EEA7E-0810-448C-814B-DDE6FA6DFAAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49fc6758c439caae6df1ec1369c41be58462711f","datavalue":{"value":{"entity-type":"item","numeric-id":4700344,"id":"Q4700344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"504f9808c67e02c3763a27713d0ee3498e7fd704","datavalue":{"value":{"amount":"+0.9179176","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":"Q1267518$35D75A59-39D4-4BC2-8426-8029F8B65E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f57cd60f401d7c0784539b1898a055f25afe7ff","datavalue":{"value":{"entity-type":"item","numeric-id":3337455,"id":"Q3337455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8659b1366c0e4b3fffb6b81c61eb9860630fa40","datavalue":{"value":{"amount":"+0.9128279","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":"Q1267518$28B31C73-AE6E-42C2-AA19-809A12ABBA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe17c22aa43fc99eacc01af4cb442b525e8f60d","datavalue":{"value":{"entity-type":"item","numeric-id":3680813,"id":"Q3680813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78aa9eedd65e3b145567e6bfff4345acb5ba0dc7","datavalue":{"value":{"amount":"+0.8953608","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":"Q1267518$A4E895CE-93CA-4E8B-B524-90F457B01CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa2c3c75709f3d04280ef411296ab7568ad7862","datavalue":{"value":{"entity-type":"item","numeric-id":3699668,"id":"Q3699668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78aa9eedd65e3b145567e6bfff4345acb5ba0dc7","datavalue":{"value":{"amount":"+0.8953608","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":"Q1267518$D94C24BF-AE0F-412D-8854-E01537156C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7a7b066539cb16c26440fbab928cee5d9a754f","datavalue":{"value":{"entity-type":"item","numeric-id":4835526,"id":"Q4835526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca4a9e7eef5d546d1b7065e46de50becc0a97f3","datavalue":{"value":{"amount":"+0.88838696","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":"Q1267518$62EA3BBB-8CE5-4ACF-9CE3-4DDAB529B5C5","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":"00acf0f1cf2b0bec052edd526ff574cee70c9ef9","datavalue":{"value":{"amount":"+0.886968","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":"Q1267518$7AED13C1-05AF-4C0E-A709-AB644A462B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3801da80bd4478bd002ea8640ec96cda5693ea","datavalue":{"value":{"entity-type":"item","numeric-id":1119563,"id":"Q1119563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6efeaf770220e0b43bc985bd1f1edbf8c12322","datavalue":{"value":{"amount":"+0.8854871","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":"Q1267518$B39F0D68-DD28-48A1-AC20-F22EBC6F6ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3ea0ee9bad611740c703cd36a57d490ae103ea","datavalue":{"value":{"entity-type":"item","numeric-id":1319449,"id":"Q1319449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fa241737f3ef3bdeb89fc64e30241e4056d939","datavalue":{"value":{"amount":"+0.8838784","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":"Q1267518$4B61B50D-3EBF-4BAE-8358-031183E5AC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31a9def2a8829ff065201a39a1c9d455a18836e","datavalue":{"value":{"entity-type":"item","numeric-id":4549477,"id":"Q4549477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fa241737f3ef3bdeb89fc64e30241e4056d939","datavalue":{"value":{"amount":"+0.8838784","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":"Q1267518$B239D5C0-939D-4041-AE4B-A39F05F5B8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd5018a46ab2bdeaca08f451802ea9cd4dff1a9","datavalue":{"value":{"entity-type":"item","numeric-id":853465,"id":"Q853465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad8c58d2b11d8b9cf42cc97e82f1bcd0f36a2db","datavalue":{"value":{"amount":"+0.8837783","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":"Q1267518$CC21801C-BB64-4849-96B2-C5F32FF152D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rules of inference in fuzzy sentential logic","badges":[]}}}}}