Function algebras on finite sets : a basic course on many-valued logic and clone theory
著者
書誌事項
Function algebras on finite sets : a basic course on many-valued logic and clone theory
(Springer monographs in mathematics)
Springer Berlin, c2006
大学図書館所蔵 件 / 全16件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. [639]-654) and indexes
内容説明・目次
内容説明
Function Algebras on Finite Sets gives a broad introduction to the subject, leading up to the cutting edge of research. The general concepts of the Universal Algebra are given in the first part of the book, to familiarize the reader from the very beginning on with the algebraic side of function algebras. The second part covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, and clone theory.
目次
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.
「Nielsen BookData」 より