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

Dietlinde Lau

(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」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ