Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming