Category:Definitions/Natural Deduction Systems
Jump to navigation
Jump to search
This category contains definitions related to Natural Deduction Systems.
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.
Pages in category "Definitions/Natural Deduction Systems"
The following 2 pages are in this category, out of 2 total.