简介
由余俊伟所著的《否定词研究》系统地论述了各 种形态否定词，包括直觉主义逻辑、相干逻辑及弗协 调逻辑这三种非经典逻辑中的否定，以及比直觉主义 更弱的一些系统中的否定，其中包括作者自己构造的 一个极小的弗协调逻辑系统的否定。作者使用邻域语 义学详细考察了这些弱否定的逻辑特征，得到了更为 一般的结果，并从多种角度、多个方面阐释繁琐的证 明与抽象的理论结果，尽量对其给予直观的说明，以 便读者更容易领会抽象定理背后的思想。
目录
第一章 直觉主义逻辑第一节 经典否定简述第二节 直觉主义逻辑中的否定第二章 其他弱否定系统第一节 模态角度与极小逻辑第二节 经典命题逻辑、直觉主义逻辑及极小逻辑间的关系第三节 初基演算第四节 一个极小的弗协调逻辑系统第三章 相干逻辑第四章 弗协调逻辑第一节 弗协调逻辑史概述第二节 弗协调命题逻辑第三节 C1的代数特征第四节 弗协调逻辑的哲学含义第五节 弗协调模态命题逻辑第五章 从代数的观点看否定第一节 从邻域语义学的观点看否定第二节 星语义与正交语义第三节 语义间的比较及相关问题第四节 基于经典逻辑上的弱否定参考文献
否定词研究
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
