论文部分内容阅读
本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型.
关于严格蕴涵系统的布尔值模型
【摘 要】
：
本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值
【机 构】
：
中山大学逻辑与认知研究所
【出 处】
：
南京大学学报：数学半年刊
【发表日期】
：
2003年2期
【基金项目】
：
the MOE Project of Key ResearchInstitute of Humanities and Social Science in University
其他文献
利用距离几何的理论与方法,研究了球面空间S_n（K）中n维单形的几何不等式问题,建立了涉及n维球面单形体积、外接球半径、内切球半径与棱长的几个几何不等式,这些几何不等式是球
本文利用KAM理论，证明了一类带有常位势m（m〉2）以及Fourier乘子Mξ的高维Laplace方程△u＋（m＋Mξ）u＋u^3=0,在周期边值条件下拟周期解的存在性。
本文利用挠理论的TH-扩张讨论了某些相对环的有限正规扩张(优扩张、几乎优扩张),如:相对SI-环,相对V-环,相对GV-环,相对SF-环等,从而得到了TH-扩张的一些应用.
设J是Hopf代数的扭，本文研究由J所定义的H-模余代数C^J．主要证明了如果J和△（h）交换，那么Hopf模范畴MH^C异同构于MH^CJ；C^MH同构于C^JMH．特别地当H乘法交换时，以上结论成立．并且证得（C&
本文讨论了非线性方程的一类新的无导数的迭代解法．根据求积规则，首先导出了一类新的无导数的非线性迭代方法，然后证明了新方法的收敛性．本文也是最新文献^[1]的一个本质修正．同时
本文给出了sn-第二可数空间的一个刻划:空间X是sn-第二可数的当且仅当X是可分度量空间的1-序列覆盖(且紧覆盖)映象.这里的1-序列覆盖映射不能减弱为序列覆盖映射.作为这一结
研究了一类带有二次目标函数及二次等式约束的优化问题。假定约束是可行、规范的，对于目标函数为正定或半正定的情形，得到了全局最优解的充要条件。