Limit search to available items
Book Cover
Author Lau, Dietlinde

Title Function algebras on finite sets : a basic course on many-valued logic and clone theory / Dietlinde Lau
Published Berlin : Springer, ©2006


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)
data processing.
computer science.
MATHEMATICS -- Infinity.
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