|
|||||
|
|
| 模态模型论中Bowen若干定理的反例和内插定理的失败 | |
| 引用本文： | 吕其慈.模态模型论中Bowen若干定理的反例和内插定理的失败[J].科学通报,1983,28(15):897-897. |
| 作者姓名： | 吕其慈 |
| 作者单位： | 中国科学院计算技术研究所中国科学技术大学研究生院 北京 |
| 摘 要： | Kit Fine在文献1]中证明了对于包含S_5的一些模态谓词演算而言,内插定理不成立,这与Bowen的结论相矛盾,并说,由于文献2]“关于Robinson的联合无矛盾性定理(此定理为内插定理的主要依据——作者按)未给出详细证明,我们难于了解其错误所在。”事实上,Bowen的错误不在于其联合无矛盾性定理(文献3]定理11.1,文献2]定理10.1)、内插定理 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |