Method Term: lambek sequent theorem proving
To view the usage of lambek sequent theorem proving in the ACL ARC 2.0 corpus click here (i.e., KWIC using NoSke).
Terms semantically related to lambek sequent theorem proving:
Note that only terms are manually validated, not their relationships. See the ACL RD-TEC 1.0 documentations.