Deductive: Theory of deductive arguments