α-Input and α-Unit Resolution Methods for Generalized Horn Clause Set in L_(V(n×2))F(X)

a-Input resolution and a-unit resolution for generalized Horn clause set are discussed in linguistic truth-valued lattice-valued first-order logic （ Lv（ n × 2） F（X） ）, which can represent and handle uncertain linguistic values-based information. Firstly the concepts of a-input resolution and a.unit resolution are presented, and the equivalence of them is shown. Then α-input （a-unit） resolution is equivalently transformed from Lv（ n × 2） F（X） into that of LnP（X）, and their soundness and completeness are also established. Finally an algorithm for a-unit resolution is contrived in LnP（ X）.

Everything That Linguists Have Always Wanted to Know About Logic But Were Ashamed to Ask

当代的语言研究与哲学、逻辑学联系十分紧密。当代语言学一方面要研究解决自然语言中的哲学、逻辑学问题,比如语义的性质与语义表达,自然语言量词的域(Scope)关系等,另一方面,要大量使用数理逻辑作为研究工具,以使研究精确化。因此,一个语言研究者,了解有关语言的哲学、逻辑知识,掌握数理逻辑是十分必要的。