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 Tarskian alg...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Collection: | Bolyai Society Mathematical Studies
22 |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Cylindric-like algebras and algebraic logic, Hajnal Andréka, Miklós Ferenczi, István Németi (Eds.), 2012, Berlin, Springer, János Bolyai mathematical society, 1 vol. (478 p.), Bolyai Society Mathematical Studies, 978-3-642-35024-5 • Cylindric-like Algebras and Algebraic Logic, Texte imprimé, 9783642350269 • Cylindric-like Algebras and Algebraic Logic, Texte imprimé, 9783642437991 |
Table des matières:
- 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.