Abstract: With the finite lattice implication algebra being the range of true values of a logic system, a semantic system of lattice-valued propositional logic based on the finite lattice implication algebra is built. Some basic definitions, such as the valuation of the system and the satisfiability of formulas on level A,etc., is discussed. The decidability of effectiveness of the system is proved, and a decision algorithm is presented.