Logic Programming of the Displacement Calculus
The displacement calculus of Morrill, Valentín and Fadda (2011) forms a foundation for type logical categorial grammar in which discontinuity is accommodated alongside continuity in a logic which is free of structural rules and which enjoys Cut-elimination, the subformula property, decidability, and the finite reading property. The calculus deploys a new kind of sequent calculus which we call hypersequent calculus in which types and configurations have not only external context but also internal context, in the case that they are discontinuous. In this paper we consider the logic programming of backward chaining hypersequent proof search for the displacement calculus. We show how focusing eliminates all spurious ambiguity in the fragment without antecedent tensors and we illustrate coding of the essential features of displacement. In this way we lay a basis for parsing/theorem proving for this calculus, which is being used and extended in a system CatLog currently under development.
Keywordscategorial grammar discontinuity focusing parsing as deduction sequent calculus
Unable to display preview. Download preview PDF.
- 2.Dowty, D.R., Wall, R.E., Peters, S.: Introduction to Montague Semantics. Synthese Language Library, vol. 11. D. Reidel, Dordrecht (1981)Google Scholar
- 3.Hendriks, H.: Studied flexibility. Categories and types in syntax and semantics. PhD thesis, Universiteit van Amsterdam, ILLC, Amsterdam (1993)Google Scholar
- 4.Hepple, M.: The Grammar and Processing of Order and Dependency. PhD thesis, University of Edinburgh (1990)Google Scholar
- 5.Hepple, M.: Normal form theorem proving for the Lambek calculus. In: Karlgren, H. (ed.) Proceedings of COLING, Stockholm (1990)Google Scholar
- 7.König, E.: Parsing as natural deduction. In: Proceedings of the Annual Meeting of the Association for Computational Linguistics, Vancouver (1989)Google Scholar
- 8.Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly 65, 154–170 (1958); reprinted in Buszkowski, W., Marciszewski, W., van Benthem, J. (eds.): Categorial Grammar. Linguistic & Literary Studies in Eastern Europe, vol. 25, pp. 153–172. John Benjamins, Amsterdam (1988)CrossRefzbMATHGoogle Scholar
- 9.Moortgat, M.: Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. Foris, Dordrecht, PhD thesis, Universiteit van Amsterdam (1988)Google Scholar
- 14.Morrill, G.V.: Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press, Oxford (2010)Google Scholar