 Generally speaking, the framework of valuation systems not only perfectly suits the conception of logic as the science of truth values, but also turns out to be an effective technical tool for resolving various sophisticated and important problems in modern logic, such as soundness, completeness, independence of axioms, etc.