Publisher Summary This chapter describes the framework of categorial type logic—that is,
grammar architecture that can be seen as the logical development of the categorial …

Substructural logics are by now one of the most prominent branches of the research field
usually labelled as" nonclassical logics"-and perhaps of logic tout court. Over the last few …

This book is intended for students in computer science, formal linguistics, mathematical logic
and to colleagues interested in categorial grammars and their logical foundations. These …

This book provides a state-of-the-art introduction to categorial grammar, a type of formal
grammar which analyses expressions as functions or according to a function-argument …

In 1957, Noam Chomsky published his pioneering booklet “Syntactic Structures”, which
offered a promising computational approach to grammar, based on what computer …

Abstract The Distributional Compositional Categorical (DisCoCat) model is a mathematical
framework that provides compositional semantics for meanings of natural language …

The solution of combinatorial optimization problems usually involves the consideration of
many possible design configurations. This often makes such approaches computationally …

Coming to The Netherlands has been a great event in my life. The five year immersion in
Dutch culture represents a turning point in my personal and academic development. During …

Linear logical frameworks with subexponentials have been used for the specification of,
among other systems, proof systems, concurrent programming languages and linear …

Linear logic and the linear {\lambda}-calculus have a long standing tradition in the study of
natural language form and meaning. Among the proof calculi of linear logic, proof nets are of …