[ 复数 quantifiers ]
We can enrich the classical first-order logic expression by adding a new quantifier symbols,such as "most".
我们可以增加新的量词符号,比如说most来丰富经典一阶逻辑的表达能力。
参考来源 - 表达量化的方式及其形式刻画问题探讨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
同义词： logical quantifier
以上来源于: WordNet
N-COUNT In grammar, a quantifier is a word or phrase such as "plenty" or "a lot" which you use to refer to a quantity of something without being precise. It is often followed by "of," as in "a lot of money." 量词
应用推荐