| Description |
1 online resource (xiv, 668 pages) : illustrations |
| Series |
Springer monographs in mathematics, 1439-7382 |
|
Springer monographs in mathematics. 1439-7382
|
| Contents |
Preliminaries -- Preliminaries -- Universal Algebra -- Basic Concepts of Universal Algebra -- Lattices -- Hull Systems and Closure Operators -- Homomorphisms, Congruences, and Galois Connections -- Direct and Subdirect Products -- Varieties, Equational Classes, and Free Algebras -- Function Algebras -- Basic Concepts, Notations, and First Properties -- The Galois-Connection Between Function- and Relation-Algebras -- The Subclasses of P2 -- The Subclasses of Pk Which Contain Pk1 -- The Maximal Classes of Pk -- Rosenberg's Completeness Criterion for Pk -- Further Completeness Criteria -- Some Properties of the Lattice -- Congruences and Automorphisms on Function Algebras -- The Relation Degree and the Dimension of Subclasses of Pk -- On Generating Systems and Orders of the Subclasses of Pk -- Subclasses of Pk,2 -- Classes of Linear Functions -- Submaximal Classes of P3 -- Finite and Countably Infinite Sublattices of Depth 1 or 2 of -- The Maximal Classes of?a?Q Polka for Q Ek -- Maximal Classes of PolkEl for 2? l <k -- Further Submaximal Classes of Pk -- Minimal Classes and Minimal Clones of Pk -- Partial Function Algebras |
| Summary |
"This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the reader from the very beginning on with the algebraic side of function algebras the more general concepts of the Universal Algebra is given in the first part of the book. The second part on function algebras covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, clone theory."--Jacket |
| Bibliography |
Includes bibliographical references (pages 639-654)-and indexes |
| Notes |
English |
|
Print version record |
| In |
Springer e-books |
| Subject |
Function algebras.
|
|
Many-valued logic.
|
|
Clones (Algebra)
|
|
Algebra.
|
|
algebra.
|
|
data processing.
|
|
computer science.
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Function algebras.
|
|
Clones (Algebra) .
|
|
Many-valued logic.
|
|
Álgebras de funciones
|
|
Lógica multivalente
|
|
Clones (Algebra)
|
|
Function algebras
|
|
Many-valued logic
|
| Form |
Electronic book
|
| ISBN |
9783540360230 |
|
3540360239 |
|
3540360220 |
|
9783540360223 |
|
1280727306 |
|
9781280727306 |
|
6610727309 |
|
9786610727308 |
|
