Algebraic Logic and Universal Algebra in Computer Science

Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
1990
ISBN: 978-0-387-97288-6
Verlag: Springer

Buch, Englisch, Band 425, 292 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 535 g

Reihe: Lecture Notes in Computer Science

Springer Book Archives

Zielgruppe

Research

Autoren/Hrsg.

Bergman, Clifford H.

Pigozzi, Don L.

Maddux, Roger D.

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik Mathematik Algebra Homologische Algebra

Inhaltsverzeichnis

Relatively free relation algebras.- The value of free algebras.- Continuations of logic programs.- On cylindric algebraic model theory.- Dynamic algebras as a well-behaved fragment of relation algebras.- All recursive types defined using products and sums can be implemented using pointers.- The abstract Galois theory: A survey.- The implications in conditional logic.- Optimal semantics of data type extensions.- Other logics for (equational) theories.- Mal'cev algebras for universal algebra terms.- Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic.- The resolution rule: An algebraic perspective.- Incremental models of updating data bases.- Noncommutative cylindric algebras and relativizations of cylindric algebras.- On the ?-definable tree operations.