May 7, 2024

Three-valued predicate calculus