目次

Introduction. Two Traditions. Lambda Calculus and Theory of Types.Categorial Grammar. A Logical Perspective. The Hierarchy of ImplicationalLogics. Proofs, Terms, and Meanings. Proof Theory. Exploring CategorialDeduction. Cut Elimination and Decidability. Recognizing Power. Model Theory.Enumerating Readings. Computing Denotational Constraints. Boolean Structure.Variations and Extensions. Intensionality. Variable Polymorphism and HigherType Theories. Towards a Logic of Information. Language Families. Modal Logicof Information Patterns. Relational Algebra of Control. Dynamic Logic. A Tourof Basic Logic. Bibliography. Index.