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

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
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

No Results on Substructural Logic, De Morgan Monoids, or Fixed-Point Diagonalization — E8 Intelligence Research

Andrew Stewart Caldin
1 links
Zenodo (CERN European Organization for Nuclear Research)
Advanced Algebra and Logic
preprint

No Results on Substructural Logic, De Morgan Monoids, or Fixed-Point Diagonalization — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

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

Zenodo (CERN European Organization for Nuclear Research)
Advanced Algebra and Logic
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon
No Results on Substructural Logic, De Morgan Monoids, or Fixed-Point Diagonalization — E8 Intelligence Research — Andrew Stewart Caldin · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS