Gianluca Caterina

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 note on a theorem by Aldo Ghizzetti	2021-04-12	Paper
Iterated admissibility through forcing in strategic belief models Journal of Logic, Language and Information	2021-02-17	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
Spectra of fuzzy sets of $S^1$	2016-05-04	Paper
MV-algebras and measure: some examples	2016-05-04	Paper
Notes on a model for fuzzy computing	2016-05-04	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
An order-preserving property of additive invariants for Takesue-type reversible cellular automata Theoretical Computer Science	2010-11-11	Paper
scientific article; zbMATH DE number 5519560 (Why is no real title available?)	2009-02-26	Paper

Research outcomes over time

This page was built for person: Gianluca Caterina