长期以来，逻辑学界对否定概念的研究主要是从传统逻辑和现代逻辑相比较的方面展开，也有不少研究是通过运用现代逻辑形式化方法，从语形和语义两个角度探讨否定的含义、性质与特征。《直觉主义：否定及其变种》正是基于后一视角展开研究的。
通观全文，有三方面新意：
首先，在克里普克语义里，对直觉主义否定的真一条件给以新的解释，建立相应的新逻辑系统，并分别证明它们框架的可靠性与完全性。
其次，对直觉主义否定展开进一步的探讨，将直觉主义否定推广到动态逻辑领域，在对象语言里引进新的动态直觉主义否定，并提出关于此否定的真一条件定义，研究其动态化后的性质和特征。
展开
