This volume of essays is dedicated to the late Wilbur Knorr, a historian of science. Inspired by Knorr's work, the essays concentrate on the history of ancient mathematics, the associated mathematical sciences and their medieval and modern traditions.
A collection of papers by leading researchers in modal logic and theoretical computer science.
Presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991.
The goal of this monograph is to make the understanding of nonmonotonic reasoning more accessible.
The Verbmobil System currently under development in Germany would input speech in a source-language dialogue, translate it, and output synthesized speech in a target language, all in real time under the conditions of face-to-face dialogue. This is a study of the field and possible problems.
This volume explores the intersubjective and social dimensions of self-deception.
Argues that Situation Theory has provided a uniform framework for the investigation of the creative aspects of language use.
Papers on the topic of ambiguity and underspecification.
Papers on the topic of ambiguity and under specification.
This collection comprises the most recent innovations in logic, linguistics and computer science.
This volume presents contributions to quanti er theory and its applications and gives a good impression of the depth and diversity of recent work in the eld.
This volume presents contributions to quanti er theory and its applications and gives a good impression of the depth and diversity of recent work in the eld.
A new perspective on phonetic variation is achieved in this volume through the construction of a series of models of spoken American English. The authors argue that assumptions made about the units of spoken language are critical to a computational model.
This volume is a revised version of papers presented at a conference held in spring 1994 at the Centre for Interdisciplinary Research (ZiF) in Bielefeld, Germany.
The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
This text presents semantic and syntactic features of modal logic and illustrates them by analyses of three modal systems S5, S4 and T. The book concentrates on the logical aspects of the subject and provides philosophical motivations to show the point of the formal work.
A method of introducing students to the language of first-order logic. It helps students learn the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic.
Contributions of important researchers working in empty names, fiction, and the puzzles of non-existence.
This volume is devoted to Analysis of Algorithms, a field that Knuth founded and still considers his main life's work.
This second edition of "Syntactic Theory: A Formal Introduction" expands and improves upon a truly unique introductory syntax textbook. Like the first edition, its focus is on the development of precisely formulated grammars whose empirical predictions can be directly tested. There is also considerable emphasis on the prediction and evaluation of grammatical hypotheses, as well as on integrating syntactic hypotheses with matters of semantic analysis.The book covers the core areas of English syntax from the last quarter century, including complementation, control, "raising constructions," passives, the auxiliary system, and the analysis of long distance dependency constructions. "Syntactic Theory's step-by-step introduction to a consistent grammar in these core areas is complemented by extensive problem sets drawing from a variety of languages.""The book's theoretical perspective is presented in the context of current models of language processing, and the practical value of the constraint-based, lexicalist grammatical architecture proposed has already been demonstrated in computer language processing applications. This thoroughly reworked second edition includes revised and extended problem sets, updated analyses, additional examples, and more detailed exposition throughout.""Praise for the first edition: """Syntactic Theory sets a new standard for introductory syntax volumes that all future books should be measured against."--Gert Webelhuth, Journal of Linguistics"
This volume is a revised version of papers presented at a conference held in spring 1994 at the Centre for Interdisciplinary Research (ZiF) in Bielefeld, Germany.
This book describes several aspects of syntax and semantics of romance languages.
This book describes several aspects of syntax and semantics of romance languages.
An analysis of the structural properties of collections or pluralities, homogeneous objects like water, and the semantics and philosophy of events.
This volume explores the potential advantages of database applications to linguistics.
This book brings together a collection of papers focusing on the tonal systems of the Bantu languages of sub-Saharan Africa.
A text which pursues the recent upsurge of research in the interface of logic, language and computation, with applications to artificial intelligence and machine learning.
Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.
Genom att registrera dig accepterar du vår personuppgiftspolicy.
