Assertion: natural deduction | /r/HasProperty | a kind of proof calculus
Facets:
value: in logic and proof theory
type: OTHER
Source sentences:
text: In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning.