摘要

在这项工作中,皮尔士存在图(EG)中溯因推理的象似性被重铸到Heyting代数的框架中。当我们利用直觉主义逻辑的工具,使用范畴方法,产生皮尔士的EG的广义版本时,诱因的创造性结构以拓扑的方式出现。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。