On very true (Q1349204)

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 Łukasiewicz 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 Łukasiewicz 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.