Gianluca Caterina

Ann. Math. Artif. Intell., June, 2024

2022

Physical computation and compositionality.

[BibT_eX]

[DOI]

Nima Dehghani

CoRR, 2022

2020

A constructive sequence algebra for the calculus of indications.

[BibT_eX]

[DOI]

Soft Comput., 2020

Iterated Admissibility Through Forcing in Strategic Belief Models.

[BibT_eX]

[DOI]

Jonathan Gangle

J. Log. Lang. Inf., 2020

Computing Truth Values in the Topos of Infinite Peirce's <i>α</i>-Existential Graphs.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2020

2019

A New Syntax for Diagrammatic Logic: A Generic Figures Approach.

[BibT_eX]

[DOI]

Proceedings of the Numerical Computations: Theory and Algorithms, 2019

2018

The class of states of the world as an -groupoid: identifying states of the world and hierarchies of belief.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2018

2017

Local and global optima in decision-making: a sheaf-theoretical analysis of the difference between classical and behavioral approaches.

[BibT_eX]

[DOI]

Int. J. Gen. Syst., 2017

2016

Iconicity and Abduction

[BibT_eX]

[DOI]

Studies in Applied Philosophy, Epistemology and Rational Ethics 29, Springer, ISBN: 978-3-319-44245-7, 2016

Notes on a model for fuzzy computing.

[BibT_eX]

[DOI]

Vittorio Cafagna

CoRR, 2016

2015

The sheet of indication: a diagrammatic semantics for Peirce's EG-alpha.

[BibT_eX]

[DOI]

Synth., 2015

Abduction: A categorical characterization.

[BibT_eX]

[DOI]

J. Appl. Log., 2015

2013

Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

2010

An order-preserving property of additive invariants for Takesue-type reversible cellular automata.

[BibT_eX]

[DOI]