刘佳秋
累计创作0字
作品粉丝1
完结作品(1)
会员
本书首先，在克里普克语义里，对直觉主义否定的真一条件给以新的解释，建立相应的新逻辑系统，并分别证明它们框架的可靠性与完全性。其次，对直觉主义否定展开进一步的探讨，将直觉主义否定推广到动态逻辑领域，在对象语言里引进新的动态直觉主义否定，并提出关于此否定的真一条件定义，研究其动态化后的性质和特征。最后，本书还采用另一种语义——更新语义来刻画更新式的直觉主义否定，即引进新的否定算子以及相应的公理和规则，
逻辑学8.1万字
达人推广合作：https://kol.yuewen.com
网站合作：傅女士 fuli.a@yuewen.com
双新用户（设备和账号都新为双新用户）下载并登录后1-20天最多可免费领取20本会员/单订书且可免费读10天
Copyright (C) 2024 appbook.qq.com All Rights Reserved 上海阅文信息技术有限公司 版权所有
粤公网安备 44030002000001号 增值电信业务经营许可证：粤B2-20090059 互联网ICP备案号： 粤B2-20090059-5 沪ICP备14016804号-3 举报电话：010-59357051 营业执照
网络文化经营许可证：沪网文 (2023) 3296-228号 网络出版服务许可证：（署）网出证（沪）字第055号 互联网宗教信息服务许可证：沪（2023）0000015