摘要
In[1—3], Wang et al. assume always that the lattice of truth values possesses a weak or strong characteristic formula. It is not difficult to know that one of the essential reasons for which such a strong condition must be imposed is the definition of 'a model satisfies
