Syntactic System of lattice-valued Propositional logic based on finite lattice implication algebra
- Southwest Jiaotong University
- Publication Type:
- Journal Article
- Journal of Southwest Jiaotong University, 2004, 39 (1), pp. 90 - 95
- Issue Date:
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.
Please use this identifier to cite or link to this item: