Re: completeness what is it exactly

Chris Menzel <cmenzel@xxxxxxxxxxxxxxxxxxxx> writes:

On 09 Jul 2008 19:46:33 +0300, Aatu Koskensilta
<aatu.koskensilta@xxxxxx> said:

The more usual definition is that a logic is weakly complete if there
is a deductive system in which all of its validities are provable and
strongly complete if there is a deductive system such that if A is a
logical consequence of B then B is derivable from A.

A from B, of course.

That is an even more usual definition, yes.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.