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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Σειρά: | Bolyai Society Mathematical Studies,
22 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
