June 22, 2024

Three-valued predicate calculus