Title: Implication and linear inference
Subjects: Reasoning, Logic