内容简介
由余俊伟所著的《否定词研究》系统地论述了各 种形态否定词,包括直觉主义逻辑、相干逻辑及弗协 调逻辑这三种非经典逻辑中的否定,以及比直觉主义 更弱的一些系统中的否定,其中包括作者自己构造的 一个极小的弗协调逻辑系统的否定。作者使用邻域语 义学详细考察了这些弱否定的逻辑特征,得到了更为 一般的结果,并从多种角度、多个方面阐释繁琐的证 明与抽象的理论结果,尽量对其给予直观的说明,以 便读者更容易领会抽象定理背后的思想。
|
由余俊伟所著的《否定词研究》系统地论述了各 种形态否定词,包括直觉主义逻辑、相干逻辑及弗协 调逻辑这三种非经典逻辑中的否定,以及比直觉主义 更弱的一些系统中的否定,其中包括作者自己构造的 一个极小的弗协调逻辑系统的否定。作者使用邻域语 义学详细考察了这些弱否定的逻辑特征,得到了更为 一般的结果,并从多种角度、多个方面阐释繁琐的证 明与抽象的理论结果,尽量对其给予直观的说明,以 便读者更容易领会抽象定理背后的思想。