Cylindric-like Algebras and Algebraic Logic

Cylindric-like Algebras and Algebraic Logic edited by Hajnal Andréka, Miklós Ferenczi, István Németi.

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 alg...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Andréka, Hajnal (Editor), Ferenczi, Miklós (Editor), Németi, István (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Bolyai Society Mathematical Studies, 22
Springer eBook Collection.
Subjects:
Mathematical logic.
Algebra.
Combinatorics.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items