【摘 要】
：
本文试图从逻辑的角度来探讨语境依赖现象，一类特殊的语言语境依赖现象，即模态命题语言中模态算子在复合句中因位置不同而意义不同的这类现象。主要工作是从语义学方面对D．M．Gabb
论文部分内容阅读
本文试图从逻辑的角度来探讨语境依赖现象，一类特殊的语言语境依赖现象，即模态命题语言中模态算子在复合句中因位置不同而意义不同的这类现象。主要工作是从语义学方面对D．M．Gabbay关于超模态逻辑理论进行扩充。首先，通过泛关系语义学和D．M．Gabbay的“模转换”概念建立起了与Gabbay相同的超模态逻辑语义学。在这基础上，定义了模转换范式，并证明了范式的存在定理，使得所有超模态逻辑的讨论都转换为对其范式的讨论。其次，对K、T两种模态算子，在任意框架上进行一般性的推广，得到一类超模态逻辑类K[Tm，Kn]。
其他文献
媒体融合并非简单地进行'两微一端'的新闻阵地拓展,而是要求内容生产的全过程都要引入新媒体思维。作为一条短视频或者一篇图文报道的重要组成部分,标题在新媒体传播
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
2017年10月20至22日在浙江大学举行了本年度全国现代逻辑学术研讨会。此次大会由中国逻辑学会现代逻辑专业委员会、浙江大学哲学系和浙江大学语言与认知研究中心共同主办。会
TDI-CCD的极限分辨率为空间采样频率的一半,且受到像元几何孔径、电荷转移失效率、速度匹配和电荷转移离散运动的影响.在低光照度下,分辨率则将受到噪声限制.TDI级数对分辨率
<正> 现代红外敏感器都是利用大量探测器元件来探测红外辐射并产生可以形成热图像或其它信息的电子信号的。与这种多元件系统相关联的一个主要问题是,探测器列阵中的每个元件
近年来,伴随大规模“海归潮”的出现,大量留学生回国发展并成为社会阶层中的新兴群体。根据《2017中国海归就业调查报告》显示,中国海外留学生回到祖国发展的人数再创新高,中
基于"智慧校园"提升通用技术学科的信息化水平,是指利用现代信息技术,开发微视频、整合课程资源,创设智慧化通用技术学习环境,形成独特的信息化教学设计,优化项目教学模式,让
高中阶段数学思想方法主要包括分类讨论思想、数形结合思想、函数与方程思想、转化的思想等。在课堂教学中要不断渗透上述思想方法,以提升学生的数学抽象、直观想象、逻辑推
机械零件制造成本是评价零件可制造性的 1个指标 ,对产品设计是 1种反馈 .通过产品制造成本的核算可以使设计人员在产品设计的早期阶段了解产品的制造成本 ,及时改进设计以降
提出了一种基于连续切换轮的移动机器人平台的设计与实现。每个连续切换轮由十根自由运动的辊子组成,轮子不仅能轴向滚动,同时每根辊子也能绕自身轴旋转。轮子采用直流无刷电