Butler, A. Research Language Computation (2007) 5: 49. doi:10.1007/s11168-006-9013-z
We present a predicate-logic like system with explicit scope control that captures the possibilities of a diverse range of natural language like binding effects, as well as the limits on when the effects arise. Phenomena covered include: inter-sentential (dynamic) binding, intra-sentential (non-)locality restrictions, control effects, scoping options, crossover effects, and effects of transitive binding versus co-binding. Also the approach fosters the emergence of grammatical roles (e.g. subject as more privileged than object), and a role for canonical forms or explicit name marking (e.g. case agreement).
ScopeBindingLocalityGrammatical relationsCanonical forms