Refine
Has Fulltext
- no (101)
Year of publication
Document Type
- Article (93)
- Monograph/Edited Volume (7)
- Doctoral Thesis (1)
Language
- English (101) (remove)
Is part of the Bibliography
- yes (101)
Keywords
- linear term (5)
- clone (4)
- linear hypersubstitution (4)
- partial clone (4)
- formula (2)
- linear formula (2)
- linear tree language (2)
- term (2)
- Menger algebra of rank n (1)
- Operation (1)
Institute
- Institut für Mathematik (101) (remove)
M-solidity testing systems
(2002)
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.
Hyperequational theory
(1997)
Hyperassociative semigroups
(1994)
A hypersubstitution is a map which takes n-ary operation symbols to n-ary terms. Any such map can be uniquely extended to a map defined on the set W-tau(X) of all terms of type tau, and any two such extensions can be composed in a natural way. Thus, the set Hyp(tau) of all hypersubstitutions of type tau forms a monoid. In this paper, we characterize Green's relation R on the monoid Hyp(tau) for the type tau = (n, n). In this case, the monoid of all hypersubstitutions is isomorphic with the monoid of all Clone endomorphisms. The results can be applied to mutually derived varieties
Edge-solid varieties
(1995)
Clones of n-ary algebras
(2003)
There is a close connection between a variety and its clone. The clone of a variety is a multibased algebra, where the different universes are the sets of n-ary terms over this variety for every natural number n and where the operations describe the superposition of terms of different arities. All projections are added as nullary operations. Subvarieties correspond to homomorphic images of clones. Subclones can be described by reducts of varieties, isomorphic clones by equivalent varieties. Clone identities correspond to hyperidentities and varieties of clones to hypervarieties. Pseudovarieties are classes of finite algebras which are closed under taking of subalgebras, homomorphic images and finite direct products. Pseudovarieties are important in the theories of finite state automata, rational languages, finite semigroups and their connections. In a very natural way, there arises the question for the clone of a pseudovariety. In the present paper, we will describe this algebraic structure
Clones and hyperidentities
(1995)
Clones and Hyperidentities
(1997)
Clones and hyperidentities
(1996)