{"entities":{"Q1349204":{"pageid":1359943,"ns":120,"title":"Item:Q1349204","lastrevid":68529846,"modified":"2026-04-13T00:19:48Z","type":"item","id":"Q1349204","labels":{"en":{"language":"en","value":"On very true"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1743110"}},"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":"Q1349204$E3AAF87C-2462-4BA8-996A-945D17452A59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db5b22c242dbd2d4f619d1fbcd594f021f30284f","datavalue":{"value":{"text":"On very true","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349204$70DA5596-2103-43CE-A018-71C8D8154326","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06bdb47fa53b2546d6a072fa447468a9b658f845","datavalue":{"value":"0997.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349204$43BBCFF8-4C12-46B4-9522-5609BED38EE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae19c84e46d70f95607f1aae5ddeee596c47de19","datavalue":{"value":"10.1016/S0165-0114(01)00103-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349204$81D92196-F9C3-4BBE-9504-3C14876D9473","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":"Q1349204$E71BFF57-FA0D-4395-9927-F13AD1B54200","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":"Q1349204$773A4C9A-73F8-4C99-80A4-374BA4585CCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cda08edf6e14c28a948f9b78f5bc4351bb49e6b0","datavalue":{"value":{"time":"+2002-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1349204$E1F51A75-B547-4C8C-998A-4CC1D3CC449A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a9756da34919f5a910f4d0ddc8c1ee603aaefdd","datavalue":{"value":"The author considers a notion ``very true'' in the context of fuzzy logic. He builds a logic \\(\\text{BL}_{\\text{vt}}\\) on the ground of the basic fuzzy logic BL appending to its set of axioms three new axioms corresponding to the unary connective vt (very true). Then the author gives examples of particular vt operators in different t-norm logics, e.g., in \u0141ukasiewicz many-valued logic, one can take \\(\\max(0,2x-1)\\) to define the ``very true'' connective vt\\((x)\\), but in this case the axioms for ``very true'' fail to be tautologies for another t-norm logic, the product logic. Also a deduction theorem and a completeness theorem for \\(\\text{BL}_{\\text{vt}}\\) are given. The author points out that the question of standard completeness for the \u0141ukasiewicz and the product logics with the vt operator and its additional axioms remains an open problem.    I believe that the author's work presented in this paper is essential for the development of basic fuzzy logic and for the investigation of interconnections between different t-norm logics, but it doesn't seem quite new in the framework of many-valued logic to introduce an operator on the real interval \\([0,1]\\) which evaluates truth values in the way of ``very true''. A lot of people did it before. Nothing would change if one redid their work under the slogan of fuzziness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349204$AEA50A96-0AE4-4C92-A705-480F3BBE21C6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349204$FA09EFE0-C0DC-4DAD-B3F6-5B8F8D69A30C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349204$A4B29BB0-FD6E-49C9-ABEA-26D7BB11B9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349204$1B50CDEA-6F63-4040-9FAF-71E02093B744","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35712dc9b3f2c7056da9fae13938b5781dc750ed","datavalue":{"value":"1743110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349204$ED719740-CC7B-476F-8A95-DA5D464326EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c660e62091173da4371b76328aeec0d7796c044f","datavalue":{"value":"basic fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349204$BA5419EE-442A-4B31-9C01-D80D272396C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349204$C5636408-2748-45AD-B09A-7A0EBA157200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"297bfb02f896be9278c44b8aa1f4049110d3c1d7","datavalue":{"value":"t-norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349204$1A8D1E8D-93BE-452D-BD99-2E0F58E52AD6","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":"Q1349204$72D42567-C60C-4FCE-8CA1-1774A97AF565","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7bc15f249726e286830d3ad1d34138fb5e2e3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4893133,"id":"Q4893133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349204$82CC3631-F774-4053-87DD-3BF4C91F78D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9eaba505045c34b16571fa05a9bc853b2360","datavalue":{"value":{"entity-type":"item","numeric-id":3202996,"id":"Q3202996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349204$366C199E-8FA1-45E3-9D8D-2510F7C93DC1","rank":"normal"},{"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":"Q1349204$99CF423A-36A2-471D-9C64-D8A7A6D53BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff4c4a76fa2b59f64d46da20221b19bec346c74","datavalue":{"value":{"entity-type":"item","numeric-id":3427897,"id":"Q3427897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349204$70AD5F46-506C-4EDC-BCAD-EBFFCE8CA9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55f49bdf38348bbae9081b4cb0d95eb36f31695","datavalue":{"value":{"entity-type":"item","numeric-id":4549476,"id":"Q4549476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349204$1A75D347-EFFA-480E-9F82-9EAB0487113F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f89ea61c5486400cb5592e47e9465a80b854f96","datavalue":{"value":{"entity-type":"item","numeric-id":1222643,"id":"Q1222643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349204$FE7B6591-5945-4359-B081-CF357145F432","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bad760f93b97e88b8731b536a61d4920c7ff48c","datavalue":{"value":"https://doi.org/10.1016/s0165-0114(01)00103-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349204$089F5535-DB41-4AC4-A2B8-0EE0B0DE49E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f620f4d77d88792cf1e07aca0b2cf9364fcfa80d","datavalue":{"value":"W2089512798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349204$257A1B39-4882-43A7-8A73-CB07A247AD6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e83e00d39b722627a14910ff34edb461aa2bebc","datavalue":{"value":{"entity-type":"item","numeric-id":869115,"id":"Q869115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a39e0ebdc24f89d01eeb4a44b1ded4cad665ff","datavalue":{"value":{"amount":"+0.7916291952133179","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":"Q1349204$D93A71AA-A25B-46A9-AA9D-1B502BA542BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803a8a7bdc6563775ed83a999ed1e28daaf7d5b2","datavalue":{"value":{"entity-type":"item","numeric-id":2391233,"id":"Q2391233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d480a8fabc67526e910d51d60c34763e9c768d","datavalue":{"value":{"amount":"+0.7915639281272888","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":"Q1349204$92FD1117-6253-4EF9-ABDB-C7C71FD8C8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4b55b7a99f1caa69647090b52d1b8eaa98915e","datavalue":{"value":{"entity-type":"item","numeric-id":5038853,"id":"Q5038853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db720c4918a426b6a8a6e25e4e4efbc219420d68","datavalue":{"value":{"amount":"+0.7758411765098572","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":"Q1349204$7D0FE05F-D437-4E62-ACAB-26155FF79D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779812bff5157dab352a5b33a8dca48f56df7c2f","datavalue":{"value":{"entity-type":"item","numeric-id":3161469,"id":"Q3161469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0becdff7c6ca64d975eb1fffe0766063bdf29356","datavalue":{"value":{"amount":"+0.7625392079353333","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":"Q1349204$E99E661A-259B-4AE3-A3FC-4D5F34DC1148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25664345a4f63c0b21cf1893b958d56ed68f504c","datavalue":{"value":{"entity-type":"item","numeric-id":729704,"id":"Q729704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ccc0f8b971575da03f58ed5a956b3341fb41c0","datavalue":{"value":{"amount":"+0.7493256330490112","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":"Q1349204$1708EEF1-6F39-42D5-8983-EE8FCDB80279","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On very true","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_very_true"}}}}}