Combining Texts

Ideas for 'fragments/reports', 'Epistemic Justification' and 'Gentzen's Analysis of First-Order Proofs'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction

13823	In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
	Full Idea: In Gentzen's natural deduction, the inferences are broken down into atomic steps in such a way that each step involves only one logical constant. The steps are the introduction or elimination of the logical constants.
	From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 1.1)