Syntax of first-order lattice valued logic system FM  

作　　者：Xu, Y Qin, KY Song, ZM 

机构地区：[1]Sw Jiaotong Univ, Dept Appl Math, Chengdu 610031, Peoples R China

出　　处：《Chinese Science Bulletin》1997年第16期1337-1340,共4页

摘　　要：PAVELKA in ref. [1] established a propositional logic system whose truth values domain is an enriched residuated lattice and obtained some beautiful results. In order to study more general lattice valued logic systems, we proposed the concept of lattice implication algebra, discussed the corresponding lattice valued propositional logic system, and established a

关 键 词：LATTICE implication ALGEBRA LATTICE VALUED logic FORMAL proof. 

分 类 号：O141[理学—数学]