Synopses & Reviews
Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski's quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways:
Table of Contents
Introduction.- H. Andréka and I. Németi: Reducing First-order Logic to Df3, Free Algebras.- N.Bezhanishvili: Varieties of Two-Dimensional Cylindric Algebras.- R. Hirsch and I. Hodkinson: Completions and Complete Representations.- J. Madarász and T. Sayed Ahmed: Amalgamation, Interpolation and Epimorphisms in Algebraic Logic.- T. Sayed Ahmed: Neat Reducts and Neat Embeddings in Cylindric Algebras.- M. Ferenczi: A New Representation Theory: Representing Cylindric-like Algebras by Relativized Set Algebras.- A. Simon: Representing all Cylindric Algebras by Twisting, On a Problem of Henkin.- A. Kurucz: Representable Cylindric Algebras and Many-Dimensional Modal Logics.- T. Sayed Ahmed: Completions, Complete Representations and Omitting Types.- G. Serény: Elements of Cylindric Algebraic Model Theory.- Y. Venema: Cylindric Modal Logic.- J. van Benthem: Crs and Guarded Logics: A Fruitful Contact.- R. S. Dordevic and M. D. Raskovic: Cylindric Probability Algebras.-I. Duentsch: Cylindric Algebras and Relational Databases. - M. Ferenczi: Probability Measures and Measurable Functions on Cylindric Algebras. - A. Mann: Cylindric Set Algebras and IF Logic. - G. Sági: Polyadic Algebras. - I. Sain: Definability Issues in Universal Logic. - Bibliography. - Index