This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions.The focus of papers are as follows:Formal and computational phonology, morphology, syntax, semantics and pra...

This volume showcases the potential richness of frame representations. The presentation includes introductory articles on the application of frames to linguistics and philosophy of science, offering readers the tools to conduct the interdisciplinary investigation of concepts that frames allow.* Introductory articles on the application of frames to linguistics and philosophy of science* Frame analysis of changes in scientific concepts* Event frames and lexical decomp...

This collection of essays, written between 1980 and 2001, places the search for theoretical elegance at centre stage. The author shows that although the conceptual difference between 'elegance' and the minimalist search for 'perfection' may appear to be subtle, its consequences are in fact wide ranging and radical. These considerations lead to a markedly different and novel theory of syntax where most of the major features of minimalism, such as derivation, economy, merge, move, phrases an...

This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015.The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short papers presented at the conference, and one invited talk. Each paper has passed through a rigorous peer-review process before being accepted for publication.The biennial conference s...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplina...

Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods – some old, some new – that have extended its basic concepts to uncountable structures. Unlike in the classical case, however, no single dominant approach has emerged, and different methods reveal different aspects of the computable content of uncountable mathematics. This book contains introductions to eight major approaches to computable uncountable mathematics: descr...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revised full papers were carefully reviewed and selected from 46 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logi...

Language typology identifies similarities and differences among languages of the world. This textbook provides an introduction to the subject which assumes minimal prior knowledge of linguistics. It offers the broadest coverage of any introductory book, including sections on historical change, language acquisition, and language processing. Students will become familiar with the subject by working through numerous examples of crosslinguistic generalizations and diversity in syntax, morpholo...

At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in courses or for independent study. Assuming relatively little mathematical background, it is ideal fo...

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.The 10 revised full papers were carefully reviewed and selected from 13 submissions. Also included are an invited paper and two keynote talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incomp...

From the point of view of psychology and cognitive science, much of modern linguistics is too formal and mathematical to be of much use. The newly emerging approaches to language termed, "Functional and Cognitive Linguistics," however, are much less formally oriented. Instead, functional and cognitive approaches to language structure are typically couched in terms already familiar to cognitive scientists: perception, attention, conceptualization, meaning, symbols, categories, schemas, pers...