Ma Jun; Gao Ya; Qin Keyun; Xu Yang
(Southwest Jiaotong University, 2004)
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 ...