No Results on Substructural Logic, De Morgan Monoids, or Fixed-Point Diagonalization — E8 Intelligence Research
FINDING: Search returned no substantive results on substructural logic, De Morgan monoids, or fixed-point diagonalization — only introductory De Morgan's Law tutorials, linear-algebra diagonalization videos, and an unrelated cosmic-ray conference compilation. | MATH: De Morgan's Laws: ¬(A∧B) ≡ ¬A∨¬B, ¬(A∨B) ≡ ¬A∧¬B. Diagonalization (linear algebra): A = PDP⁻¹, D = diag(λ₁,…,λₙ), valid iff A has n linearly independent eigenvectors; decouples dx/dt = Ax into independent scalar ODEs. | CONNECTION: None supported by evidence. No ratios (0.382, 0.618, 0.786, 1.618, 2.618), no base-60, no crystallographic/root-system/lattice content appears in the retrieved material. | DEPTH: 1 Notes on the gap between query and results: - The query targets De Morgan monoids (algebraic models of relevant/substructural logic, where negation satisfies ¬¬a = a and the lattice is distributive with a residual pair), and diagonalization as a fixed-point/self-reference technique (Gödel–Carnap, Lawvere). None of th Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
Authors
- Andrew Stewart Caldin
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-10-27
- DOI
- https://doi.org/10.5281/zenodo.23685300
- Primary Topic
- Advanced Algebra and Logic
- Type
- preprint