Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality