直觉主义否定及其变种

直觉主义学派是在20世纪初期关于数学基础的论战中产生的。直觉主义逻辑与经典逻辑的显著区别在于对否定的不同理解。对于直觉主义逻辑除了构造性解释之外，还可以作拓扑解释和代数解释。本书在这些理论的基础上，对直觉主义否定展开进一步的探讨并将它推广到动态及更新领域进行分析。