Executable reference for Kripke's 1975 three-valued fixed-point theory of truth
python fixed-point kripke self-reference kleene three-valued-logic philosophical-logic liar-paradox truth-theory supervaluation
-
Updated
May 18, 2026 - Python