2011 | OriginalPaper | Buchkapitel
Polarized Classical Non-associative Lambek Calculus and Formal Semantics
verfasst von : Arno Bastenhof
Erschienen in: Logical Aspects of Computational Linguistics
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
While initially motivated for studying natural language syntax, the intuitionistic bias underlying traditional Lambek calculi renders them particularly suitable to a Montagovian formal semantics through the Curry-Howard correspondence. Several recent proposals, however, have departed from the intuitionistic tradition, seeking instead to formulate ‘classical’ Lambek calculi. We show that this classical turn need not come at the cost of the tight connection with formal semantics, concentrating on De Groote and Lamarche’s Classical Non-Associative Lambek calculus (
CNL
). Our work is founded in Girard’s and Andreoli’s research into polarities and focused proofs, suggesting the definition of
polarized
CNL
, its connection to De Groote and Lamarche’s original proposal explicated through the use of phase spaces. We conclude with a discussion of related literature, particularly Moortgat’s Lambek-Grishin calculus.