It is not the case that Strong completeness establishes sufficiency for capturing logical consequence: whenever a sentence follows logically from a set of hypotheses, there is a proof of that sentence in the calculus
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.