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:
Filename Description Size
Thumbnail2006007158OK.pdf388.7 kB
Adobe PDF
Full metadata record
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: