[1]School of Computer and Information Technology,Liaoning Normal University,Dalian,China;
[2]State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing,China;
[1]School of Computer and Information Technology,Liaoning Normal University,Dalian,China;
[3]Marine Engineering College,Dalian Maritime University,China;
[4]Anshan Radio and TV University,Liaoning,China;
Linguistic truth-valued lattice implication algebra; 6-elements linguistic truth-valued first-order logic; Automated reasoning;