Polarized Classical Non-associative Lambek Calculus and Formal Semantics
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.
KeywordsFormal Semantic Linear Logic Double Negation Sequent Calculus Lexical Semantic
Unable to display preview. Download preview PDF.
- 6.Girard, J.Y.: On the meaning of logical rules II: multiplicatives and additives. In: Foundation of Secure Computation, pp. 183–212. IOS Press, Amsterdam (2000)Google Scholar
- 8.Hendriks, H.: Studied flexibility. Categories and types in syntax and semantics. Ph.D. thesis, ILLC Amsterdam (1993)Google Scholar
- 9.Hepple, M.: Normal form theorem proving for the Lambek calculus. In: COLING, pp. 173–178 (1990)Google Scholar
- 16.Lafont, Y., Reus, B., Streichter, T.: Continuation semantics or expressing implication by negation. Technical Report 93-21, University of Munich (1993)Google Scholar
- 18.Zeilberger, N.: The logical basis of evaluation order and pattern-Matching. Ph.D. thesis, Carnegie Mellon University (2009)Google Scholar