Cargando…
Cylindric-like Algebras and Algebraic Logic
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 Tarskia...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Edición: | 1st ed. 2013. |
| Colección: | Bolyai Society Mathematical Studies,
22 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.