Sequent Calculus with Equality and Logic of Partial Terms -- Logic of Non-monotonic