Logics for Linguistic Structures
-
Herausgegeben von:
Über dieses Buch
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.
Information zu Autoren / Herausgebern
Fritz Hamm, Universität Stuttgart, Germany; Stephan Kepser, Eberhard-Karls-Universität Tübingen, Germany.
Zusatzmaterial
Fachgebiete
-
PDF downloadenErfordert eine Authentifizierung Nicht lizenziertLizenziert
Frontmatter
I -
PDF downloadenErfordert eine Authentifizierung Nicht lizenziertLizenziert
Contents
V -
PDF downloadenErfordert eine Authentifizierung Nicht lizenziertLizenziert
Introduction
1 -
PDF downloadenErfordert eine Authentifizierung Nicht lizenziertLizenziert
Type Theory with Records and unification-based grammar
9 -
PDF downloadenErfordert eine Authentifizierung Nicht lizenziertLizenziert
One-letter automata: How to reduce k tapes to one
35 -
PDF downloadenErfordert eine Authentifizierung Nicht lizenziertLizenziert
Two aspects of situated meaning
57 -
PDF downloadenErfordert eine Authentifizierung Nicht lizenziertLizenziert
Further excursions in natural logic: The Mid-Point Theorems
87 -
PDF downloadenErfordert eine Authentifizierung Nicht lizenziertLizenziert
On the logic of LGB type structures. Part I: Multidominance structures
105 -
PDF downloadenErfordert eine Authentifizierung Nicht lizenziertLizenziert
Completeness theorems for syllogistic fragments
143 -
PDF downloadenErfordert eine Authentifizierung Nicht lizenziertLizenziert
Backmatter
175
- Herstellerinformationen:
-
Walter de Gruyter GmbH
Genthiner Straße 13
10785 Berlin - productsafety@degruyterbrill.com
