THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
proof theory of propositional logic with weak implication
scientific article