 It should also be remarked that the properties of the object language biconditional depend on the logical system in which the biconditional is employed. Biconditionals of different logics may have different logical properties, and it surely matters what kind of the equivalence connective is used for defining truth values. This means that the concept of a truth value introduced by means of the identity criterion that involves a biconditional between sentences is also logic-relative. Thus, if ‘\(\leftrightarrow\)’ stands for material equivalence, one obtains classical truth values, but if the intuitionistic biconditional is employed, one gets truth values of intuitionistic logic, etc. Taking into account the role truth values play in logic, such an outcome seems to be not at all unnatural.