An evaluation method, similar to the two-valued one for the classical logic, is introduced to give a decision procedure for some of intermediate logics. The logics treated here are obtained from some logics by adding the axiom av a.