广义量词理论 Generalized Quantifier Theory
We gave the definition of generalized quantifier in the lattice-valued first-order logic LF(X) and Lvfl. We also gave the inclusion relation, union and product operation of generalized quantifiers and proved reasoning results with them.3.
2．在格值一阶逻辑系统LF（x），Lvfl中定义了广义量词，以及广义量词之间的包含关系和广义量词的并交运算，得到了带广义量词的推理规则和有关广义量词的包含，并交运算的推理结果。
参考来源 - 基于格蕴涵代数的格值逻辑中的近似推理研究·2,447,543篇论文数据，部分数据来源于NoteExpress
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.
文章通过对汉语量词和英语单位名词的语法化现象的描述，证实了广义隐喻是语法化的驱使力量。
This paper describes the grammaticalization of Chinese classifiers and English unit nouns to prove that metaphors in general sense are the main cause of grammaticalization.
应用推荐