Propositional Logic by Caldwell Theories