Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.
Geometry and Meaning
Dominic Widdows CSLI, 2005 Library of Congress QA564.W53 2004 | Dewey Decimal 516
From Pythagoras's harmonic sequence to Einstein's theory of relativity, geometric models of position, proximity, ratio, and the underlying properties of physical space have provided us with powerful ideas and accurate scientific tools. Currently, similar geometric models are being applied to another type of space—the conceptual space of information and meaning, where the contributions of Pythagoras and Einstein are a part of the landscape itself. The rich geometry of conceptual space can be glimpsed, for instance, in internet documents: while the documents themselves define a structure of visual layouts and point-to-point links, search engines create an additional structure by matching keywords to nearby documents in a spatial arrangement of content. What the Geometry of Meaning provides is a much-needed exploration of computational techniques to represent meaning and of the conceptual spaces on which these representations are founded.
Uyechi presents an extremely thorough and formal empirical description of the various features of ASL signs, of interest to any theoretician in developing a theory of sign phonology or in testing claims in the theory of the phonology of spoken languages against data from a signed language. The author also presents a formalism for representing signs and makes a number of theoretical proposals based on this formalism. The volume's analysis indicates that the properties of core constructs of the spoken-language phonology, namely the segment and the syllable, differ from the properties of the core constructs in a formal framework of visual phonology. The Geometry of Visual Phonology also differs from other analyses in concluding that such differences are not immediately reconcilable. This volume provides a framework for discussing crucial differences between signs and speech.
This original study considers the effects of language and meaning on the brain. Jens Erik Fenstad—an expert in the fields of recursion theory, nonstandard analysis, and natural language semantics—combines current formal semantics with a geometric structure in order to trace how common nouns, properties, natural kinds, and attractors link with brain dynamics.
This book addresses three fundamental questions in the study of negation: What are the main ways of expressing sentential negation? What are the distributional properties of lexically-encoded negative elements? And, what implications do the answers to these two questions have for the theory of grammar? In answering these questions, Jong-Bok Kim investigates various aspects of negation in Korean, English, French and Italian. Addressing both empirical and theoretical issues relating to negation in these languages, he develops a nonderivational, lexicalist analysis within the constraint-based framework of Head-driven Phrase Structure Grammar. This work demonstrates that a constraint-based approach can capture the distributional possibilities of negative elements and explain related phenomena simply through their lexical properties and the interaction of the elementary morphosyntactic and valence properties of syntactic heads. The resulting constraint-based theory allows a conservative division of labor between morphology and syntax.
A Grammar Writer's Cookbook
Edited by Miriam Butt, Tracy Holloway King, María-Eugenia Niño, and Frédérique S CSLI, 1999 Library of Congress P98.G73 1999 | Dewey Decimal 415.0285
A Grammar Writer's Cookbook is an introduction to the issues involved in the writing and design of computational grammars, reporting on experiences and analyses within the ParGram parallel grammar development project. Using the Lexical Functional Grammar (LFG) framework, this project implemented grammars for German, French, and English to cover parallel corpora.
Grammatical Framework is a programming language designed for writing grammars, which has the capability of addressing several languages in parallel. This thorough introduction demonstrates how to write grammars in Grammatical Framework and use them in applications such as tourist phrasebooks, spoken dialogue systems, and natural language interfaces. The examples and exercises presented here address several languages, and the readers are shown how to look at their own languages from the computational perspective.
Grammatical Interfaces in HPSG
Edited by Ronnie Cann, Claire Grover, and Philip H. Miller CSLI, 2001 Library of Congress P158.4.G73 2000 | Dewey Decimal 415
This collection of recent work in Head-Driven Phrase Structure Grammar focuses on interfaces between different grammatical components; its fifteen papers explore interface phenomena such as auxiliary contraction in English, analysis of illocutionary force in HPSG, syntactic and semantic aspects of Korean relative clause formation, negation in Welsh, and several others.