ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vfl

摘要

Many-valued logic system always plays a crucial role in artificial intelligence. Many researchers have paid considerable attention to lattice-valued logic with truth values in a lattice. In this paper, based on lattice implication algebras introduced by Xu (Journal of Southwest Jiaotong University (in Chinese), Sum. No. 89(1), 20-27, 1993, and L-valued propositional logic L_vpl established by Xu et al.