{"entities":{"Q5940144":{"pageid":8116946,"ns":120,"title":"Item:Q5940144","lastrevid":41944238,"modified":"2025-05-19T09:07:41Z","type":"item","id":"Q5940144","labels":{"en":{"language":"en","value":"A note on the notion of truth in fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1624600"}},"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":"Q5940144$E8B7CF1B-99FF-4EA5-9782-10A4DA1D89F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7199eb0d22c960a78866e1a57c88317cfae481cf","datavalue":{"value":{"text":"A note on the notion of truth in fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940144$19E7DA9E-60ED-4044-9884-8FCD80DBCFA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2ab21518ed237c65b8757402449a647ba7fefd2","datavalue":{"value":"1004.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940144$A093F1D6-717D-4823-A811-5091EFBED8C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79f35e46d7b1986b53a41bb8dbb251302a76f9d8","datavalue":{"value":"10.1016/S0168-0072(01)00041-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940144$2174C61F-3B02-4F15-ACEE-8A9591D39293","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940144$6D146524-507D-491B-8376-0C3F28CF30D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c85264f8b354889753fca623f6e4dac99319a70","datavalue":{"value":{"entity-type":"item","numeric-id":1254850,"id":"Q1254850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940144$8AB98CEC-5F68-47E2-A3A3-1E21114C0BB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940144$72F3DD4D-72D5-44AE-BE66-6D40FD44AEBF","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":"Q5940144$C0C30852-CE78-485D-A10F-5D910486B1EA","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":"Q5940144$B79817FD-E73E-475E-9062-8CB0424E5251","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940144$4C66C673-CF52-4F8B-8EEA-8136624FC70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940144$35FE0FFB-BBEA-4D69-9B49-5BAFC1F40D71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"236e2fc02a8fc6a8d07756849d6f15844a41eb7e","datavalue":{"value":"1624600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940144$E9654979-DA1B-4EAB-B930-B06237972125","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940144$7EBA3C2E-F5C4-4F54-8380-A2C0EA186DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940144$D13C966E-0630-4B5F-B262-3164B3EEC483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a844cb9ce8577f0da0656d3fd20edac48f1db2","datavalue":{"value":"truth values","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940144$8404752B-DA19-4D34-9850-2CF825DB66F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0b753a59ee2127b748dc0821082ab6ff2f1f1e5","datavalue":{"value":"provable formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940144$DED2AC8E-2DFE-4B8D-83F6-7E1F913EBA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3b94037aa5b9274f9149c62708e7c493c8db49","datavalue":{"value":"safe interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940144$30559891-4E8E-4615-A7A9-5B4FDE003FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf7987dbc7c68812defee90de826c30f542e442d","datavalue":{"value":"continuous t-norm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940144$61EFE384-6748-46AA-B5BE-5C218F9E4B7B","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":"Q5940144$EF696BFC-47A3-490E-80F6-8654134A0116","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940144$C60C7E82-E12E-44EC-B817-4F2243B240AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad4e9209f133d73c61de1df69a89fa5aafee927","datavalue":{"value":{"entity-type":"item","numeric-id":4508252,"id":"Q4508252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940144$F9CB2040-04B5-45E5-82BE-544C5A72516C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1686827b894a120d715c9eb7355ff3dae7e9c862","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(01)00041-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5940144$5F89D523-7055-43B4-B7BC-C211EE58EE4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f7a63a24c29205000ca25055b91c16b108fb3c9","datavalue":{"value":"W2059942961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940144$9CAB9972-57D1-42F6-B583-C2FBDCB77CFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432642b8b79feb6a0949f5ad4914eb1c12a02955","datavalue":{"value":{"entity-type":"item","numeric-id":4729760,"id":"Q4729760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1b1c14451b06888b6aeae1b29a24f7ccf270bc","datavalue":{"value":{"amount":"+0.8999646","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":"Q5940144$89345C7E-A0E6-44D9-93AD-9D3AB9B62969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1474484ec87e602d185c5ce75fccd0f22d5ff34b","datavalue":{"value":{"entity-type":"item","numeric-id":1015491,"id":"Q1015491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17aee023b949a3fa6b154d87c968cb1e8557fe0","datavalue":{"value":{"amount":"+0.89656466","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":"Q5940144$7B08F76A-44E7-46AC-BA90-D52705A8EBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2bf25b55379bd69229e4015cf173866b009828","datavalue":{"value":{"entity-type":"item","numeric-id":3722475,"id":"Q3722475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c33b42136bcede6191c1e8df974bd3590783646","datavalue":{"value":{"amount":"+0.8901094","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":"Q5940144$A859C36D-C61B-495E-A709-535A45479188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722018360302475eb9b2142db2587325b52b150e","datavalue":{"value":{"entity-type":"item","numeric-id":4902370,"id":"Q4902370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568a434b5356eec2357d8e83b314bc5320c36bdc","datavalue":{"value":{"amount":"+0.8875297","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":"Q5940144$8ECFAEF4-8845-4EB5-B175-68E2D0093335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb08885d2718ceca960951bfe1ba51b68f2d3ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2510139,"id":"Q2510139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a438d61c50db54ac34ee99e0d182e33ad4c925","datavalue":{"value":{"amount":"+0.8872338","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":"Q5940144$4361ADF3-A112-4CF6-A4AA-ADE9BFAD5942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d682c9a86eec53f68098aa431f4bd22a02fa744","datavalue":{"value":{"entity-type":"item","numeric-id":527188,"id":"Q527188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999f5e2ae47b40052b27515d9d60e10b377639d2","datavalue":{"value":{"amount":"+0.88696396","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":"Q5940144$9762EA6B-6F96-489A-9857-2E6D99AEF3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de6a803a3a4a2e865945fcce92f90469eba3dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3982253,"id":"Q3982253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25df8588485477e7447f802c47be0407191da58","datavalue":{"value":{"amount":"+0.8760312","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":"Q5940144$27618F23-92F5-474D-B11F-567A94D6E473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b640f8d8f574476ffed7e90eb3cb7db4cf62290a","datavalue":{"value":{"entity-type":"item","numeric-id":2887542,"id":"Q2887542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fcd5d67fcdadf9a2ef095e802ac23ee941f695","datavalue":{"value":{"amount":"+0.8754325","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":"Q5940144$B3066247-5848-410A-8E25-652F44B90D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3073d367448990c3fd0ea2a116b7c7a72abb96a9","datavalue":{"value":{"entity-type":"item","numeric-id":4944954,"id":"Q4944954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c65553b8816998ba793da3c9350771d0862aaf9","datavalue":{"value":{"amount":"+0.8743647","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":"Q5940144$C14BA27B-1E0F-464B-B2CC-587AB665A5DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"709e5a04d7e5789573a6f5642e7983d93b269492","datavalue":{"value":"In a 2-valued logic, once we assign truth values to atomic formulas, we can use logical operators to determine those of arbitrary formulas, and thus get an interpretation of the underlying theory. It is well known that in every interpretation, every provable formula is true, i.e., has truth value 1. NEWLINENEWLINENEWLINEIn general infinite-valued logics, when we start with truth values for atomic formulas, the truth values of the corresponding formulas may become undefined -- due to the lack of some infinite supremum or infimum in the underlying structure of truth values. In particular, the truth value of a provable formula may become undefined. It turns out that in fuzzy logic, if we restrict ourselves only to total (``safe'') interpretations, i.e., interpretations in which every formula gets a truth value, then in each such interpretation every provable formula is true. The authors prove that this restriction to safe interpretations is necessary: specifically, they prove that for each continuous t-norm that is different from \\(\\min(a,b)\\), there exists a provable formula whose value in some (un-safe) interpretation exists but is different from 1 (= ``absolutely true'').","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940144$95DF5FE7-B03D-4C69-9AE7-455C3FD8122B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5940144","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5940144"}}}}}