Natural and Logical Consequences: an Introduction | Logical ...