Method Term: natural deduction

To view the usage of natural deduction in the ACL ARC 2.0 corpus click here (i.e., KWIC using NoSke).

Terms semantically related to natural deduction:

• proof presentation
• proof reduction
• incremental linear deduction method
• syllable-word segmentation
• wp identifier
• procedural knowledge representation
• metagrammar compiler
• ppa resolution
• dialogue act detection
• text interpretatio n
• stw conversion
• knowledge analysis
• spectral-based clustering

Note that only terms are manually validated, not their relationships. See the ACL RD-TEC 1.0 documentations.