Natural deduction
Natural deduction is a branch of mathematical logic developed in Poland in the 1920s and 30s. It is meant to express inference rules closely related to the "natural" way of reasoning.