January 22, 2025

Three-valued predicate calculus