Montonic Reasoning from a Proof-theoretic Perspective