You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Research monographs (which may be based on PhD works).
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface. On the semantic side, the volume's papers address monotonicity reasoning and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.
This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conceptions of interaction (dialogue, natural logic and attribution of rationality) that have been developed in both psychology and epistemology. There are four parts which explore: historical and systematic studies; the formalization of context in epistemology; the formalization of reasoning in interactive contexts in psychology; the formalization of pathological conversations. Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters p...
The theoretical proposals brought forward in this book as well as the results from the reported experimental studies present genuine contributions to the biolinguistic program. The papers contribute to our understanding of the properties of the computations and the representations derived by the language faculty, viewed as an organism of human biological. Towards a Biolinguistic Understanding of Grammar: Essays on Interfaces adds to the usual notion of interfaces, which is generally understood as the connection between syntax and the semantic system, between phonology and the sensorimotor system. It raises novel interface questions about how these connections are at all possible within the b...
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Logical Aspects of Computational Linguistics, LACL'98, held in Grenoble, France, in December 1998. The 15 revised full papers presented together with one invited paper were carefully reviewed and selected during two rounds of refereeing from 33 submissions and 19 conference presentations. Among the topics covered are various types of grammars, categorical inference, automated reasoning, constraint handling, logical forms, dialogue semantics, unification, and proofs.
This book is dedicated to the life and work of the mathematician Joachim Lambek (1922–2014). The editors gather together noted experts to discuss the state of the art of various of Lambek’s works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. After early work in combinatorics and elementary number theory, Lambek became a distinguished algebraist (notably in ring theory). In the 1960s, he began to work in category theory, categorical algebra, logic, proof theory, and foundations of computability. In a parallel development, beginning in the late 1950s and for the rest of his career, Lambek also worked...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. The conference aims fostering interdisciplinary research in pure and applied logic.