Searching the space of representations: reasoning through transformations for mathematical problem solving [PDF]
The role of representation in reasoning has been long and widely regarded as crucial. It has remained one of the fundamental considerations in the design of information-processing systems and, in particular, for computer systems that reason.
Raggi, Daniel
core
On the Loomis-Sikorski theorem for MV-algebras with internal state
In Flaminio and Montagna [‘An algebraic approach to states on MV-algebras’, in:Fuzzy Logic 2,Proc. 5th EUSFLAT Conference, Ostrava, 11–14 September 2007 (ed. V. Novák) (Universitas Ostraviensis, Ostrava, 2007), Vol. II, pp.
DI NOLA, A. +2 more
core +1 more source
Why Earth Forces SO(2)_ The Physical Origin of Universal Coherence Invariants [PDF]
This paper offers a conceptual and visual explanation for why SO(2) symmetry underlies universal coherence invariants across physics, biology, cognition, and computation. Earth’s rotational and periodic environment forces orientation variables θ_n, drift-
Bostick, Devin
core
The monoid-now: a category theoretic approach to the structure of phenomenological time-consciousness. [PDF]
Taguchi S, Saigo H.
europepmc +1 more source
Arrow Contraction and Expansion in Tropical Diagrams. [PDF]
Matveev R, Portegies JW.
europepmc +1 more source
A Criterion for Categories on Which Every Grothendieck Topology is Rigid. [PDF]
Marquès J.
europepmc +1 more source
Life as a Categorical Information-Handling System: An Evolutionary Information-Theoretic Model of the Holobiont. [PDF]
Carvajal-Rodríguez A.
europepmc +1 more source
Horizontally Affine Functions on Step-2 Carnot Algebras. [PDF]
Le Donne E, Morbidelli D, Rigot S.
europepmc +1 more source
Categorical framework for quantum-resistant zero-trust AI security. [PDF]
Cherkaoui I, Clarke C, Horgan J, Dey I.
europepmc +1 more source

