Bergman

Algebraic Logic and Universal Algebra in Computer Science

Conference, Ames, Iowa, USA June 1¿4, 1988 Proceedings
Herausgegeben:Bergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 425
• Verlag: Springer / Springer New York / Springer, Berlin
• Artikelnr. des Verlages: 978-0-387-97288-6
• 2000.
• Seitenzahl: 308
• Erscheinungstermin: 13. November 2000
• Englisch
• Abmessung: 244mm x 170mm x 17mm
• Gewicht: 570g
• ISBN-13: 9780387972886
• ISBN-10: 0387972889
• Artikelnr.: 24513634

Inhaltsangabe

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.