检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国社会科学院,北京100732
出 处:《重庆理工大学学报(社会科学)》2010年第3期18-24,共7页Journal of Chongqing University of Technology(Social Science)
基 金:北京市哲学社会科学"十一五"规划项目(06BaZX022)资助
摘 要:回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstahl的数字三角形简图进行了改进;在整理相关文献的基础之上,给出了更加全面的广义量词的单调性定义,并给出了更加全面的各种单调性的形式化表述,从而更加清楚直观且全面深入细致地探讨了类型为〈1〉的广义量词和类型为〈1,1〉的广义量词的单调性与数字三角形之间的关系。This paper extends the work of Stanley Peters and Dag Westerstahl (2006). Firstly, it gives a brief background review of generalized quantifiers. Secondly, on the basis of introducing the technique of drawing number triangles, it improves the simple diagrams of number triangles which Stanley Peters and Dag Westerstaihl propose. Thirdly, it defines all sorts of monotonocity of generalized quantiflers and provides their formal expressions on the basis of other researchers' literatures, and thus clearly and intuitively discusses the relations between monotonocity of type 〈 1 〉 and type 〈 1, quantifiers and number triangles in an all-round way.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.128.29.244