A Deductive Environment for Dealing with Objects and Non-Monotonic Reasoning