March 5, 2026

Three-valued predicate calculus