Cylindric-like algebras and algebraic logic /
Cylindric-like algebras and algebraic logic /
edited by Hajnal Andréka, Miklós Ferenczi, István Németi.
- vi, 474 páginas :
- Bolyai Society Mathematical Studies, 22 1217-4696 ; .
Springer eBooks
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.
9783642350252
QA8.9-10.3
Springer eBooks
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.
9783642350252
QA8.9-10.3