Logics for linguistic structures /

The contributions to this volume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks. The volume will be of great benefit for theoretical and computational li...

Full description

Saved in:
Bibliographic Details
Corporate Authors: De Gruyter.
Group Author: Hamm, Fritz.; Kepser, Stephan.
Published: De Gruyter Mouton,
Publisher Address: Berlin ;Boston :
Publication Dates: [2008]
©2008
Literature type: eBook
Language: English
Series: Trends in linguistics. studies and monographs [tilsm] ; 201
Subjects:
Online Access: http://dx.doi.org/10.1515/9783110211788
http://www.degruyter.com/doc/cover/9783110211788.jpg
Summary: The contributions to this volume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks. The volume will be of great benefit for theoretical and computational linguists, and logicians.
Carrier Form: 1 online resource(180pages).
ISBN: 9783110211788
Index Number: P39
CLC: H0-05
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