From Montague's Rules of Quantification to Minimal Recursion Semantics and the Language of Acyclic Recursion

Moschovakis (2003-2006) developed a logical calculus of th e formal languageLλar of acyclic recursion, which is a type-theoretical work with many potential applications. On the implementation side, large -scale grammars for human languages, e.g. versions of HPSG, have been using semant ic representations casted in the feature-value language Minimal Recursion Sem antics (MRS). While lacking strict formalization, MRS represents successfull y ambiguous quantifier scoping. In this paper, we introduce the basic definitions of MRS by reflecting on possibilities for formalization of MRS with a version of the languageLλar.