Open Advanced Search

Log in
Enterprise Plans
Free Trial

Log in
Free Trial
Enterprise Plans
Browse
Features
Pricing

DeepDyve

Advanced Search

show/hide query preview

With all of the words or DOIs:

DeepDyve's default query mode: search by keyword or DOI.

With the exact phrase:

Require these words, in this exact order. Do not surround your terms in double-quotes ("") in this field.

With at least one of the words:

Find any of these words, separated by spaces

Without the words:

Exclude each of these words, separated by spaces

With words in the article title:

Search for these terms only in the title of an article

Published between the years:

With the following authors:

Most effective as: LastName, First Name or Lastname, FN

With words in the journal name:

Search for articles published in journals where these words are in the journal name

Reset filters

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

Modern Perspectives in Type-Theoretical Semantics

Part of the Studies in Linguistics and Philosophy Book Series (volume 98)

Editors: Chatzikyriakidis, Stergios; Luo, Zhaohui

DOI: 10.1007/978-3-319-50422-3

ISBN: 978-3-319-50420-9

Publisher: Springer International Publishing - Springer Journals

Feb 8, 2017

1 - 10 of 11 Chapters

LitStream

Chapter 1Introduction: Modern Perspectives in Type Theoretical Semantics

Chatzikyriakidis, Stergios; Luo, Zhaohui

Pages: 1 –8

[Type theories, from the early days of Montague Semantics (Montague 1974) to the recent work of using rich or modern type theories, have a long history of being employed as foundational languages of natural language semantics. In this introductory chapter, we will describe and discuss the...
LitStream

Context-Passing and Underspecification in Dependent Type Semantics

Bekki, Daisuke; Mineshima, Koji

Pages: 11 –41

[Dependent type semantics (DTS) is a framework of discourse semantics based on dependent type theory, following the line of Sundholm (Handbook of Philosophical Logic, 1986) and Ranta (Type-Theoretical Grammar, 1994). DTS attains compositionality as required to serve as a semantic component of...
LitStream

On the Interpretation of Common Nouns: Types Versus Predicates

Chatzikyriakidis, Stergios; Luo, Zhaohui

Pages: 43 –70

[When type theories are used for formal semantics, different approaches to the interpretation of common nouns (CNs) become available w.r.t whether a CN is interpreted as a predicate or a type. In this paper, we shall first summarise and analyse several approaches as found in the literature and...
LitStream

Adapting Type Theory with Records for Natural Language Semantics

Cooper, Robin

Pages: 71 –94

[In this paper we will go through the version of type theory TTR (Type Theory with Records) that we have proposed in a number of publications (including, Cooper, Res Lang Comput, 3:333–362, 2005a, J Log Comput, 15(2):99–112, 2005b, Handbook of the philosophy of science, volume 14: Philosophy of...
LitStream

Generalized Quantifiers on Dependent Types: A System for Anaphora

Grudzińska, Justyna; Zawadowski, Marek

Pages: 95 –131

[We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers. The main technical contribution of our proposal consists in combining generalized quantifiers (Mostowski, Fundamenta Mathematicae, 44:12–36, 1957; Lindström, Theoria 32:186–195, 1966;...
LitStream

Types, Meanings and Co-composition in Lexical Semantics

Asher, Nicholas; Abrusan, Marta; Van de Cruys, Tim

Pages: 135 –161

[This paper investigates co-composition, the composition of a predicate and its arguments in which either the predicate, the arguments, or both shift their meaning. We study the implications of this phenomenon for type-theoretic approaches to semantics. We adduce evidence from distributional...
LitStream

Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics

Mery, Bruno; Retoré, Christian

Pages: 163 –188

[Type-theoretic lexical semantics have gained a lot of interest since the inception of the Generative Lexicon Theory and the development of tools for such approaches. Conceived as an extensions of Montagovian compositional semantics, they represent a satisfying mean to deal with complex lexical...
LitStream

Probabilistic Record Type Lattices for Incremental Reference Processing

Hough, Julian; Purver, Matthew

Pages: 189 –222

[We propose an incremental dialogue framework which combines probabilistic Type Theory with Records and order-theoretic models of probability. The probabilistic record type lattices at the core of the framework allow the efficient computation of type judgements of utterance meaning in situated...
LitStream

Intensions, Types and Finite-State Truthmaking

Fernando, Tim

Pages: 223 –243

[Intensions are formulated as non-deterministic relations computed by finite-state transducers, and types as regular languages in an account at bounded but refinable granularity of the temporal structure of events. Strings representing timelines are linked to deterministic finite automata...
LitStream

The Grail Theorem Prover: Type Theory for Syntax and Semantics

Moot, Richard

Pages: 247 –277

[Type-logical grammars use a foundation of logic and type theory to model natural language. These grammars have been particularly successful giving an account of several well-known phenomena on the syntax-semantics interface, such as quantifier scope and its interaction with other phenomena. This...

results per page

Browse All eBooks

Features

Search and discover articles on DeepDyve, PubMed, and Google Scholar
Read the full-text of open access and premium content
Organize articles with folders and bookmarks
Collaborate on and share articles and folders

Info

Pricing
Enterprise Plans
Browse Journals & Topics
About DeepDyve

Help

Help
Publishers
Contact Us

Sign up for your 14-Day Free Trial Now!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Continue with Facebook

By signing up, you agree to DeepDyve’s Terms of Service and Privacy Policy.

Already have an account? Log in

Save Article to Bookmarks

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Follow a Journal

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Our policy towards the use of cookies

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.

cookie policy