Refine
Year of publication
- 2000 (1544) (remove)
Document Type
- Article (1056)
- Monograph/Edited Volume (279)
- Doctoral Thesis (140)
- Review (47)
- Preprint (6)
- Working Paper (5)
- Other (4)
- Part of Periodical (4)
- Part of a Book (1)
- Conference Proceeding (1)
Language
Is part of the Bibliography
- yes (1544) (remove)
Keywords
- Clifford Geertz (2)
- Hans Küng (2)
- Lehrwerkanalyse (2)
- Lehrwerkplanung (2)
- Otfried Höffe (2)
- Verbalflexion (2)
- Weltbewusstsein (2)
- 1799-1804 (1)
- 1800 (1)
- 1837 (1)
Institute
- Institut für Physik und Astronomie (162)
- Institut für Biochemie und Biologie (121)
- Wirtschaftswissenschaften (108)
- Department Psychologie (79)
- Historisches Institut (76)
- Institut für Romanistik (75)
- Institut für Mathematik (71)
- Institut für Germanistik (67)
- Sozialwissenschaften (64)
- Institut für Chemie (58)
Hyperidentities and clones
(2000)
The theory of hyperidentities generalises the equational theory of universal algebras and is applicable in several fields of science, especially in computer sciences. This book presents the theory of hyperidentities and its relation to clone identities. The basic concept of hypersubstitution is used to introduce the monoid of hypersubstitutions, hyperidentities, M-hyperidentities, solid and M-solid varieties. This work integrates into a coherent framework many results scattered throughout the literature over the last eighteen years. In addition, the book contains some applications of hyperidentities to the functional completenes problem in multiple-valued logic. The general theory is also extended to partial algberas. The last chapter contains a list of exercises and open problems with suggestions of future work in this area of research.