Gödel Mirror: A Paraconsistent Calculus that Metabolizes Contradictions Mechanized in Lean 4
Jhet Chan
Independent Researcher, Malaysia
Presented at ITP 2025 Lean Workshop
2 October 2025
Reykjavík University, Iceland
Abstract: This presentation introduces Gödel Mirror, a paraconsistent calculus mechanized in Lean 4 that enables formal reasoning in the presence of contradictions without triviality. The system provides a framework for metabolizing contradictions through controlled isolation and transformation mechanisms.
Resources: