刘佳秋的图书会按更新时间持续补充,适合从代表作和同主题书继续延展阅读。
直觉主义否定及其变种
刘佳秋
评分 暂无
通观刘佳秋的《直觉主义否定及其变种》全文,有三方面新意: 首先,在克里普克语义里,对直觉主义否定的真一条件给以新的解释,建立相应的新逻辑系统,并分别证明它们框架的可靠性与完全性。 其次,对直觉主义否定展开进一步的探讨,将直觉主义否定推广到动态逻辑领域,在对象语言里引进新的动态直觉主义否定,并提出关于此否定的真一条件定义,研究其动态化后的性质和特征。 最后,《直觉主义否定及其