Abstract
This chapter presents the comparison between Categorial Type Logics from the 1997 edition of this handbook with the situation with the updates from 1997–2009. The hybrid architectures aiming for an integration of ideas from unification grammars and categorial systems seem to have disappeared from the scene. A marked trend, in general, is the move to leaner syntactic calculi, by exchanging structural rules for richer algebraic models, or by introducing more structure in the interpreting semantic calculi. The excerpt taken from 1997 edition retains the core materials of the chapter: the discussion of the “classical” Lambek systems, the Curry–Howard perspective on the syntax–semantics interface, and the development of multimodal architectures. The central objective of the type-logical approach is to develop a uniform deductive account of the composition of form and meaning in natural language: Formal grammar is presented as logic—a system for reasoning about structured linguistic resources.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.