NDLI: Adjectival and Adverbial Modification: The View from Modern Type Theories

Please wait, while we are loading the content...

Adjectival and Adverbial Modification: The View from Modern Type Theories

Content Provider	Springer Nature Link
Author	Chatzikyriakidis, Stergios Luo, Zhaohui
Copyright Year	2017
Abstract	In this paper we present a study of adjectival/adverbial modification using modern type theories (MTTs), i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented (e.g. in proof-assistants) given their proof-theoretic nature. In MTT-semantics, common nouns are interpreted as types rather than predicates. Therefore, in order to capture the semantics of adjectives adequately, one needs to meet the challenge of modeling CNs modified by adjectives as types. To explicate that this can be done successfully, we first look at the mainstream classification of adjectives, i.e. intersective, subsective and non-subsective adjectives. There, we show that the rich type structure available in MTTs, along with a suitable subtyping framework, offers an adequate mechanism to model these cases. In particular, this modelling naturally takes care of the characterising inferences associated with each class of adjectives. Then, more advanced issues on adjectival modification are discussed: (a) degree adjectives, (b) comparatives and (c) multidimensional adjectives. There, it is shown that the use of indexed types can be usefully applied in order to deal with these cases. In the same vein, the issue of adverbial modification is discussed. We study two general typings for sentence and VP adverbs respectively. It is shown that the rich type structure in MTTs further provides useful organisational mechanisms in giving formal semantics for adverbs. In particular, we discuss the use of $$\varSigma $$ -types to capture the veridicality/non-veridicality distinction and further discuss cases of intensional adverbs using the type theoretic notion of context (i.e. without resorting to intensional typing). We also look at manner, subject and speech act adverbials and propose solutions using MTTs. Finally, we show that the current proof technology can help mechanically check the associated inferences. A number of our proposals concerning adjectival and adverbial modification have been formalised in the proof assistant Coq and many of the associated inference patterns are checked to be correctly captured.
Starting Page	45
Ending Page	88
Page Count	44
File Format	PDF
ISSN	09258531
Journal	Journal of Logic, Language and Information
Volume Number	26
Issue Number	1
e-ISSN	15729583
Language	English
Publisher	Springer Netherlands
Publisher Date	2017-02-17
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Logic Semantics Information Systems Applications (incl.Internet)
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

Adjectival and Adverbial Modification: The View from Modern Type Theories

A Proof-Theoretic Semantics for Adjectival Modification

Towards a Type-Theoretical Account of Lexical Semantics

Relationale Grammatik

Language Modeling for Information Retrieval

Temporal Logics of Agency

Erratum to: On Definability in Dependence Logic

Introduction ( Journal of Logic, Language and Information , Volume 13 , Issue 4 )

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

Adjectival and Adverbial Modification: The View from Modern Type Theories

Similar Documents

Adjectival and Adverbial Modification: The View from Modern Type Theories

A Proof-Theoretic Semantics for Adjectival Modification

Towards a Type-Theoretical Account of Lexical Semantics

Relationale Grammatik

Language Modeling for Information Retrieval

Temporal Logics of Agency

Erratum to: On Definability in Dependence Logic

Introduction ( Journal of Logic, Language and Information , Volume 13 , Issue 4 )

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

Adjectival and Adverbial Modification: The View from Modern Type Theories