Definition:Natural Deduction System

Definition
This page gathers together the various systems of natural deduction that can be found in various sources in the literature.

It may be taken for granted that this list is incomplete, and more or less arbitrary in what is and is not included.

The main factor driving inclusion or not is simply the specific sources directly available to whomever includes it.