否定词研究

本书系统地论述了各种形态否定词的特征，包括直觉主义逻辑、相干逻辑以及弗协调逻辑等三种非经典逻辑中的否定，以及比直觉主义更弱的一些系统中的否定。作者从多种角度、多个方面来阐释其中的否定词，特别是对一些抽象的理论结果与繁琐的证明作了较为直观的说明，让读者更容易领会抽象定理背后的思想。作者还使用邻域语义学对各种弱否定进行了系统的研究，得到了更为一般的结果，并进一步阐述了弗协调逻辑等非经典逻辑的哲学思想。作者构造了一个极小的弗协调逻辑系统，研究了其元性质，并指出当前文献中广泛使用的弗协调逻辑判定方法存在错误，给出了修改方案。