mayaoji的个人博客分享 http://blog.sciencenet.cn/u/mayaoji

博文

可证性逻辑定理判定的树形图方法——逻辑学笔记31

已有 4697 次阅读 2020-8-23 14:25 |个人分类:逻辑学|系统分类:科研笔记| 可证性逻辑, 树形图

image.png

image.png

image.png

image.png

image.png



https://blog.sciencenet.cn/blog-1255140-1247548.html

上一篇:可证性逻辑GL的不动点定理——逻辑学笔记30
下一篇:自然推理规则——逻辑学笔记32
收藏 IP: 119.133.136.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-29 12:55

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部