Books published by Centre for the Study of Language & Information

This volume collects together some of the author's papers on modal logic, including work on the duality between algebraic and set-theoretic modals, on infinitary rules of inference, and on recent results on the relationship between modal logic and first-order logic.

This book develops the notion of an instructable robot.

A discussion of the views on semantic compositionality.

The papers in this volume are intended to further collective and collaborative research in both Japanese and Korean. The contributors discuss aspects of language acquisition, discourse, syntax, semantics, pragmatics, phonology, morphology, typology, sociolinguistics and psycholinguistics.

A collection of essays on artificial intelligence, natural language semantics and the philosophy of mind and language.

The papers in this volume are intended to further collective and collaborative research in both Japanese and Korean. The contributors discuss aspects of language acquisition, discourse, syntax, semantics, pragmatics, phonology, morphology, typology, sociolinguistics and psycholinguistics.

Hyperproof is a system for learning the principles of analytical reasoning and constructing proofs. It is intended for use in conjunction with a presention of the formal syntactic system of first-order propositional logic, especially the authors' software program, "Tarski's World".

Discusses phonological and morphological phenomena in Kashaya, a Pomoan language of northern California, and considers their implications for current theories of generative grammar. The volume raises issues in feature theory, presents a prosodic analysis and discusses morphological patterns.

Contributions from a variety of authors who discuss Tree Adjoining Grammar and its various uses.

This text collects together work in OT-LFG (Optimality Theoretic Lexical Functional Grammar) which develops empirical coverage of the approach as well as the formal foundations of the OT approach. The papers deal with phenomena in a wide range of languages including English, Hindi and Korean.

This book describes the lexical phonology and morphology of the verb stem in Ciyao.

Some of the trends in current approaches to logic, language and computation.

Proposes a general theory of reflective logics and reflective declarative programming languages.

A nonderivational, lexicalist analysis within the constraint-based framework of Head-driven Phrase Structure Grammar.

This collection surveys recent work in HPSG and Categorial Grammar.

This study offers a novel integration of distinct aspects of Russell's thought.

This collection treats classificatory, historical, and comparative aspects of Bantu languages.

This book presents a novel analysis of mixed category constructions in various languages.

This volume brings together papers resulting from the third conference on Conceptual Structure, Discourse and Language.

This volume brings together papers resulting from the third conference on Conceptual Structure, Discourse and Language.

A critique of the economy-of-derivation model of grammar that has emerged within Chomsky's Minimalist Program.

This collection focuses on work that is based on the unifying concept of information.

A model of lexical relations which reconciles the lexicon's idiosyncratic and productive aspects.

The first collection of papers on Slavic language within a formal non-transformational linguistic formalism.

This book provides a descriptive and analytical account of the behaviour of coverbs in Wagiman.

This book provides a simple but precise framework for describing complex predicates.

The first comprehensive study of the sound system of Ikalanga.

Provides a theory of metaphor that is compatible with current trends in cognitive linguistics.