Abstract: By taking finite lattice implication algebra as a truth-value field, a syntactic system of lattice- valued propositional logic based on finite lattice implication algebra was proposed. The basic definitions of syntactic implies, proof and consistency of the system on levelAwere given axiomatically. Finally, the soundness theorem, consistency theorem, weak complete theorem andweak deduction theoremof the system were proved.