Algebraic Logic And Universal Algebra In Computer Science: Conference, Ames, Iowa, Usa June 1-4, 1988 Proceedings (lecture Notes In Computer Science)

Algebraic methods, in particular those of universal algebra and algebraic logic, are playing an increasingly important role in computer science, especially in the areas of algebraic specification of data types, relational data types, relational database theory, logic of programmes, functional and logic programming, and semantics of programming languages. To a large extent this work has been carried forward by computer scientists independent of the very active group of mathematicians who work in universal algebra and algebraic logic. A conference was held at Iowa State University in June 1988 to bring together leading researchers from both groups to identify areas of common interest. Addresses were given by Joel Berman, H.Peter Gumm, Bjarni Jonsson, Dexter Kozen, Istvan Nemeti, Vaughan Pratt, Dana Scott and Eric Wagner. The programme also included contributed papers and a round-table discussion of the role of algebra and logic in computer science. Relatively free relation algebras....Pages 1-14 The value of free algebras....Pages 15-26 Continuations of logic programs....Pages 27-36 On cylindric algebraic model theory....Pages 37-75 Dynamic algebras as a well-behaved fragment of relation algebras....Pages 77-110 All recursive types defined using products and sums can be implemented using pointers....Pages 111-132 The abstract Galois theory: A survey....Pages 133-137 The implications in conditional logic....Pages 139-159 Optimal semantics of data type extensions....Pages 161-180 Other logics for (equational) theories....Pages 181-194 Mal'cev algebras for universal algebra terms....Pages 195-208 Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic....Pages 209-225 The resolution rule: An algebraic perspective....Pages 227-242 Incremental models of updating data bases....Pages 243-271 Noncommutative cylindric algebras and relativizations of cylindric algebras....Pages 273-278 On the λ-definable tree operations....Pages 279-292 Annotation The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation(c) 2003 Book News, Inc., Portland, OR (booknews.com)