 Remark: The enumerability and compactness theorems taken together tell us that the logic under investigation could have a strongly complete calculus. In fact, we could use the many-sorted theory \(\Delta\) to derive SOL theorems in the many-sorted calculus.