Hinweis: Um die korrekte Darstellung der Seite zu erhalten, müssen Sie beim Drucken die Hintergrundgrafiken erlauben.

Menu

Zurück zur Übersicht
Auf die Merkliste

Cylindric algebras - Part 2

Objektkategorie:
Elektronische Ressource
Person/Institution:
Henkin, Leon
Monk, James Donald
Tarski, Alfred
ScienceDirect (Online service)
Bereitstellende Institution:
Forschungsbibliothek Gotha
Verlag:
North-Holland Pub. Co
Ort:
Amsterdam
Entstehungszeit:
1971-1985
Sprache:
Englisch
Abstract:
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
Objekttext:
[By] Leon Henkin, J. Donald Monk [and] Alfred Tarski
Includes bibliographies and indexes
Electronic reproduction; Mode of access: World Wide Web
Online-Ausg. 2009 Elsevier e-book collection on ScienceDirect Electronic reproduction; Mode of access: World Wide Web |2009||||||||||
Inhalt:
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;

Zugriff und Nutzungsmöglichkeiten

Datensatz angelegt am:
2023-04-14
Zuletzt geändert am:
2023-03-22
In Portal übernommen am:
2023-04-14

Ähnliche Objekte

Entdecken Sie ähnliche Objekte. Über die Datenfelder können Sie die Objekte auswählen, die Sie interessieren. Sie können Ihre Suchfilter beibehalten oder deaktivieren.


Suchfilter berücksichtigen