"natural deduction systems" - related articles and key terms