Computing Truth Values in the Topos of Infinite Peirce’s α-Existential Graphs

作者：

Highlights：

• We consider infinite-depth Peirce’s α-Existential Graphs.

• A generic-figure approach is used to represent α-Existential Graphs in a categorical framework.

• We apply the notion of grossone in order to establish well-defined valuations in the category of α-Existential Graphs.

摘要

•We consider infinite-depth Peirce’s α-Existential Graphs.•A generic-figure approach is used to represent α-Existential Graphs in a categorical framework.•We apply the notion of grossone in order to establish well-defined valuations in the category of α-Existential Graphs.

论文关键词：

论文评审过程：Received 4 February 2020, Revised 21 April 2020, Accepted 26 April 2020, Available online 3 July 2020, Version of Record 3 July 2020.

论文官网地址：https://doi.org/10.1016/j.amc.2020.125343