Syntactic System of lattice-valued Propositional logic based on finite lattice implication algebra
Jun Ma, Ya Gao, Kaikai Qin, Yang Xu · OPUS - Open Publications of UTS Scholars (University of Technology Sydney) · 2002
By taking finite lattice implication algebra as a truth2value field , a syntactic system of lattice2 valued propositional logic based on finite lattice implication algebra was proposed. The basic definitions of syntactic implies , proof and consistency of the system on level A were given axiomatically. Finally , the soundness theorem , consistency theorem , weak complete theorem and weak deduction theoremof the system were proved.