Algebras, Diagrams and Decisions in Language, Logic and Computation

Algebras, Diagrams and Decisions in Language, Logic and Computation

by Kees Vermeulen
     
 

ISBN-10: 1575863715

ISBN-13: 9781575863719

Pub. Date: 08/28/2002

Publisher: Center for the Study of Language and Inf

This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: six papers each very accessibly present an exciting contribution to the study and uses of algebras, diagrams, and decisions, ranging from indispensable overview papers about shared formal members to inspirational applications of

…  See more details below

Overview

This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: six papers each very accessibly present an exciting contribution to the study and uses of algebras, diagrams, and decisions, ranging from indispensable overview papers about shared formal members to inspirational applications of formal tools to specific problems. Contributors include Pieter Adriaans, Sergei Artemov, Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di Luzio, and Edward Stabler.

Product Details

ISBN-13:
9781575863719
Publisher:
Center for the Study of Language and Inf
Publication date:
08/28/2002
Series:
Center for the Study of Language and Information - Lecture Notes Series, #144
Edition description:
1
Pages:
183
Product dimensions:
5.90(w) x 9.10(h) x 0.60(d)

Table of Contents

Contributors
Preface
1Syntactic Invariants1
2The Plurality of Plurals37
3Decision Problems in the Calculus of Relations67
4Unified Semantics for Modality and [lambda]-terms via Proof Polynomials89
5Patching Up a Logic of Venn Diagrams119
6Learning Shallow Context-Free Languages Under Simple Distributions135
Index169

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >