Cylindric-like Algebras and Algebraic Logic
Springer Berlin (Verlag)
978-3-642-43799-1 (ISBN)
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
Erscheint lt. Verlag | 27.6.2015 |
---|---|
Reihe/Serie | Bolyai Society Mathematical Studies |
Zusatzinfo | VI, 474 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 730 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
Mathematik / Informatik ► Mathematik ► Algebra | |
Mathematik / Informatik ► Mathematik ► Graphentheorie | |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
Schlagworte | Algebra • algebraic logic • Algebras of Relations • combinatorics • Cylindric Algebras • Foundation of Mathematics • Mathematical logic and formal languages • Mathematical Logic and Foundations • mathematics and statistics • model Theory • theory morphisms |
ISBN-10 | 3-642-43799-0 / 3642437990 |
ISBN-13 | 978-3-642-43799-1 / 9783642437991 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich