6

I know a bunch of facts about weak and strong completeness in many valued logic, that there is strong completeness for the finite mv logic, and that for the infinite ones you can either only have weak completeness or strong finitary completeness. My question is about what the fact that it is weak or strong implies. I know that strong completeness works for any arbitrary set of premises, but I'm unclear on what exactly makes the weak completeness weak.

Sara
  • 571

1 Answers1

1

Strong completeness of a calculus establishes its suffciency for capturing the logical consequence; namely, whenever a sentence follows logically from a set of hypothesis, there is a proof of this sentence in the calculus. While the weak completeness says that we have proofs for all validities.

(http://www.uni-log.org/contest2013/manzurtubey.pdf)

Loreno Heer
  • 4,460
  • 2
    What does a "validity" mean in this context? – mrp Mar 18 '15 at 12:02
  • What does it mean to be a logical consequence in this context? For first-order logic it means to be derivable in the calculus, which most likely is not the intention here. Or do you mean a semantic notion in this case? – Andrés E. Caicedo Nov 24 '19 at 22:39