Notes and articles on typed knowledge graphs, warranted reasoning, and building auditable AI research agents.https://eigenius.io/enhttps://eigenius.io/blog/making-reasoning-checkable/https://eigenius.io/blog/making-reasoning-checkable/The constructive turn: a claim is only as good as the witness that accompanies it. Why the substrate for warranted, machine-checkable reasoning did not exist — and what Eigenius is.Thu, 30 Jul 2026 00:00:00 GMTinstitutionswarrantseigeniusEigeniushttps://eigenius.io/blog/translating-between-logics/https://eigenius.io/blog/translating-between-logics/Morphisms, comorphisms, and borrowing. What it means to move a statement from one logic into another without changing what it claims — and why heterogeneous modelling needs category theory to stay honest.Thu, 23 Jul 2026 00:00:00 GMTinstitutionslogiccomorphismsEigeniushttps://eigenius.io/blog/what-is-a-logic/https://eigenius.io/blog/what-is-a-logic/A logic is four parts and one law. Signatures, sentences, models, satisfaction — and the condition that ties them together. A self-contained conceptual foundation, with no category theory required.Thu, 16 Jul 2026 00:00:00 GMTinstitutionslogicfoundationsEigenius