{"entities":{"Q5939689":{"pageid":8116491,"ns":120,"title":"Item:Q5939689","lastrevid":47650429,"modified":"2026-01-02T07:46:51Z","type":"item","id":"Q5939689","labels":{"en":{"language":"en","value":"Canonical forms of fuzzy truthoods by meta-theory based upon modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1626440"}},"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":"Q5939689$6CF7BD04-0507-49EB-A61A-53D60886FDC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5fa26bcb93e3efeb3d6a35ef8e2513287137025","datavalue":{"value":{"text":"Canonical forms of fuzzy truthoods by meta-theory based upon modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5939689$9B76F0FF-3444-4520-AC7A-7FA9969F8294","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8a90c1d69fc6cfc0f6489491ed89347a64c6090","datavalue":{"value":"1004.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939689$8E3A0B1B-C80E-4950-8697-6900BB549343","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ecfc1d95d803c8a1390a19521a6d1372b564224","datavalue":{"value":"10.1016/S0020-0255(00)00095-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939689$297F37F7-FE7F-49B4-A9FA-C6BA0FF4C3D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62a92b12a58bbf6f56a7230ee81b31ad1c18fecd","datavalue":{"value":{"entity-type":"item","numeric-id":194670,"id":"Q194670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$4CC2C34B-D47A-4FF4-8358-F05AB3785427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d0c37aca94f717afed0fd384906cffa70a600f6","datavalue":{"value":{"entity-type":"item","numeric-id":1808917,"id":"Q1808917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$E0F3A104-C8A5-4A19-9E06-3AE3E341FFB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$FC77F58D-B971-48FA-9C2D-E8EAA065A827","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbc31030771bd0832150da86222efa0818b23021","datavalue":{"value":{"time":"+2003-02-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":"Q5939689$3D27C0FA-F358-420E-9E33-D19C17C6E084","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad545e1593efd86fbe4f12caea0861159e61c0ba","datavalue":{"value":"The authors propose a new natural interpretation (``meta-theory'') of fuzzy logic. This interpretation is based on the standard interpretation of modal logic via the set of all possible worlds; specifically, the authors propose to assign a weight \\(w_i\\) to each possible world \\(i\\). Then, it is natural to define a membership (``truth'') value \\(\\mu(A)\\) of a statement \\(A\\) as the total relative weight \\(\\sum \\{w_i\\mid A(i)\\text{\\;is\\;true}\\}/\\sum w_i\\) of all the worlds \\(i\\) in which \\(A\\) is true. We can define \\(\\mu(A)\\) for an atomic statement \\(A\\) and for statements \\(A\\) that are propositional combinations of the atomic statements; as a result, we get justifications for inequalities and equalities relating truth values \\(\\mu(A_i)\\) of different combinations \\(A_i\\); e.g., \\(\\mu(A \\& B)+\\mu(A\\vee B)=\\mu(A)+\\mu(B)\\). The authors use this interpretation to analyze the relation between the truth values of a propositional formula and the truth values of its CNF and DNF forms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939689$5392BC55-6328-46FD-A574-4FCAB52848AF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7a7a7a3dd3a08360856ececf3d8a629dcc430503","datavalue":{"value":{"entity-type":"item","numeric-id":592003,"id":"Q592003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$0282481E-D9C0-464E-94F2-4F944D4FBE97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939689$99A778AB-183E-4841-8F5E-8692CCB79E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939689$7CD28945-45E0-4FCC-AA9A-CAA1C67CABBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"079cb7fb5c2a63ebe1fd0d6ad09382e8662f17d4","datavalue":{"value":"1626440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939689$1646CBF5-CF46-49DD-BFE6-BEB1838C8757","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939689$E9893D2A-3569-478B-B1FD-FC77364191FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939689$05C3BAAD-3A63-43DF-9BAA-5AF380EBCEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939689$CC950525-D7C9-4A72-9343-A515F300E9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8982d07df948110e8c530b7afcc06bd29d0d11","datavalue":{"value":"possible worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939689$CEDCD713-360C-40F6-86CF-552318AAFC2F","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":"Q5939689$9C24E36A-6891-4376-8640-48C31B6D1B7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$3F395A39-EE6D-466E-9EA6-F8B43AA18174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05ca0df33edfb962c27551d84b46d2616f882f8","datavalue":{"value":{"entity-type":"item","numeric-id":3114412,"id":"Q3114412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$F2594FAB-39B3-4B25-ADED-61F72C318C5F","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":"Q5939689$3BCF56F5-955A-486F-975E-C599E6AA43E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ec0596e7a9d2f103c5253cd3b8e697e967ee39","datavalue":{"value":{"entity-type":"item","numeric-id":4015786,"id":"Q4015786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$9A335FCC-8FBB-4EAD-B6D1-12254EA499C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a902c64413bc90fdfe3fd0e51f88a88a093132f3","datavalue":{"value":{"entity-type":"item","numeric-id":3117229,"id":"Q3117229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$F39FB58E-0E8F-40C9-B03F-966DA98F0269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac269d0c8f64ac8ff6e5b48653df35c0572a993","datavalue":{"value":{"entity-type":"item","numeric-id":4525887,"id":"Q4525887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$9472F3D7-4317-47AB-B481-317BA824B62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deec0119dceb71cb386040fbf9e8b7d9883a7f00","datavalue":{"value":{"entity-type":"item","numeric-id":2641280,"id":"Q2641280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$CB85ED08-7B4A-4033-AC0E-04AF7E584536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5535bfa162d83cf352682573daccb7e867b90dea","datavalue":{"value":{"entity-type":"item","numeric-id":1089310,"id":"Q1089310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$80EDA95A-599A-42C6-A340-0AC362C83F3E","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":"Q5939689$0C7DFA9B-26AC-4C3C-A65F-5725CA69A3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1a2dec2c732e1371dcad7ddd7c00e52acf8dea","datavalue":{"value":{"entity-type":"item","numeric-id":1140517,"id":"Q1140517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939689$1E16D9B9-3AA8-4D80-B4BB-AD1E61FC4C04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dec927d99c3e37fad66d9b1d262bc62829dd16b","datavalue":{"value":"https://doi.org/10.1016/s0020-0255(00)00095-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5939689$D7D65544-49CD-404A-AE20-0ACDB5AB6669","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b70eb7ff06223935ee68e9fad39455aa5a853784","datavalue":{"value":"W2044750348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939689$65F5760A-5C08-452F-B322-6AB02CF4DA11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6e7ac7ebee15895f46b0f89b8ffe140248f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":1914468,"id":"Q1914468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57172d96d0e843d9bd1d763d9c00478c2777b922","datavalue":{"value":{"amount":"+0.7461702227592468","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":"Q5939689$D9CFE1C5-0D5F-402B-A6A1-B628CC34E1E5","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":"1f6eaa3bb153e3bca0ed2416bd3148f8235785b5","datavalue":{"value":{"amount":"+0.7446783185005188","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":"Q5939689$7B72AEA9-7A2B-438F-ACDE-BF3D7B6F52B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c06a3c99faf3f028955ff7f9f045e0aa2549db","datavalue":{"value":{"entity-type":"item","numeric-id":3546066,"id":"Q3546066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d513f5fa498697c41d3e34f8fee0ae6c83eb42fb","datavalue":{"value":{"amount":"+0.7442724704742432","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":"Q5939689$1CB0222C-D034-4465-96E1-EC28757A5663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b2db306ee267f1628c99d552f34d084e9b13b6e","datavalue":{"value":{"entity-type":"item","numeric-id":5940144,"id":"Q5940144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d6644a1ba33235adb905e2a9ca496c2f2dd9da","datavalue":{"value":{"amount":"+0.7391967177391052","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":"Q5939689$734BAFD0-CA90-4054-AFFC-8EF3DA1B50CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44065021f94283dd88be6ba55c5f99d37e3ab353","datavalue":{"value":{"entity-type":"item","numeric-id":1406854,"id":"Q1406854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d6644a1ba33235adb905e2a9ca496c2f2dd9da","datavalue":{"value":{"amount":"+0.7391967177391052","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":"Q5939689$422A5D09-D3F8-47A3-ABDA-A7EFAB85C1D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5939689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5939689"}}}}}