March 26, 2026

Three-valued predicate calculus