Montague grammar

Etymology
Named after American logician Richard Montague.

Noun

 * 1) An approach to natural language semantics based on formal logic.