Rocco Gangle

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Combinators as presheaves Logic Journal of the IGPL	2026-04-02	Paper
Native diagrammatic soundness and completeness proofs for Peirce's existential graphs (alpha) Synthese	2026-03-27	Paper
A generic figures reconstruction of Peirce's existential graphs (alpha) Erkenntnis	2024-12-16	Paper
A category theory approach to the semiotics of machine learning Annals of Mathematics and Artificial Intelligence	2024-09-02	Paper
Observability in the univalent universe Mediterranean Journal of Mathematics	2022-09-26	Paper
A constructive sequence algebra for the calculus of indications Soft Computing	2022-07-21	Paper
A New Syntax for Diagrammatic Logic: A Generic Figures Approach Lecture Notes in Computer Science	2020-09-22	Paper
The sheet of indication: a diagrammatic semantics for Peirce's EG-alpha Synthese	2017-03-08	Paper
Diagrammatic immanence. Category theory and philosophy	2016-04-11	Paper
Abduction: a categorical characterization Journal of Applied Logic	2015-03-24	Paper
Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs Logic Journal of the IGPL	2015-02-24	Paper
Forcing Iterated Admissibility in Strategic Belief Models	2012-05-02	Paper

Research outcomes over time

This page was built for person: Rocco Gangle