TY  - BOOK
AU  - Cooper,Robin
AU  - Ganchev,Hristo
AU  - Hamm,Fritz
AU  - Kalyvianaki,Eleni
AU  - Keenan,Edward L.
AU  - Kepser,Stephan
AU  - Kracht,Marcus
AU  - Mihov,Stoyan
AU  - Moss,Lawrence S.
AU  - Schulz,Klaus U.
TI  - Logics for Linguistic Structures
T2  - Trends in Linguistics. Studies and Monographs [TiLSM] ,
SN  - 9783110204698
AV  - P39.L5995 2008 
U1  - 401 
PY  - 2008///]
CY  - Berlin, Boston : 
PB  - De Gruyter Mouton, 
KW  - Computational linguistics
KW  - Language and logic
KW  - Generative Grammatik
KW  - Logik
KW  - LANGUAGE ARTS & DISCIPLINES / Linguistics / General
KW  - bisacsh
KW  - Logics
KW  - generative grammar
N1  - 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; restricted access; Issued also in print
N2  - 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
UR  - https://doi.org/10.1515/9783110211788
UR  - https://www.degruyter.com/isbn/9783110211788
UR  - https://www.degruyter.com/document/cover/isbn/9783110211788/original
ER  -