Abstract
In this work, the iconic nature of abductive inference in Peirce’s Existential Graphs (EG) is recast into the framework of Heyting algebras. The creative structure of abduction emerges then in a topological fashion as we produce a generalized version of Peirce’s EG using a categorical approach, drawing from the tools of intuitionist logic.
Original language | English |
---|---|
Pages (from-to) | 1028-1043 |
Number of pages | 16 |
Journal | Logic Journal of the IGPL |
Volume | 21 |
Issue number | 6 |
DOIs | |
Publication status | Published - 2013 |