Buscar
Mostrando ítems 1-2 de 2
Artículo
Algebraic combinatorics in bounded induction
(Elsevier, 2021)
In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on the study of algebro-combinatoric properties of certain definable cuts. Their relationship with ...
Artículo
Logic Negation with Spiking Neural P Systems
(Springer, 2020)
Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such reasoning systems is that they work as black-boxes and the acquired knowledge is not human readable. ...