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

Fernando Tohmé, Gianluca Caterina and Rocco Gangle

Applied Mathematics and Computation, 2020, vol. 385, issue C

Abstract: We present here an approach to the analysis of the truth values of Peirce’s α-graphs without the restriction of finite number of elements (cuts and characters) on the Sheet of Assertion. We show that the ensuing structure in which such graphs are objects constitutes a topos. While the computation of the truth value of a graph in the topos can be an infinite process, we show that using the concept of grossone (①) the subobject classifier of the topos allows to determine a truth value for each graph.

Date: 2020
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0096300320302964
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:apmaco:v:385:y:2020:i:c:s0096300320302964

DOI: 10.1016/j.amc.2020.125343

Access Statistics for this article

Applied Mathematics and Computation is currently edited by Theodore Simos

More articles in Applied Mathematics and Computation from Elsevier
Bibliographic data for series maintained by Catherine Liu ().