会员
直觉主义否定及其变种
更新时间：2023-08-14 21:02:21 最新章节：后记
书籍简介
本书首先，在克里普克语义里，对直觉主义否定的真一条件给以新的解释，建立相应的新逻辑系统，并分别证明它们框架的可靠性与完全性。其次，对直觉主义否定展开进一步的探讨，将直觉主义否定推广到动态逻辑领域，在对象语言里引进新的动态直觉主义否定，并提出关于此否定的真一条件定义，研究其动态化后的性质和特征。最后，本书还采用另一种语义——更新语义来刻画更新式的直觉主义否定，即引进新的否定算子以及相应的公理和规则，并证明了系统的框架可靠性与完全性。
品牌：Jndx_@2024
上架时间：2013-01-01 00:00:00
出版社：暨南大学出版社
本书数字版权由Jndx_@2024提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘佳秋
同类热门书
最新上架