A system of natural deduction for GL