Zero-Trust Logic — a two-valued logic over unverified inputs ("truth is never granted on credit"). Machine-checked in Lean 4 with zero axioms; certified tableau engine; measured bridges to IEEE NaN, SQL NULL, taint tracking, abstract interpretation, imprecise probabilities and provenance semirings.
logic paradox taint-analysis formal-verification abstract-interpretation nan zero-trust three-valued-logic lean4 dempster-shafer sql-null
-
Updated
Sep 12, 2026 - Python