Barwise and Moss have undertaken to prove this assumption false. This volume is concerned with extending the modelling capabilities of set theory to provide a uniform treatment of circular phenomena.
The present volume collects some of Barwise's papers written since then, those directly concerned with relations among logic, situation theory, and situation semantics. Several papers appear here for the first time.
The essays in this book apply these insights to problems in the interpretation of literature.
Computers, on the other hand, are neither creative, flexible, nor adaptable. This is in spite of the fact that their ability to process language is based largely on the grammars developed by linguists and computer scientists.
This book presents a novel analysis of this and similar mixed category constructions in languages including Quechua, Tibetan, Arabic, Fijian, Dagaare, and Jacaltec.
The Language of First-Order Logic is a complete introduction to first-order symbolic logic, consisting of a computer program and a text.
The papers in this volume are intended to further collective and collaborative research into both languages.
The papers in this volume are intended to further compare and/or contrast research in both languages.
The papers contained in this volume by some of the most influential computer scientists, linguists, logicians and philosophers of today cover subjects such as channel theory, presupposition and constraints, the modeling of discourse, and ...
This anthology of essays from the inventor of literate programming is a survey of Donald Knuth's papers on computer science.
The text and accompanying diskette allow the user to design, debug, and run sophisticated Turing machines in a graphical environment on the Macintosh.
This volume presents a collection of papers on word order variation in the languages of South Asia.
In an extraordinary revision of received wisdom, Byron Reeves and Clifford Nass demonstrate convincingly in The Media Equation that interactions with computers, television, and new communication technologies are identical to real social ...
Research in linguistic semantics may be roughly divided into two broad traditions.
Word Order and Constituent Structure in German
The package is intended as a supplement to any standard logic text, or for use by anyone who wants to learn the language. The disk and manual contain over a hundred exercises from very basic to highly sophisticated.
Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts.
In this collection, the second in the series, Knuth explores the relationship between computers and typography. The present volume, in the words of the author, is the legacy of all the work he has done on typography.
Applications of linguistics have been handicapped. This volume explores the potential advantages of database applications to linguistics.
That these rules obey constraints that are structurally analogous to those of lexical grammar leads Nunberg to label the text-grammar an 'application' of the principles of natural language organization to a new domain.