论文部分内容阅读
首先介绍相关的概念;其次,笔者证明了类型为〈1,1〉的广义量词的对称性与单调性的关系定理;然后,笔者给出了该类量词的余对称性、余相交性和余驻留性的定义;接着,笔者提出并证明了关于这三个性质的四个定理;最后,证明了余对称性与单调性的关系定理。
论广义量词的对称性及相关性质
【摘 要】
：
首先介绍相关的概念;其次,笔者证明了类型为〈1,1〉的广义量词的对称性与单调性的关系定理;然后,笔者给出了该类量词的余对称性、余相交性和余驻留性的定义;接着,笔者提出并
【机 构】
：
中国社会科学院研究行政院哲学系
【出 处】
：
西南大学学报：社会科学版
【发表日期】
：
2011年S1期
【基金项目】
：
“北京市哲学社会科学‘十一五’规划项目:逻辑语义学研究(06BaZX022)”资助
其他文献
通过对1986—2009年宁夏地区获得国家自然科学基金项目资助情况的统计分析,论述了国家自然科学基金在提升宁夏地区科学研究水平和促进人才培养方面发挥的积极作用,对近年来宁
介绍了确定玉米施用硼肥土壤临界值的试验材料和试验方案,分析了施用硼肥对玉米生物指标的影响,比较了玉米施用硼肥方法的优缺点及其增产效果。
提出了头枕安全气囊的设想:在前排座椅头枕内部增设安全气囊,在正面碰撞中该气囊打开并迅速膨胀,在后排乘员头部与座椅间形成气垫,并吸收碰撞能量,避免头部与前排头枕或靠背
为了研究复合材料层合结构在疲劳载荷下的分层扩展行为,开发了复合材料层间疲劳损伤数值计算模型。定义层间材料模型包括层间材料本构关系、损伤判据以及疲劳损伤演化法则。
本文提出了一种基于PB递归神经网络（RNNPB）算法的陪护机器人多模式交互控制方法。首先，提出了一种包含多模式交互、交互识别与交互决策等智能体组成的陪护机器人多模式交互框架，
在前期的工作中以IETF颁布的呼叫处理语言（CPL）为蓝本，发展出了面向综合通信业务的工作流语言——扩展呼叫处理语言（XPL）。XPL不但能够描述呼叫类业务，还可以描述短信、彩信等数据
为解决倒立摆模糊控制器的优化设计问题，提出一种基于Bloch量子遗传算法（BQGA）的优化设计方案。该方案将量子位的3个Bloch坐标都看作基因位，每条染色体包含3条并列的基因链，每条基
设计了一个采用新型预充快速开启开关运放的低功耗12位40MS／s流水线模数转换器（ADC）。该转换器通过采用新型预充开关运放技术、采样保持电路消去结构、动态比较器和优化采样电容
研究了可用于胃肠道内微型诊疗装置位置连续跟踪的电磁跟踪定位方法。利用泰勒级数展开方法，在筒化的单圆环线圈模型基础上建立了电磁跟踪定位系统数学模型，完成了便携式定位系