A controlled quantification in parsing of Montague grammar

DOI10.1016/0020-0190(86)90030-XzbMath0611.68056OpenAlexW2129186299MaRDI QIDQ1087338

Gil Chang Kim, Key-Sun Choi

Publication date: 1986

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(86)90030-x

zbMATH Keywords

quantificationenvironmentcomputational linguisticsMontague grammarparsing algorithmcanonical logical formulacontrolled semantic equivalence parsinglogical translation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic of natural languages (03B65) Natural language processing (68T50)

Cites Work

• Unnamed Item

This page was built for publication: A controlled quantification in parsing of Montague grammar