排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
康宏逵 《湖南科技大学学报(社会科学版)》2012,15(1):23-24
该信缘起陈慕泽先生在《浙江社会科学》发文指出国内数理逻辑教材存在的问题,康宏逵先生进行了回复,并表示可以公开发表。本刊予以刊载,旨在笃行"明辨"之风。 相似文献
2.
我们用戈德布拉特-托马森定理证明了一般来说反欧性是模态不可反映的.由此我们找到了最小的反欧传递逻辑,证明了所有的反欧传递逻辑不仅具备有穷框架性,也都是可有穷公理化的,继而也都是可判定的;最后,我们研究了反欧传递逻辑格里的濒表格逻辑,给出了几个具有"临界性"濒表格扩充的逻辑的实例. 相似文献
1