KnowraNatural deductionLinked fromLinked fromThe 33 pages that link to Natural deduction, each with the reason it gives.All 33Broader topic 3Related 20Narrower topic 8Compared with 2Sequent calculusCompared with: It emphasizes reasoning from and discharging assumptions rather than manipulating sequents.Axiomatic systemCompared with: It presents inference through rules for reasoning with assumptions rather than a fixed axiom list.