Text this: The completeness and compactness of a three-valued first-order logic