论广义量词的对称性及相关性质

发布时间：2017-10-12 21:36

  本文关键词：论广义量词的对称性及相关性质

  更多相关文章： (余)对称性 (余)相交性 (余)驻留性 单调性

【摘要】：首先介绍相关的概念;其次,笔者证明了类型为〈1,1〉的广义量词的对称性与单调性的关系定理;然后,笔者给出了该类量词的余对称性、余相交性和余驻留性的定义;接着,笔者提出并证明了关于这三个性质的四个定理;最后,证明了余对称性与单调性的关系定理。
【作者单位】： 中国社会科学院研究行政院哲学系;
【关键词】： (余)对称性 (余)相交性 (余)驻留性 单调性
【基金】：“北京市哲学社会科学‘十一五'规划项目:逻辑语义学研究(06BaZX022)”资助
【分类号】：B819
【正文快照】： “在可控的方式下通过广义量词的方法是增强一阶逻辑的表达力的方法之一。”[‘〕1957年，Mostowski发现存在许多不能够根据一阶逻辑中的V和」来定义的广义量词[，〕。1966年Lindstrom对广义量词中的Lindstrom量词的概念给出了形式化的定义〔3〕。广义量词理论提出了自然语言

【相似文献】

中国期刊全文数据库 前10条

1 聂欣如;电影的单调性语言[J];文艺研究;1986年01期

2 覃事新;复合函数单调性的判别方法[J];常德师范学院学报(社会科学版);1995年03期

3 张晓君;;广义量词的相关性质研究[J];逻辑学研究;2010年03期

4 刘伟;广义量词理论中的单调性研究[J];外语学刊;2002年01期

5 杨丽;;分析导数在函数中的应用[J];青年文学家;2009年04期

6 由雷,王艳;凸函数的一个等价定义[J];北华大学学报(社会科学版);1997年01期

7 孙英杰;;对汉语“都”的语义考察[J];黑龙江社会科学;2007年03期

8 丁国旗;广义量词及其单调性[J];山东外语教学;2001年03期

9 黎日松,马玲;《函数迭代与一维动力系统》中一个定理的注记[J];湛江师范学院学报;2004年03期

10 吴大坤;;用高等数学处理初等数学问题[J];枣庄学院学报;1988年04期

中国重要会议论文全文数据库 前10条

1 杨杰;沙晓东;;受弯构件裂缝弯矩配筋关系初探[A];中国土木工程学会港口工程分会技术交流文集[C];2009年

2 赵海良;诸昌钤;;分档隶属函数对控制算法单调性的影响[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

3 刘郁涵;;如何生成不确定测度[A];第十届中国青年信息与管理学者大会论文集[C];2008年

4 焦永树;严宗达;朱宝安;;数学规划加权残值法分析文克勒基础板问题[A];第六届全国结构工程学术会议论文集（第一卷）[C];1997年

5 周勤;;GMs质量评估方法在新生儿中的初步应用[A];第六届江浙沪儿科学术会议暨儿科学基础与临床研究进展学术班论文汇编[C];2009年

6 弓肇祥;季冠芳;;哲学逻辑的几个理论问题[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

7 张力;;浅谈二次函数在高中阶段的再认识[A];全国教育科研“十五”成果论文集（第二卷）[C];2005年

8 刘小娟;方卯发;;双量子系统任意态的条件熵纠缠度[A];第十一届全国量子光学学术会议论文摘要集[C];2004年

9 尹连生;白玉皎;;GM(1,1)模型建模条件及模型改造[A];中国土地学会首届青年学术年会论文集[C];1992年

10 邹崇理;;MG与GQ理论对自然语言限定词的研究[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

中国重要报纸全文数据库 前7条

1 通讯员　 昝忠良;透明 文明 高效 优质[N];人民代表报;2006年

2 国海证券固定收益证券研究中心 杨永光;升值预期考验央行汇控能力[N];证券时报;2005年

3 山东省莱州市沙河镇中心小学 杜洪芝;“六招”培养学生计算能力[N];大众科技报;2007年

4 深圳商报记者 邓小群 整理;用好五十天 创造小奇迹[N];深圳商报;2003年

5 本报记者 蒋永峰;为把实验室成果转化为生产力[N];湖南经济报;2007年

6 湖南育贤中学 周友良;函数的单调性在数学解题中的灵活运用[N];山西科技报;2003年

7 薛艳文;导数知识误用解析[N];学知报;2010年

中国博士学位论文全文数据库 前10条

1 徐东坡;递归神经网络梯度学习算法的收敛性[D];大连理工大学;2009年

2 尹河;在非结构自适应网格上对二维Euler方程进行数值模拟[D];西北工业大学;2001年

3 姚纯青;规范固定Yang-Mills热流及相关问题研究[D];华东师范大学;2006年

4 赵海良;单调惯性系统的智能模糊控制理论研究[D];西南交通大学;2000年

5 巩万中;Orlicz-Lorentz、Orlicz-Bochner空间中的单调性与逼近性质[D];上海大学;2011年

6 柳建军;求解不适定问题的非线性隐式迭代法和正则化GMRES方法[D];上海大学;2009年

7 易泰山;单调动力系统理论及其应用[D];湖南大学;2005年

8 魏轶华;随机环境下的若干定价问题研究[D];西安电子科技大学;2004年

9 俞武扬;L_p-Brunn-Minkowski理论研究[D];上海大学;2006年

10 孔令臣;对称锥互补问题的互补函数和价值函数研究[D];北京交通大学;2007年

中国硕士学位论文全文数据库 前10条

1 罗政;关于Z-矩阵的修正不完全高斯—塞德尔迭代法谱半径的单调性[D];浙江大学;2003年

2 安红娜;弱Orlicz空间的若干性质[D];哈尔滨理工大学;2009年

3 崔玉娟;一类非线性方程的解的渐近性[D];华东师范大学;2010年

4 张晓乐;退化p-Laplace方程的正解的单调性及唯一性[D];大连理工大学;2011年

5 杨芬;基于约束的关联规则挖掘[D];华中科技大学;2004年

6 李卫平;分圆域的一些问题研究[D];南京师范大学;2007年

7 彭志龙;耦合摆型方程组的单调性与动力学[D];苏州大学;2008年

8 张佩林;过阻尼摆型方程的不变曲线及强阻尼耦合振子系的行波解[D];苏州大学;2008年

9 许春兰;一类耦合振子系的约化与欠阻尼F-K模型行波解的稳定性[D];苏州大学;2008年

10 王俊辉;高中生对数列的理解[D];华东师范大学;2009年

，

本文编号：1021050