Function algebras on finite sets : A basic course on many-valued logic and clone theory
Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Phiên bản: | 1st ed. 2006. |
| Loạt: | Springer Monographs in Mathematics
|
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
Description d'après consultation du 28 mars 2011 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Function algebras on finite sets, a basic course on many-valued logic and clone theory, Dietlinde Lau, Berlin, Springer, 2006, 1 vol. (xiv-668 p.), Springer monographs in mathematics, 3-540-36022-0 • Function Algebras on Finite Sets, Texte imprimé, 9783642071553 • Function Algebras on Finite Sets, Texte imprimé, 9783540826422 • Function algebras on finite sets, a basic course on many-valued logic and clone theory, Dietlinde Lau, Berlin, Springer, 2006, 1 vol. (xiv-668 p.), Springer monographs in mathematics, 3-540-36022-0 |
| LEADER | 04556nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 938641 | ||
| 008 | 080410q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN12313658X | ||
| 020 | |a 9783540360230 | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.3 | ||
| 084 | |a 03B50. 2000 | ||
| 084 | |a 08Axx. 2000 | ||
| 084 | |a 06A15. 2000 | ||
| 100 | 1 | |a Lau, Dietlinde. | |
| 245 | 1 | 0 | |a Function algebras on finite sets : |b A basic course on many-valued logic and clone theory |c by Dietlinde Lau. |
| 250 | |a 1st ed. 2006. | ||
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Springer Monographs in Mathematics |x 2196-9922 | |
| 500 | |a Description d'après consultation du 28 mars 2011 | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 504 | |a Bibliogr. p. [639]-654. Glossaire. Index | ||
| 505 | 1 | |a 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 | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. 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 fuction algebras covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, clone theory. This book is an insdispensible source on function algebras for graduate students and researchers in mathematical logic and theoretical computer science | ||
| 650 | |a Algèbre universelle | ||
| 650 | |a Logique multivalente | ||
| 776 | 0 | |0 110480686 |t Function algebras on finite sets |o a basic course on many-valued logic and clone theory |f Dietlinde Lau |c Berlin |n Springer |d 2006 |p 1 vol. (xiv-668 p.) |s Springer monographs in mathematics |z 3-540-36022-0 | |
| 776 | 0 | |t Function Algebras on Finite Sets |b Texte imprimé |z 9783642071553 | |
| 776 | 0 | |t Function Algebras on Finite Sets |b Texte imprimé |z 9783540826422 | |
| 776 | 0 | |0 110480686 |t Function algebras on finite sets |o a basic course on many-valued logic and clone theory |f Dietlinde Lau |c Berlin |n Springer |d 2006 |p 1 vol. (xiv-668 p.) |s Springer monographs in mathematics |z 3-540-36022-0 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-36023-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-03FPDG6D-1 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747896887 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/3-540-36023-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750909897 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/3-540-36023-9 |z Accès INSA CVL | |
| 997 | |0 938641 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||