Method Term: sequent calculus

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

Terms semantically related to sequent calculus:

• lambek calculus
• lambek proof
• noise cancellation
• structure/feature percolation
• decision tree representation
• sash construction
• chart re-estimation
• uncertain inference
• cg-based learner
• grammar inducing
• word/n-gram matching
• arabic segmentation system
• paragraph generator

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