Logics for linguistic structures / edited by Fritz Hamm, Stephan Kepser.

Format:

Book

Contributor:

Hamm, Fritz, 1953-

Kepser, Stephan, 1967-

Series:

Trends in linguistics. Studies and monographs ; 201.

Trends in linguistics. Studies and monographs, 1861-4302 ; 201

Language:

English

Subjects (All):

Computational linguistics.

Language and logic.

Physical Description:

1 online resource (188 p.)

Edition:

1st ed.

Place of Publication:

Berlin ; New York : Mouton de Gruyter, c2008.

Language Note:

English

Summary:

The contributions collected in this voume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks, among others GB, DRT and HPSG. All contributions have in common a strong preference for logic as the major tool of analysis. The first main issue concerns the combination of DRT and HPSG styles of analysis into a single system for natural language processing. The second central issue concerns the logical and automata - theoretical foundations of descriptive formalisms presently in the focus of attention, for instance minimalism. A third issue is the significance of context and locality within an algorithmic notion of meaning. The last topic addressed concerns subclasses of empirically highly significant quantificational devices like proportionality quantifiers and quantifiers which give rise to sound and complete logics for non-trivial fragments of English. The volume will be of great benefit for theoretical and computational linguists, computer scientists, philosophers, and logicians.

Contents:

Frontmatter

Contents

Introduction

Type Theory with Records and unification-based grammar

One-letter automata: How to reduce k tapes to one

Two aspects of situated meaning

Further excursions in natural logic: The Mid-Point Theorems

On the logic of LGB type structures. Part I: Multidominance structures

Completeness theorems for syllogistic fragments

Backmatter

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

ISBN:

9786611999582

9781281999580

128199958X

9783110211788

3110211785

OCLC:

437112794