A formal theory of intermediate quantifiers

Vilem Novak

首页> 外文期刊>Fuzzy sets and systems >A formal theory of intermediate quantifiers

【24h】

A formal theory of intermediate quantifiers

机译：中间量词的形式理论

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The paper provides a logical theory of a specific class of natural language expressions called intermediate quantifiers (most, a lot of, many, a few, a great deal of, a large part of, a small part of), which can be ranked among generalized quantifiers. Th

机译：本文提供了一种称为自然量词的特定类别的逻辑理论，称为中间量词（最多，很多，很多，很多，很大一部分，一小部分），可以将其排在中间广义量词。钍

著录项

来源
《Fuzzy sets and systems》 |2008年第10期|p.1229-1246|共18页
作者
Vilem Novak;
展开▼
作者单位

Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, 30. dubna 22, 701 03 Ostrava 1, Czech Republic;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类模糊数学;
关键词
generalized quantifiers; higher order fuzzy logic; fuzzy type theory; aristotle's syllogisms; evaluative linguistic expressions; precisiated natural language; fuzzy quantifiers;

机译：广义量词;高阶模糊逻辑;模糊类型理论;亚里斯多德的三段论;评价语言表达;精确的自然语言;模糊量词;

相似文献

外文文献
中文文献
专利

1. A formal theory of generalized intermediate syllogisms [J] . Petra Murinova, Vilem Novak Fuzzy sets and systems . 2012,第1期

机译：广义中间三段论的形式理论
2. The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of 'Many' [J] . Fuzzy sets and systems . 2020,第Juna1期

机译：重新审视模糊自然逻辑中的中间量词理论和“许多”模型。
3. Translating Informal Theories Into Formal Theories: The Case of the Dynamic Computational Model of the Integrated Model of Work Motivation [J] . Vancouver Jeffrey B., Wang Mo, Li Xiaofei Organizational Research Methods . 2020,第2期

机译：将非正式理论转化为正式理论：以工作动机综合模型为基础的动态计算模型
4. On the properties of measure in the theory of intermediate quantifiers and the quantifier “Many” [C] . Vilem Novák, Petra Murinová IEEE Symposium Series on Computational Intelligence . 2017

机译：关于中间量词和量词“ Many”的度量的性质
5. What Are Formal and Informal Student Outcomes for Intermediate English at a Mississippi Community College? [D] . Robinson, Sheriece L. 2018

机译：密西西比州社区大学中级英语的正式和非正式学生成果是什么？
6. From empirical patterns to theory: a formal metabolic theory of life [O] . Tânia Sousa, Tiago Domingos, S.A.L.M Kooijman 2008

机译：从经验模式到理论：生命的正式代谢理论
7. Development of Simultaneous Inclusion and Correlation Visualization System Using Formal Concept Analysis and Quantification Theory Class III [O] . Yusei SHIMADA, Toshinobu HARADA 2019

机译：使用正式概念分析和量化理论级同时夹杂容和相关性可视化系统的研制III
8. A Formal Theory of Cubical Complexes Formal Report, 1 Sep. 1968 - 30 Apr. 1969 [R] . Putzolu, G. R., Roth, J. P., Wagner, E. G. 1969

机译：1968年9月1日至1969年4月30日的立方复杂形式正式理论报告

A formal theory of intermediate quantifiers

摘要

著录项

相似文献

相关主题

期刊订阅