NDLI: The Displacement Calculus

Content Provider	Springer Nature Link
Author	Morrill, Glyn Valentín, Oriol Fadda, Mario
Copyright Year	2010
Abstract	If all dependent expressions were adjacent some variety of immediate constituent analysis would suffice for grammar, but syntactic and semantic mismatches are characteristic of natural language; indeed this is a, or the, central problem in grammar. Logical categorial grammar reduces grammar to logic: an expression is well-formed if and only if an associated sequent is a theorem of a categorial logic. The paradigmatic categorial logic is the Lambek calculus, but being a logic of concatenation the Lambek calculus can only capture discontinuous dependencies when they are peripheral. In this paper we present the displacement calculus, which is a logic of intercalation as well as concatenation and which subsumes the Lambek calculus. On the empirical side, we apply the new calculus to discontinuous idioms, quantification, VP ellipsis, medial extraction, pied-piping, appositive relativisation, parentheticals, gapping, comparative subdeletion, cross-serial dependencies, reflexivization, anaphora, dative alternation, and particle shift. On the technical side, we prove that the calculus enjoys Cut-elimination.
Starting Page	1
Ending Page	48
Page Count	48
File Format	PDF
ISSN	09258531
Journal	Journal of Logic, Language and Information
Volume Number	20
Issue Number	1
e-ISSN	15729583
Language	English
Publisher	Springer Netherlands
Publisher Date	2010-11-16
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Categorial grammar Cut-elimination Discontinuity Lambek calculus Type Logical Grammar wrapping Information Systems Applications (incl.Internet) Semantics Logic
Content Type	Text
Resource Type	Article
Subject	Philosophy Computer Science Linguistics and Language

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

Grammar Induction by Unification of Type-logical Lexicons

New Directions in Type-Theoretic Grammars

Erratum to: Grammar Induction by Unification of Type-logical Lexicons

Dynamic Non-Commutative Logic

Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars

Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus

Symmetric Categorial Grammar

On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms

The Displacement Calculus

Similar Documents

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

Grammar Induction by Unification of Type-logical Lexicons

New Directions in Type-Theoretic Grammars

Erratum to: Grammar Induction by Unification of Type-logical Lexicons

Dynamic Non-Commutative Logic

Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars

Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus

Symmetric Categorial Grammar

On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms

The Displacement Calculus