Title: Implication and linear inference
Subjects: Logic, Reasoning