When Logic Learns Topology: A Lean-Verified Bridge from Datalog to Homology via Tensor Semantics

2026 Open access

Read full text
Authors: Apoth3osis R&d, Richard Goodman
DOI: 10.13140/rg.2.2.36593.95844
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Reasoning and Knowledge Homotopy and Cohomology in Algebraic Topology

Publication details

Publication date
1 January 2026
Language
EN