natural deduction
Sign in to savekind of proof calculus
Wikidata facts
- Instance of
- method
- Subclass of
- deductive reasoning
Show 1 more fact
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/natural-deduction
Sources (3)
via Wikidata · CC0
kind of proof calculus
via Wikidata · CC0