共查询到10条相似文献,搜索用时 390 毫秒
1.
邻域语义学和模型完全性 总被引:2,自引:0,他引:2
刘壮虎 《北京大学学报(哲学社会科学版)》1995,(3)
作者从将所有命题算子都看作内涵到内涵的算子的观点出发,提出了一般命题逻辑的概念,建立了统一的语义──邻域语义学。讨论了邻域语义学的模型完全性,给出了逻辑系统具有模型完全性的充分必要条件。模型完全性的哲学背景是逻辑系统必须遵守组合原则和唯一性原则。模型完全性仅是逻辑系统的必要条件,要刻画逻辑系统需要更强的完全性─框架完全性。邻域语义学开辟了逻辑研究的新领域,对各种不同的逻辑系统间的比较提供了有效的方法。 相似文献
2.
修正的Meyer—Konig和Zeller算子的收敛性 总被引:2,自引:2,他引:0
王建力 《绍兴文理学院学报》2000,20(5):4-7
对Meyer-Konig和Zeller算子的无穷求和修正为有限和,并获得该算子收敛的一个充分必要条件。 相似文献
3.
本注记在文献[1 ]的基础上进一步讨论了算子A∈B(H) N 为算子T∈B(H)的算子点谱的特征 特别得到当T为亚正常算子、A与T及T 可换时A为T的算子点谱的充要条件 同时得到了KerτnT ,A=KerτT ,A成立的充要条件 相似文献
4.
本文主要讨论了Hilbert空间H=H_1H_2上算子的算子方程AX—XB=C的可解性与算子方程A_1X—XB_1=c的可解性之间的关系,给出了较[1]更进一步的结果。 相似文献
5.
形式语义学的历史渊源和理论框架 总被引:2,自引:1,他引:1
彭家法 《安徽大学学报(哲学社会科学版)》2004,28(4):58-63
传统语义学认为自然语言不适合进行形式分析 ,蒙太古 (Montague)等人开创的形式语义学一反传统 ,提出“英语也是形式语言”。形式语义学的主要观点来源于逻辑学、模型理论和语言哲学 ,其基本理论框架包括广义量词、函项结构、范畴语法和组合原则等。形式语义学近年来在国外影响很大 ,本文主要介绍其起源和经典理论的基本框架 相似文献
6.
皮尔士逻辑语义学思想 总被引:1,自引:1,他引:0
刘新文 《燕山大学学报(哲学社会科学版)》2008,9(2):38-43
模型论肇始于20世纪30年代初期,一般追溯到塔尔斯基、马尔捷夫以及罗宾逊等,“成名”于20世纪50年代。皮尔士19世纪的工作已经开始了命题逻辑的可能世界语义学分析,也开始了多模态和量化模态逻辑的可能世界语义学分析。本文将从量词、模态词、逻辑联结词以及存在图等方面来整理C·S·皮尔士的博弈论语义学和可能世界语义学等模型论思想。 相似文献
7.
高涛 《南华大学学报(社会科学版)》2009,10(5):95-97
Bayer将英语的only/even/also和德语的sogar/nur等具有量化意义的词称为焦点算子。根据移位理论,焦点算子在逻辑式中必须提升至其量化域以解释其量化意义。通过观察,我们发现DP内焦点算子的移位目标是[Spc,DP]位置,并且焦点算子的移位具有移位方向一致性特征。 相似文献
8.
本文将[1]中关于Ba空间中算子内插方面的有关结果运用到逼近论中,讨论了Bernstein—Kantorovic算子在Ba空间中的一致逼近问题 相似文献
9.
本文将[1]中关于Ba空间中算子内插方面的有关结果运用到逼近论中,讨论了Bernstein—Kantorovic算子在Ba空间中的一致逼近问题 相似文献
10.