David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 13 (2):121-137 (2004)
Even though residuation is at the core of Categorial Grammar (Lambek, 1958), it is not always immediate to realize how standard logical systems like Multi-modal Categorial Type Logics (MCTL) (Moortgat, 1997) actually embody this property. In this paper, we focus on the basic system NL (Lambek, 1961) and its extension with unary modalities NL(♦) (Moortgat, 1996), and we spell things out by means of Display Calculi (DC) (Belnap, 1982; Goré, 1998). The use of structural operators in DC permits a sharp distinction between the core properties we want to impose on the logical system and the way these properties are projected into the logical operators. We will show how we can obtain Lambek residuated triple \, / and • of binary operators, and how the operators ♦and □↓ introduced by Moortgat (1996) are indeed their unary counterpart.In the second part of the paper we turn to other important algebraic properties which are usually investigated in conjunction with residuation (Birkhoff, 1967): Galois and dual Galois connections. Again, DC let us readily define logical calculi capturing them. We also provide preliminary ideas on how to use these new operators when modeling linguistic phenomena
|Keywords||categorial grammar categorial type logics display calculi Galois connections residuation|
No categories specified
(categorize this paper)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Aravind K. Joshi & Seth Kulick (1997). Partial Proof Trees as Building Blocks for a Categorial Grammar. Linguistics and Philosophy 20 (6):637-667.
Glyn Morrill (1995). Discontinuity in Categorial Grammar. Linguistics and Philosophy 18 (2):175 - 219.
Yde Venema (1996). Tree Models and (Labeled) Categorial Grammar. Journal of Logic, Language and Information 5 (3-4):253-277.
Michael Moortgat (2009). Symmetric Categorial Grammar. Journal of Philosophical Logic 38 (6):681 - 710.
Carlos Areces & Raffaella Bernardi (2004). Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information 13 (2):121-137.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads2 ( #322,275 of 1,096,504 )
Recent downloads (6 months)2 ( #139,663 of 1,096,504 )
How can I increase my downloads?