Grammar Equations


We provide novel “linguistic truths” by relating different grammatical constructs which previous tools used to study linguistic structure failed to identify (cf. Lambek, Chomsky, Montague). Previously, Lambek-style grammar calculi enabled one to verify grammatical correctness of sentences, and Montague identified logical structure present in language. Our new relations tell when differently structured sentences have the same or closely related meanings, independent of any logical connotation. We expect our work to have a major impact in natural language processing.

Bob Coecke and Vincent Wang

Post by admin