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

博文

可证性逻辑GL的不动点定理——逻辑学笔记30

已有 1765 次阅读 2020-8-22 13:48 |个人分类:逻辑学|系统分类:科研笔记| 可证性逻辑, 不动点

image.png

image.png

image.png

image.png

image.png



https://wap.sciencenet.cn/blog-1255140-1247432.html

上一篇:人类的本性从何而来?说说进化心理学的诞生
下一篇:可证性逻辑定理判定的树形图方法——逻辑学笔记31

0

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

数据加载中...

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

GMT+8, 2022-1-27 23:09

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部