Keywords:
Cylindric algebras
;
Cylindric algebras
;
Cylindric algebras
;
Electronic books
Description / Table of Contents:
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and vice-versa, and relationships with other algebraic versions of logic
Type of Medium:
Online Resource
Pages:
Online-Ressource
,
23 cm
Edition:
Online-Ausg. 2009 Elsevier e-book collection on ScienceDirect Electronic reproduction; Mode of access: World Wide Web
ISBN:
0444876790
,
9780444876799
Series Statement:
Studies in logic and the foundations of mathematics v. 115
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/115
URL:
http://www.sciencedirect.com/science/book/9780444876799
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/115
URL:
http://www.loc.gov/catdir/enhancements/fy0601/77126903-d.html
URL:
http://www.gbv.de/dms/bowker/toc/9780720420432.pdf
DDC:
511.3
Language:
English
Note:
Includes bibliographies and indexes
,
Front Cover; Cylindric Algebras; Copyright Page; Contents; CHAPTER 3. REPRESENTABLE CYLINDRIC ALGEBRAS; 3.1 Cylindric set algebras; 3.2 Representation theory; Problems; CHAPTER 4. NOTIONS OF LOGIC RELATED TO CYLINDRIC ALGEBRAS; 4.1 Model theory of cylindric algebras; 4.2 Decision problems; 4.3 Connections between logic and cylindric algebras; Problems; CHAPTER 5. OTHER ALGEBRAIC VERSIONS OF LOGIC; 5.1 Diagonal-free cylindric algebras; 5.2 Projective algebras; 5.3 Relation algebras; 5.4 Polyadic algebras; 5.5 Relativized cylindric algebras
,
5.6 Abstract algebraic logic and more algebraic logicsProblems; BIBLIOGRAPHY; I. Bibliography of cylindric algebras and related algebraic structures; II. Supplementary bibliography; INDEX OF SYMBOLS; INDEX OF NAMES AND SUBJECTS;
,
Electronic reproduction; Mode of access: World Wide Web
Permalink